What logics mean : from proof theory to model-theoretic semantics /
Includes bibliographical references
Κύριος συγγραφέας: | |
---|---|
Μορφή: | |
Γλώσσα: | eng |
Έκδοση: |
New York : Cambridge University Press,
2013
|
Θέματα: |
Includes bibliographical references
Κύριος συγγραφέας: | |
---|---|
Μορφή: | |
Γλώσσα: | eng |
Έκδοση: |
New York : Cambridge University Press,
2013
|
Θέματα: |