Sketches of an elephant : a topos theory compendium /
Johnstone, Peter T.
Sketches of an elephant : a topos theory compendium / Peter T. Johnstone. - Oxford : Oxford University, 2002- - 2 v. : il. ; 24 cm. - Oxford logic guides ; v. 43 .
Incluye referencias bibliográficas e índice.
9780198534259 (v. 1)
Lógica matemática.
Lenguajes formales.
Mathematical logic.
Formal languages.
Sketches of an elephant : a topos theory compendium / Peter T. Johnstone. - Oxford : Oxford University, 2002- - 2 v. : il. ; 24 cm. - Oxford logic guides ; v. 43 .
Incluye referencias bibliográficas e índice.
9780198534259 (v. 1)
Lógica matemática.
Lenguajes formales.
Mathematical logic.
Formal languages.