Advertisement

Metalogic pp 217-261 | Cite as

First Order Predicate Logic: Undecidability

  • Geoffrey Hunter
Chapter

Abstract

In this section we prove various results about decidability, using only the informal notion of effective method explained in §7.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Geoffrey Hunter 1971

Authors and Affiliations

  • Geoffrey Hunter
    • 1
  1. 1.Department of Logic and MetaphysicsUniversity of St AndrewsUK

Personalised recommendations