An introduction to mathematical logic and type theory : to truth through proof
P B AndrewsCatégories:
Année:
1986
Editeur::
Academic Press
Langue:
english
Pages:
321
ISBN 10:
0120585367
ISBN 13:
9780120585366
Collection:
Computer science and applied mathematics
Fichier:
DJVU, 2.96 MB
IPFS:
,
english, 1986