Summary and Info
Lecture Notes in Logic 10 is concerned almost exclusively with properties that are common to all sufficiently strong, axiomatizable theories. Paper. DLC: Incompleteness theorems.
More About the Author
Per "Pelle" Lindström (9 April 1936 – 21 August 2009, Gothenburg) was a Swedish logician, after whom Lindström's theorem and the Lindström quantifier are named.
Review and Comments
Rate the Book
Aspects of incompleteness 0 out of 5 stars based on 0 ratings.