Frege Structures and the Notions of Proposition, Truth and Set
- 1 January 1980
- book chapter
- Published by Elsevier in Studies in Logic and the Foundations of Mathematics
- Vol. 101, 31-59
- https://doi.org/10.1016/s0049-237x(08)71252-7
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Principles of continuous choice and continuity of functions in formal systems for constructive mathematicsAnnals of Mathematical Logic, 1977
- Descriptions in Intuitionistic LogicPublished by Elsevier ,1975
- A Set of Postulates for the Foundation of LogicAnnals of Mathematics, 1932