Skip to main content
SpringerLink
Log in
Book cover

Metalogic

An Introduction to the Metatheory of Standard First Order Logic

  • Textbook
  • © 1971

Overview

Authors:
  1. Geoffrey Hunter

    1. Department of Logic and Metaphysics, University of St Andrews, UK

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • 363 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (4 chapters)

  1. Front Matter

    Pages i-xiii
    Download chapter PDF

  2. Introduction: General Notions

    • Geoffrey Hunter
    Pages 1-41

  3. Truth-functional Propositional Logic

    • Geoffrey Hunter
    Pages 43-134

  4. First Order Predicate Logic: Consistency and Completeness

    • Geoffrey Hunter
    Pages 135-215

  5. First Order Predicate Logic: Undecidability

    • Geoffrey Hunter
    Pages 217-261

  6. Back Matter

    Pages 262-288
    Download chapter PDF
Back to top

Keywords

Authors and Affiliations

  • Department of Logic and Metaphysics, University of St Andrews, UK

    Geoffrey Hunter

Bibliographic Information

  • Book Title: Metalogic

  • Book Subtitle: An Introduction to the Metatheory of Standard First Order Logic

  • Authors: Geoffrey Hunter

  • DOI: https://doi.org/10.1007/978-1-349-15428-9

  • Publisher: Red Globe Press London

  • eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)

  • Copyright Information: Geoffrey Hunter 1971

  • Edition Number: 1

  • Number of Pages: XIII, 288

  • Additional Information: Previously published under the imprint Palgrave

  • Topics: Mathematical Logic and Foundations

Publish with us

Policies and ethics

Back to top

Search

Navigation