Happy holidays from us to you—get up to $30 off your next print or eBook! Shop now >>

Synthese Library

An Outline of Mathematical Logic

Fundamental Results and Notions Explained with all Details

Authors: Grzegorczyk, Andrzej

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-94-010-2112-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-94-010-2114-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (4 chapters)

  • Introduction to the Problems of the Foundations of Mathematics

    Grzegorczyk, Andrzej

    Pages 1-64

  • The Classical Logical Calculus

    Grzegorczyk, Andrzej

    Pages 65-262

  • Models of Axiomatic Theories

    Grzegorczyk, Andrzej

    Pages 263-395

  • Logical Hierarchy of Concepts

    Grzegorczyk, Andrzej

    Pages 396-564

Buy this book

eBook $84.99
price for USA in USD (gross)
  • ISBN 978-94-010-2112-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA in USD
  • ISBN 978-94-010-2114-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
An Outline of Mathematical Logic
Book Subtitle
Fundamental Results and Notions Explained with all Details
Authors
Translated by
Wojtasiewicz, O., Zawadowski, W.
Series Title
Synthese Library
Series Volume
70
Copyright
1974
Publisher
Springer Netherlands
Copyright Holder
PWN — Polish Scientific Publishers, Warszawa, Poland
eBook ISBN
978-94-010-2112-8
DOI
10.1007/978-94-010-2112-8
Softcover ISBN
978-94-010-2114-2
Edition Number
1
Number of Pages
606
Topics