Advertisement

© 1971

Metalogic

An Introduction to the Metatheory of Standard First Order Logic

Textbook
  • 163 Downloads

Table of contents

  1. Front Matter
    Pages i-xiii
  2. Geoffrey Hunter
    Pages 1-41
  3. Geoffrey Hunter
    Pages 43-134
  4. Geoffrey Hunter
    Pages 217-261
  5. Back Matter
    Pages 262-288

About this book

Keywords

logic mathematics metalogic

Authors and affiliations

  1. 1.Department of Logic and MetaphysicsUniversity of St AndrewsUK

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
  • Copyright Information Palgrave Macmillan, a division of Macmillan Publishers Limited 1971
  • Publisher Name Palgrave Macmillan, London
  • eBook Packages Mathematics and Statistics Mathematics and Statistics (R0)
  • Hardcover ISBN 978-0-333-11589-3
  • Softcover ISBN 978-0-333-11590-9
  • eBook ISBN 978-1-349-15428-9
  • Edition Number 1
  • Number of Pages XIII, 288
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Additional Information Previously published under the imprint Palgrave
  • Topics Mathematical Logic and Foundations
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking