Skip to main content
SpringerLink
Log in

An Outline of Mathematical Logic

Fundamental Results and Notions Explained with all Details

  • Book
  • © 1974

Overview

Authors:
  1. Andrzej Grzegorczyk

    1. Warsaw University, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Synthese Library (SYLI, volume 70)

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

Access this book

Log in via an institution
eBook USD 89.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 119.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (4 chapters)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Introduction to the Problems of the Foundations of Mathematics

    • Andrzej Grzegorczyk
    Pages 1-64

  3. The Classical Logical Calculus

    • Andrzej Grzegorczyk
    Pages 65-262

  4. Models of Axiomatic Theories

    • Andrzej Grzegorczyk
    Pages 263-395

  5. Logical Hierarchy of Concepts

    • Andrzej Grzegorczyk
    Pages 396-564

  6. Back Matter

    Pages 565-596
    Download chapter PDF
Back to top

Keywords

About this book

Recent years have seen the appearance of many English-language hand­ books of logic and numerous monographs on topical discoveries in the foundations of mathematics. These publications on the foundations of mathematics as a whole are rather difficult for the beginners or refer the reader to other handbooks and various piecemeal contribu­ tions and also sometimes to largely conceived "mathematical fol­ klore" of unpublished results. As distinct from these, the present book is as easy as possible systematic exposition of the now classical results in the foundations of mathematics. Hence the book may be useful especially for those readers who want to have all the proofs carried out in full and all the concepts explained in detail. In this sense the book is self-contained. The reader's ability to guess is not assumed, and the author's ambition was to reduce the use of such words as evident and obvious in proofs to a minimum. This is why the book, it is believed, may be helpful in teaching or learning the foundation of mathematics in those situations in which the student cannot refer to a parallel lecture on the subject. This is also the reason that I do not insert in the book the last results and the most modem and fashionable approaches to the subject, which does not enrich the essential knowledge in founda­ tions but can discourage the beginner by their abstract form. A. G.

Authors and Affiliations

  • Warsaw University, USA

    Andrzej Grzegorczyk

Bibliographic Information

  • Book Title: An Outline of Mathematical Logic

  • Book Subtitle: Fundamental Results and Notions Explained with all Details

  • Authors: Andrzej Grzegorczyk

  • Series Title: Synthese Library

  • DOI: https://doi.org/10.1007/978-94-010-2112-8

  • Publisher: Springer Dordrecht

  • eBook Packages: Springer Book Archive

  • Copyright Information: PWN — Polish Scientific Publishers, Warszawa, Poland 1974

  • Softcover ISBN: 978-94-010-2114-2Published: 25 November 2011

  • eBook ISBN: 978-94-010-2112-8Published: 06 December 2012

  • Series ISSN: 0166-6991

  • Series E-ISSN: 2542-8292

  • Edition Number: 1

  • Number of Pages: 606

  • Topics: Logic

Publish with us

Policies and ethics

Back to top

Search

Navigation