... kifejezése1
Haskell B. Curry: Outlines of a Formalist Philosophy of Mathematics, North-Holand, Amsterdam 1951.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...2
Lásd Arend Heyting: Intuitionism: an Introduction, North-Holland, Amsterdam 1956.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...3
David J. Chalmers: The Conscious Mind, Oxford University Press, Oxford 1996.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
...4
Alfred J. Ayer: Language,Truth and Logic, Dover Publications, New York 1952.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.