Einfuhrung in die mathematische Logik / Aussagenkalkul.
Κύριος συγγραφέας: | |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | German |
Έκδοση: |
Leipzig:
B. G. Teubner,
c1959
|
Σειρά: | Mathematisch-Naturwissenschaftliche Bibliothek ; ;
18 |
Θέματα: |