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
|
נושאים: |