↓ Skip to main content

Semantical Investigations in Heyting’s Intuitionistic Logic

Overview of attention for book
Attention for Chapter 4: The Kripke, Beth and Topological Interpretations for HPC
Altmetric Badge

Citations

dimensions_citation
201 Dimensions
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
The Kripke, Beth and Topological Interpretations for HPC
Chapter number 4
Book title
Semantical Investigations in Heyting’s Intuitionistic Logic
Published by
Springer, Dordrecht, January 1981
DOI 10.1007/978-94-017-2977-2_4
Book ISBNs
978-9-04-818362-3, 978-9-40-172977-2
Authors

Dov M. Gabbay