Finite and infinite in intuitionistic mathematics
Compositio Mathematica (1967)
- Volume: 18, Issue: 1-2, page 94-116
- ISSN: 0010-437X
Access Full Article
top
How to cite
topTroelstra, A. S.. "Finite and infinite in intuitionistic mathematics." Compositio Mathematica 18.1-2 (1967): 94-116. <http://eudml.org/doc/88946>.
@article{Troelstra1967,
author = {Troelstra, A. S.},
journal = {Compositio Mathematica},
keywords = {general logic},
language = {eng},
number = {1-2},
pages = {94-116},
publisher = {P. Noordhoff N. V., Groningen},
title = {Finite and infinite in intuitionistic mathematics},
url = {http://eudml.org/doc/88946},
volume = {18},
year = {1967},
}
TY - JOUR
AU - Troelstra, A. S.
TI - Finite and infinite in intuitionistic mathematics
JO - Compositio Mathematica
PY - 1967
PB - P. Noordhoff N. V., Groningen
VL - 18
IS - 1-2
SP - 94
EP - 116
LA - eng
KW - general logic
UR - http://eudml.org/doc/88946
ER -
References
top- L.E.J. Brouwer, [1] Zur Begründung der intuitionistischen Mathematik, I, Math. Annalen93 (1924), p. 244—258. JFM51.0164.02
- A. Heyting, [2] De telbaarheidspredicaten van Prof. Brouwer, Nieuw Archief voor Wiskunde (2) 16 (1929), p. 47—58. JFM55.0052.01
- A. Heyting, [3] Intuitionism, an introduction, Amsterdam1956. Zbl0125.00510MR75147
- J.J. De Iongh, [4] Unpublished manuscript of a lecture about notions of finiteness in intuitionistic mathematics, delivered in December 1956 in Amsterdam.
Citations in EuDML Documents
topNotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.