Mathematical interpretation of formal systems /
Άλλοι συγγραφείς: | Skolem, Th. (Thoralf), 1887-1963 (συγγραφέας.) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Amsterdam :
North-Holland,
1955.
|
Σειρά: | Studies in logic and the foundations of mathematics
|
Θέματα: |
Παρόμοια τεκμήρια
-
Mathematical interpretation of formal systems /
Έκδοση: (1971) -
Formal systems and recursive functions : proceedings of the eighth logic Colloquium Oxford, July 1963 /
Έκδοση: (1965) -
Ancient formal logic /
ανά: Bochenski, Joseph M., 1902-1995
Έκδοση: (1963) -
Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /
ανά: Beth, Evert Willem
Έκδοση: (1962) -
Extensional Gödel functional interpretation : a consistency proof of classical analysis /
ανά: Luckhardt, Horst
Έκδοση: (1973)