Check nearby libraries
Buy this book
"This volume will be of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification."--BOOK JACKET.
Check nearby libraries
Buy this book
Previews available in: English
Edition | Availability |
---|---|
1
An introduction to mathematical logic and type theory: to truth through proof
2002, Kluwer Academic Publishers
in English
- 2nd ed.
1402007639 9781402007637
|
aaaa
Libraries near you:
WorldCat
|
2
An introduction to mathematical logic and type theory: to truth through proof
1986, Academic Press, Academic Pr
in English
0120585359 9780120585359
|
zzzz
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Includes bibliographical references (p. 371-380) and index.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?November 15, 2023 | Edited by MARC Bot | import existing book |
October 4, 2021 | Edited by ImportBot | import existing book |
December 4, 2010 | Edited by Open Library Bot | Added subjects from MARC records. |
April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
December 10, 2009 | Created by WorkBot | add works page |