ENGLISH

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

By P B Andrews

Book information

Publisher
Academic Press
Year
1986
ISBN
0120585359, 9780120585359, 0120585367, 9780120585366
Language
english
Format
DJVU
Filesize
3 MB (3107647 bytes)
Series
Computer science and applied mathematics
Pages
321\321
Library
Kolxoz
DPI
600
Time added
2013-04-15 18:00:00

Similar books