Comprehensive graduate-level account of constructive theory of first-order predicate calculus covers formal methods: algorithms and epitheory, brief treatment of Markov's approach to algorithms, elementary facts about lattices, logical connectives, more. 1963 edition.
EPUB
Unlimited, 1 at a time
| Total Loans | Concurent Loans | Lifetime | Maximum lending period |
|---|---|---|---|
| Unlimited | 1 loans | Unlimited | 59 days |
| Protection | Number of Devices | Copy/Paste | |
|---|---|---|---|
| ACS4 | 6 loans | false | false |
Publisher: Dover Publications (May 24, 2012)
Collection: Dover Books on Mathematics
Parent ISBN: 9780486634623
Page count: 416 pages
Language: English
Feedbooks SAS
RCS Nanterre B 498 994 623
54 rue de Paradis
75010 Paris
Follow Feedbooks
© Feedbooks 2006-2021
Goodreads
Librarything
Become a fan on Facebook
Follow us on Twitter
Read the blog