S H ยท Sine Heitmann
| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity | 978-0-19-852980-4 (0-19-852980-5) | 2004 |
| A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity | 978-0-19-852981-1 (0-19-852981-3) | 2004 |