Mathematical interpretation of formal systems /
| Other Authors: | Skolem, Th. (Thoralf), 1887-1963 (συγγραφέας.) |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam :
North-Holland,
1971.
|
| Edition: | 2nd ed. |
| Series: | Studies in logic and the foundations of mathematics
|
| Subjects: |
Similar Items
-
Mathematical interpretation of formal systems /
Published: (1955) -
Formal systems and recursive functions : proceedings of the eighth logic Colloquium Oxford, July 1963 /
Published: (1965) -
Ancient formal logic /
by: Bochenski, Joseph M., 1902-1995
Published: (1963) -
Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /
by: Beth, Evert Willem
Published: (1962) -
Extensional Gödel functional interpretation : a consistency proof of classical analysis /
by: Luckhardt, Horst
Published: (1973)