Metalogic

Metalogic
Author :
Publisher : Univ of California Press
Total Pages : 306
Release :
ISBN-10 : 0520023560
ISBN-13 : 9780520023567
Rating : 4/5 (567 Downloads)

Book Synopsis Metalogic by : Geoffrey Hunter

Download or read book Metalogic written by Geoffrey Hunter and published by Univ of California Press. This book was released on 1973-06-26 with total page 306 pages. Available in PDF, EPUB and Kindle. Book excerpt: This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically truth-functional) first order logic. Included is a complete proof, accessible to non-mathematicians, of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century. Hunter explains concepts of mathematics and set theory along the way for the benefit of non-mathematicians. He also provides ample exercises with comprehensive answers.


Metalogic Related Books

Metalogic
Language: en
Pages: 306
Authors: Geoffrey Hunter
Categories: Mathematics
Type: BOOK - Published: 1973-06-26 - Publisher: Univ of California Press

DOWNLOAD EBOOK

This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically tr
An Introduction to Metalogic
Language: en
Pages: 346
Authors: Aladdin M. Yaqub
Categories: Philosophy
Type: BOOK - Published: 2014-10-24 - Publisher: Broadview Press

DOWNLOAD EBOOK

An Introduction to Metalogic is a uniquely accessible introduction to the metatheory of first-order predicate logic. No background knowledge of logic is presupp
Logic and Metalogic
Language: en
Pages: 203
Authors:
Categories:
Type: BOOK - Published: - Publisher: PediaPress

DOWNLOAD EBOOK

Introduction to Metalogic
Language: en
Pages: 200
Authors: Imre Ruzsa
Categories: First-order logic
Type: BOOK - Published: 1997 - Publisher:

DOWNLOAD EBOOK

Sets, Logic, Computation
Language: en
Pages: 418
Authors: Richard Zach
Categories:
Type: BOOK - Published: 2021-07-13 - Publisher:

DOWNLOAD EBOOK

A textbook on the semantics, proof theory, and metatheory of first-order logic. It covers naive set theory, first-order logic, sequent calculus and natural dedu