Ancient formal logic /
Κύριος συγγραφέας: | Bochenski, Joseph M., 1902-1995 (συγγραφέας.) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Amsterdam :
North-Holland,
1963.
|
Σειρά: | Studies in logic and the foundations of mathematics
|
Θέματα: |
Παρόμοια τεκμήρια
-
Logic : techniques of formal reasoning /
ανά: Kalish, Donald
Έκδοση: (1980) -
Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /
ανά: Beth, Evert Willem
Έκδοση: (1962) -
Mathematical logic /
ανά: Shoenfield, Joseph R., 1927- (Joseph Robert)
Έκδοση: (1967) -
Formal systems and recursive functions : proceedings of the eighth logic Colloquium Oxford, July 1963 /
Έκδοση: (1965) -
Mathematical interpretation of formal systems /
Έκδοση: (1955)