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
|
Խորագրեր: |