Foundations of Mathematical Logic

Foundations of Mathematical Logic

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.

Available Offer  


EPUB icon EPUB Unlimited, 1 at a time


Quantity :   

License

Total Loans Concurent Loans Lifetime Maximum lending period
Unlimited 1 loans Unlimited 59 days

Protection

Protection Number of Devices Copy/Paste Print
ACS4 6 loans false false

Book Details  


Publisher: Dover Publications (May 24, 2012)

Collection: Dover Books on Mathematics

Parent ISBN: 9780486634623

Page count: 416 pages

Language: English


Look for similar items  


>
>
>
>