Old Web
English
Sign In
Acemap
>
Paper
>
The Discovery of E.W. Beth’s Semantics for Intuitionistic Logic
The Discovery of E.W. Beth’s Semantics for Intuitionistic Logic
1999
A. S. Troelstra
P. van Ulsen
Keywords:
Semantics
Intuitionistic logic
Discrete mathematics
Game semantics
Algorithm
Kripke semantics
Mathematics
Higher-order logic
Algebra
Correction
Source
Cite
Save
Machine Reading By IdeaReader
15
References
3
Citations
NaN
KQI
[]