Title: Semantic construction of intuitionistic logic
First published: 1956
Subjects: Logic, Symbolic and mathematical, Semantics (Philosophy), Symbolic and mathematical Logic, Semantiek, Intuïtionisme, Generative Semantik, Logik
LC classification: AS244 .A512 deel 19, no. 11