Lecture Notes in Logic

Aspects of Incompleteness

Per Lindström

Book information

Author
Per Lindström

Publication information
Lecture Notes in Logic, Volume 10
Berlin: Springer-Verlag, 1997
132 pp.

Dates
Publication date: 1997
First available online in Project Euclid: 23 February 2009

Permanent link to this book
http://projecteuclid.org/euclid.lnl/1235416274

Mathematical Reviews (MathSciNet):
MR1473222

Subjects
Primary: 03F30: First-order arithmetic and fragments 03F40: Gödel numberings and issues of incompleteness

Rights
Copyright © 1997, Association for Symbolic Logic

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

Select/deselect all
  • Export citations
Select/deselect all
  • Export citations