ENGLISH

A Transfinite Type Theory with Type Variables

By Peter B Andrews

Book information

Publisher
North-Holland
Year
1965
ISSN
0049-237X
ASIN
B000V28EA0
Google Books ID
zwezAAAAIAAJ
Language
english
Format
DJVU
Filesize
758 kB (776645 bytes)
Series
Studies in Logic and the Foundations of Mathematics 37
Edition
NH
Pages
154\154
Topic
Mathematics Logic
Library
Kolxo3
DPI
300
Scanned
no
Time added
2009-07-20 03:45:11

Similar books