Languages with expressions of infinite length /
Κύριος συγγραφέας: | Karp, Carol, 1926-1972 (συγγραφέας.) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Amsterdam :
North-Holland,
1964.
|
Σειρά: | Studies in logic and the foundations of mathematics
|
Θέματα: |
Παρόμοια τεκμήρια
-
The language of logic
ανά: Freudenthal, Hans, 1905-
Έκδοση: (1966) -
Proof theory /
ανά: Takeuti, Gaisi 1926-
Έκδοση: (1975) -
Lincos : design of a language for cosmic intercourse /
ανά: Freudenthal, Hans, 1905-
Έκδοση: (1960) -
Logic in algebraic form : three languages and theories /
ανά: Craig, William, 1918-
Έκδοση: (1974) -
Modal logic an introduction
ανά: Chellas, Brian F.
Έκδοση: (1995)