Lincos : design of a language for cosmic intercourse /
| Κύριος συγγραφέας: | Freudenthal, Hans, 1905- (συγγραφέας.) |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Amsterdam :
North-Holland,
1960.
|
| Σειρά: | Studies in logic and the foundations of mathematics
|
| Θέματα: |
Παρόμοια τεκμήρια
-
The language of logic
ανά: Freudenthal, Hans, 1905-
Έκδοση: (1966) -
Enumerability, decidability, computability : an introduction to the theory of recursive functions /
ανά: Hermes, Hans
Έκδοση: (1969) -
Introduction to mathematical logic /
ανά: Hermes, Hans
Έκδοση: (1973) -
Einführung in die Verbandstheorie /
ανά: Hermes, Hans
Έκδοση: (1967) -
Nomological statements and admissible operations /
ανά: Reichenbach, Hans, 1891-1953
Έκδοση: (1954)