An introduction to mathematical logic and type theory : to truth through proof /

Sparad:
Bibliografiska uppgifter
Huvudupphovsman: Andrews, P. B. (Peter Bruce), 1937-
Materialtyp: Bok
Språk:engelska
Publicerad: Orlando : Academic Press, 1986.
Serie:Computer science and applied mathematics
Ämnen:
Logic, Symbolic and mathematical.
Type theory.
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!
Beskrivning
Fysisk beskrivning:xv, 304 p.
ISBN:0120585359 (alk. paper)
0120585367 (pbk. : alk. paper)

Liknande verk