A comprehensive index of philosophy book reviews
A comprehensive index of philosophy book reviews
5 results
| Book | Author | Reviewer | Journal | Date |
|---|---|---|---|---|
| A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity | Shawn Hedman | Jesus M Larrazabal | Gogoa: Euskal Herriko Unibertsitateko Hizkuntza, Ezagutza, Komunikazio eta Ekintzari buruzko Aldizkaria | 2008-04-01 |
| A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity | Shawn Hedman | Alasdair Urquhart | The Bulletin of Symbolic Logic | 2007-12-01 |
| Proof theory. An introduction | Wolfram Pohlers | Andrea Cantini | The Journal of Symbolic Logic | 1993 |
| An introduction to mathematical logic and type theory: to truth through proof | Peter B. Andrews | M. Yasuhara | The Journal of Symbolic Logic | 1988 |
| An introduction to mathematical logic and type theory: to truth through proof | Peter B. Andrews | M. Yasuhara | The Journal of Symbolic Logic | 1988 |