« Home

Reference. Mathematical Logic and Computation [avigad-2022-mathematical]

  • 2022
    • ·
  • Jeremy Avigad
 
@book{avigad-2022-mathematical,
	place = {Cambridge},
	title = {Mathematical Logic and Computation},
	publisher = {Cambridge University Press},
	author = {Avigad, Jeremy},
	year = {2022}
}