What logics mean : from proof theory to model-theoretic semantics /
Includes bibliographical references
Príomhchruthaitheoir: | |
---|---|
Formáid: | |
Teanga: | eng |
Foilsithe / Cruthaithe: |
New York : Cambridge University Press,
2013
|
Ábhair: |