Lecture Notes in Logic

Chapter 1: Preliminaries

Full-text: Open access

PDF File (1682 KB)

Chapter information

Source
Per Lindström, Aspects of Incompleteness (Berlin: Springer-Verlag, 1997), 5-22

Dates
First available in Project Euclid: 23 February 2009

Permanent link to this document
http://projecteuclid.org/euclid.lnl/1235416277

Rights
Copyright © 1997, Association for Symbolic Logic

Citation

Lindström, Per. Chapter 1: Preliminaries. Aspects of Incompleteness, 5--22, Springer-Verlag, Berlin, 1997. http://projecteuclid.org/euclid.lnl/1235416277.


Export citation

Top

Association for Symbolic Logic

Lecture Notes in Logic
  • You have access to this content.
  • You have partial access to this content.
  • You do not have access to this content.
Turn Off MathJax

What is MathJax?

More like this

  • Chapter IV: Negation
    Haskell B. Curry, A Theory of Formal Deducibility (Notre Dame, Ind.: University of Notre Dame, 1950), 1950
  • Chapter IV: Negation
    Haskell B. Curry, A Theory of Formal Deducibility, (Notre Dame, Ind.: University of Notre Dame, 1966), 1966
  • Chapter III: Quantifiers
    Haskell B. Curry, A Theory of Formal Deducibility (Notre Dame, Ind.: University of Notre Dame, 1950), 1950

+ See more