First Order Predicate Logic: Consistency and Completeness

Hunter, Geoffrey

doi:10.1007/978-1-349-15428-9_3

Geoffrey Hunter²

90 Accesses

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Author information

Authors and Affiliations

Department of Logic and Metaphysics, University of St Andrews, UK
Geoffrey Hunter (Senior Lecturer)

Authors

Geoffrey Hunter
View author publications
You can also search for this author in PubMed Google Scholar

Copyright information

About this chapter

Cite this chapter

Hunter, G. (1971). First Order Predicate Logic: Consistency and Completeness. In: Metalogic. Palgrave Macmillan, London. https://doi.org/10.1007/978-1-349-15428-9_3

Download citation

DOI: https://doi.org/10.1007/978-1-349-15428-9_3
Publisher Name: Palgrave Macmillan, London
Print ISBN: 978-0-333-11590-9
Online ISBN: 978-1-349-15428-9
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)

Publish with us

Policies and ethics