What do you think?
Rate this book
First-Order Logic
From the author's preface:
"This little book is not a first introduction to first-order logic. The reader I have in mind is completely at home with the most elementary aspects of first-order logic and, perhaps somewhat vaguely, aware of the basic concepts and results, and would like to see exact definitions and full proofs of these."
"This little book is not a first introduction to first-order logic. The reader I have in mind is completely at home with the most elementary aspects of first-order logic and, perhaps somewhat vaguely, aware of the basic concepts and results, and would like to see exact definitions and full proofs of these."
174 pages, Paperback
First published June 1, 2011
3 people want to read
About the author
Per Lindström
3 booksPer "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. (He also independently discovered Ehrenfeucht–Fraïssé games.) He was one of the key followers of Lars Svenonius.
Lindström was awarded a PhD from the University of Gothenburg in 1966. His thesis was titled Some Results in the Theory of Models of First Order Languages. A festschrift for Lindström was published in 1986.
Lindström was awarded a PhD from the University of Gothenburg in 1966. His thesis was titled Some Results in the Theory of Models of First Order Languages. A festschrift for Lindström was published in 1986.
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.