Related Books
Language: en
Pages: 895
Pages: 895
Type: BOOK - Published: 2018-10-08 - Publisher: CRC Press
This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Gödel's Incompleteness Theorems to ex
Language: en
Pages: 878
Pages: 878
Type: BOOK - Published: 2005 - Publisher:
Language: en
Pages: 292
Pages: 292
Type: BOOK - Published: 2014-03-19 - Publisher: Courier Corporation
Combining stories of great writers and philosophers with quotations and riddles, this original text for first courses in mathematical logic examines problems re
Language: en
Pages: 229
Pages: 229
Type: BOOK - Published: 1984-01-01 - Publisher: Courier Corporation
This lucid, non-intimidating presentation by a Russian scholar explores propositional logic, propositional calculus, and predicate logic. Topics include compute
Language: en
Pages: 330
Pages: 330
Type: BOOK - Published: 2001-01-23 - Publisher: Elsevier
A Mathematical Introduction to Logic
