## Search Options- Sorted by relevance
- Sorted by date
| About 395,000 results - books.google.comIan Chiswell, Wilfrid Hodges - 2007 - 258 pages
Including extensive exercises and selected solutions, this text is ideal for students in Logic, Mathematics, Philosophy, and Computer Science. - books.google.comWillard QUINE - 2009 - 346 pages
- books.google.comWei Li - 2010 - 285 pages
This book covers the core contents of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Godel's theorems. - books.google.comGeorge Tourlakis - 2011 - 294 pages
With its user-friendly approach, this book successfully equips readers with the key concepts and methods for formulating valid mathematical arguments that can be used to uncover truths across diverse areas of study such as mathematics, ... - books.google.comStephen Cole Kleene - 2013 - 416 pages
Undergraduate students with no prior instruction in mathematical logic will benefit from this multi-part text. Part I offers an elementary but thorough overview of mathematical logic of 1st order. - books.google.comHaskell Brooks Curry - 1963 - 408 pages
Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. - books.google.comMordechai Ben-Ari - 2012 - 361 pages
Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. - books.google.comJ. N. Crossley, C.J. Ash, C.J. Brickhill - 2012 - 96 pages
Although **mathematical logic**can be a formidably abstruse topic, even for mathematicians, this concise book presents the subject in a lively and approachable fashion. It deals with very important ideas in modern**mathematical**
**logic**without the ...
## Ad related to |