A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

A First Course in Logic

An Introduction to Model Theory, Proof Theory, Computability, and Complexity

By
Shawn Hedman
Shawn Hedman
2004 • 431 pages

List

17,841 books

My Library

Nitin
Nitin Rughoonauth
Fermi Remembered
Goedel's Way: Exploits into an undecidable world
Brave Genius: A Scientist, a Philosopher, and Their Daring Adventures from the French Resistance to the Nobel Prize
Debate en torno a la etica del discurso de Apel: Diálogo filosófico Norte-Sur desde América Latina
Love and math : the heart of hidden reality
The Road to Reality
The Large, the Small and the Human Mind