Part of the book series:Lecture Notes in Mathematics ((LNM,volume 337))
964Accesses
70Citations
This is a preview of subscription content,log in via an institution to check access.
Access this chapter
Subscribe and save
- Get 10 units per month
- Download Article/Chapter or eBook
- 1 Unit = 1 Article or 1 Chapter
- Cancel anytime
Buy Now
- Chapter
- JPY 3498
- Price includes VAT (Japan)
- eBook
- JPY 5714
- Price includes VAT (Japan)
- Softcover Book
- JPY 7143
- Price includes VAT (Japan)
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
H. FRIEDMAN, Some applications of Kleene's methods to intuitionistic systems, theseProceedings
Author information
Authors and Affiliations
Department of Mathematics, SUNY at Buffalo, BUFFALO, N.Y., USA
John Myhill
- John Myhill
Search author on:PubMed Google Scholar
Editor information
Rights and permissions
Copyright information
© 1973 Springer-Verlag
About this paper
Cite this paper
Myhill, J. (1973). Some properties of intuitionistic zermelo-frankel set theory. In: Mathias, A.R.D., Rogers, H. (eds) Cambridge Summer School in Mathematical Logic. Lecture Notes in Mathematics, vol 337. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0066775
Download citation
Published:
Publisher Name:Springer, Berlin, Heidelberg
Print ISBN:978-3-540-05569-3
Online ISBN:978-3-540-36884-7
eBook Packages:Springer Book Archive
Share this paper
Anyone you share the following link with will be able to read this content:
Sorry, a shareable link is not currently available for this article.
Provided by the Springer Nature SharedIt content-sharing initiative