S. Fabbrini · S. Fefermann · Solomon Feferman
| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies | Taschenbuch | 978-3-540-11170-2 (3-540-11170-0) | 1981 | W. Buchholz · W. Pohlers · W. Sieg | |
| Model-Theoretic Logics | Hardcover | 978-0-387-90936-3 (0-387-90936-2) | 1985 | J. Barwise · J. Baldwin | |
| Model-Theoretic Logics | Gebunden | 978-3-540-90936-1 (3-540-90936-2) | 1985 | J. Barwise |