Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods — including algorithms and epitheory — and offers a brief treatment of Markov's approach to algorithms. It also explains elementary facts about lattices and similar algebraic systems. 1963 edition. Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods — including algorithms and epitheory — and offers a brief treatment of Markov's approach to algorithms. It also explains elementary facts about lattices and similar algebraic systems. 1963 edition.
Foundations of Mathematical Logic
Availability:
Ready to download
Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods — including algorithms and epitheory — and offers a brief treatment of Markov's approach to algorithms. It also explains elementary facts about lattices and similar algebraic systems. 1963 edition. Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods — including algorithms and epitheory — and offers a brief treatment of Markov's approach to algorithms. It also explains elementary facts about lattices and similar algebraic systems. 1963 edition.
Compare
Thomas Schminke –
Arets Paeglis –
Matias –
Daniel –
Alex –
Subhajit Das –
Brian –
Randall –
Kyle pointer –
Aron van der Beek –
Michael Lloyd-Billington –
Patrick –
James Atherton –
Aatu –
JOHN-MICHAEL KUCZYNSKI –
Jose_A. –
Patrick Whittle –
Patrick –
michael –
Călin Ardelean –
David Scarratt –
Arvind –
J –
Homoionym –
Wendy, Lady Evelyn Quince –
Martisch –
Joseph Zizys –
Sergey –
Joe –
Chip –
Frederick –
Joel Howe –
Jeremy Frens –
Nitin Rughoonauth –
J. –
Joe Antognini –
Andrea –
Vasiliki –
Secret Name –
Telorian –