... kifejezése¹

Haskell B. Curry: Outlines of a Formalist Philosophy of Mathematics, North-Holand, Amsterdam 1951.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...²

Lásd Arend Heyting: Intuitionism: an Introduction, North-Holland, Amsterdam 1956.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...³

David J. Chalmers: The Conscious Mind, Oxford University Press, Oxford 1996.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...⁴

Alfred J. Ayer: Language,Truth and Logic, Dover Publications, New York 1952.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.