Old Web
English
Sign In
Acemap
>
Paper
>
N. Francez, Proof-theoretic semantics, Studies in Logic, vol. 57, College Publications, London, 2015, xx + 415 pp.
N. Francez, Proof-theoretic semantics, Studies in Logic, vol. 57, College Publications, London, 2015, xx + 415 pp.
2019
Davide Catta
Keywords:
Mathematics
Discrete mathematics
Proof-theoretic semantics
Algebra
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]