This first volume of the second edition contains major contributions on Predicate Logic, First- and Second-order Logic, Higher-order Logic, Algorithms and Decision Problems, and the Mathematics of Logic Programming. Audience: Students and researchers whose work or interests involve philosophical logic and its applications.
--This text refers to an alternate
Hardcover
edition.
|
There is a newer edition of this item:
|
Book Description
Editorial Reviews
Review
"The best starting point for exploring any of the topics in logic" Encyclopaedia Britannica
--This text refers to an alternate
Hardcover
edition.
Product Details
Would you like to update product info or give feedback on images?
|
More About the Author
Discover books, learn about writers, read author blogs, and more.
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
Browse and search another edition of this book.
Browse and search another edition of this book.
First Sentence:
Elementary (first-order) predicate logic is a child of many parents. Read the first page Key Phrases - Capitalized Phrases (CAPs): (learn more)
New York, Harvard University Press, Springer Verlag, Oxford University Press, Cambridge University Press, American Mathematical Society, Kluwer Academic Publishers, Lecture Notes, Annals of Math, Bolzano Tarski, Proof Theorist, University of Amsterdam, Academic Press, Bertrand Russell, Clarendon Press, Foundations of Mathematics, Los Equivalence, Math Annalen, Tarski's World, Compatibility Lemma, Elsevier Science Publishers, Herbrand's Theorem, Sanchez Valencia, Stanford University California New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Elementary (first-order) predicate logic is a child of many parents. Read the first page Key Phrases - Capitalized Phrases (CAPs): (learn more)
New York, Harvard University Press, Springer Verlag, Oxford University Press, Cambridge University Press, American Mathematical Society, Kluwer Academic Publishers, Lecture Notes, Annals of Math, Bolzano Tarski, Proof Theorist, University of Amsterdam, Academic Press, Bertrand Russell, Clarendon Press, Foundations of Mathematics, Los Equivalence, Math Annalen, Tarski's World, Compatibility Lemma, Elsevier Science Publishers, Herbrand's Theorem, Sanchez Valencia, Stanford University California New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 90
books:
See all 90 books this book cites
- Model Theory, Third Edition (Studies in Logic and the Foundations of Mathematics) by C.C. Chang on 5 pages
- Model-Theoretic Logics (Perspectives in Mathematical Logic) by J. Barwise on 4 pages
- Handbook of Mathematical Logic (Studies in Logic and the Foundations of Mathematics) by J. Barwise on page 185, page 239, and page 311
- Introduction to Mathematical Logic, Fourth Edition by E. Mendelson on page 125, page 186, and page 310
- Provability, Computability and Reflection, Volume 90 (Studies in Logic and the Foundations of Mathematics) by Lev D. Beklemishev on page 185, page 239, and page 311
See all 90 books this book cites
Suggested Tags from Similar Products(What's this?)Be the first one to add a relevant tag (keyword that's strongly related to this product).
|
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
|
|
