Casari, Ettore, Questioni di filosofia della matematica, Feltrinelli, Milano 1964.06

[i][b][c][1.0.50][r][a]
Casari, Ettore
Questioni di filosofia della matematica
Feltrinelli
[Filosofia della Scienza 6]
Milano 1964.06

#matematica #filosofia
ig01#filosofia
ig02#matematica ig02#filosofia

Privacy Policy

[i][b][c] INDICE:

	3		[collana]
	4		[colophon]
	5		[frontespizio]
	7		[dedica]
	9		[esergo]
1964.03;14277	11		Premessa
			{titolo}
	17	Parte prima.	Le concezioni platonistiche della matematica
	19	Capitolo primo.	Il concetto cantoriano di insieme
	19	1.	Origini
	21	2.	Caratteristiche generali
	29	3.	Le critiche
	30	Capitolo secondo.	La prima difficoltà: le antinomie logiche
	33	Capitolo terzo.	La teoria dei tipi semplici di Russell-Chwistek-Ramsey
	38	Capitolo quarto.	Le teorie assiomatiche degli insiemi di tipo Zermelo-Skolem-Fraenkel
	38	1.	Il sistema di E. Zermelo
	42	2.	Le critiche al sistema di Zermelo
	54	3.	Il sistema di Zermelo-Fraenkel-Skolem
	56	Capitolo quinto.	Le teorie assiomatiche degli insiemi di tipo von Neumann-Bernays-Gödel
	56	1.	Il sistema di John von Neumann
	67	2.	Il sistema di R. Robinson
	71	3.	I sistemi di P. Bernays
	93	4.	Il sistema di K. Gödel
	97	Capitolo sesto.	Altri sistemi. Conclusioni sulla prima difficoltà
	98	1.	I sistemi delle New Foundations e della MAthematical Logic
	103	2.	Il sistema di W. Ackermann
	105	3.	Conclusioni
	110	Capitolo settimo.	La seconda difficoltà: le definizioni impredicative
	118	Capitolo ottavo.	La terza difficoltà: il paradosso di Skolem
	118	1.	Il paradosso di Skolem
	120	2.	Il relativismo di Skolem
	124	3.	Il problema del metofo assiomatico
	131	Parte seconda.	Le concezioni concettualistiche della matematica
	133	Capitolo nono.	La matematica come scienza costitutiva
	133	1.	Le idee di L. Kronecker
	137	2.	Predicativismo e intuizionismo
	141	Capitolo decimo.	Ramificazione dei tipi
	141	1.	La teoria ramificata dei tipi
	146	2.	Difficoltà
	149	3.	L'assioma della riducibilità
	155	CApitolo undicesimo.	Ordini cumulativi transfiniti
	155	1.	Tipi e ordini cumulativi
	156	2.	Eliminazione dei tipi
	159	3.	Gli ordini transfiniti
	161	4.	Il sistema 𝕲 di Hao Wang
	166	Capitolo dodicesimo.	Le teorie predicative di H. Weyl
	166	1.	I sistemi di H. Weyl
	170	2.	I sistemi 𝖂 e 𝖂*
	177	3.	Numeri naturali. Numeri reali
	183	CApitolo tredicesimo.	La matematica intuizionistica
	183	1.	Il programma brouwerianoù
	186	2.	Logica. Metodologia. Aritmetica
	195	3.	I generatori di numero reale
	200	4.	Continuo e quantificatori
	208	5.	Alcuni fatti particolari
	210		Conclusione
	215		Bibliografia
	227		Indice dei nomi
	229		Indice
	231		_
	232		[tipografia]
	232		___

[i][b][c] BIBLIOGRAFIA: (191 opere)
bibliografie parziali: (229 opere)

Bibliografia [] (229 opere)
Ackermann, W. F.		Die Widerspruchsfreiheit der allgemeinen Mengenlehre		pp. 305-315	in
Springer-Verlag, .	[1][1937]	«Mathematische Annalen::114», 114 (1937)	Springer-Verlag	Berlin	1937
Ackermann, W. F.		Mengentheoretische Begründung der Logik		pp. 01-22	in
Springer-Verlag, .	[2][1937]	«Mathematische Annalen::115», 115 (1937)	Springer-Verlag	Berlin	1937
Ackermann, W. F.		Zur Axiomatik der Mengenlehre		pp. 336-345	in
Springer-Verlag, .	[3][1956]	«Mathematische Annalen::131», 131 (1956)	Springer-Verlag	Berlin	1956
Anderson, A. R.		What do symbols symbolize? Platonism		pp. 137-150	in
Interscience Publishers, .	[1][1963]	«Philosophy of Science - The Delaware Seminar», vol. I.	Interscience Publishers	New York	1963
Bachmann, H.	[1][1955]	Transfinite Zahlen	Springer-Verlag	Berlin	1955
Bachmann, H.		Stationen im Transfiniten		pp. 101-116	in
	[2][1956]	«Zeitschrift für mathematische Logik und Grundlagen der Mathematik::001», 2 (1956)			1956
Baer, R.		Über ein Vollständigkeitsaxiom in der Mengenlehre		pp. 536-539	in
Springer-Verlag, .	[1][1928]	«Mathematische Zeitschrift::027», 27 (1928)	Springer-Verlag	Berlin	1928
Baer, R.		Zur Axiomatik der Kardinalzahlarithmetik		pp. 381-396	in
Springer-Verlag, .	[2][1929]	«Mathematische Zeitschrift::029», 29 (1929)	Springer-Verlag	Berlin	1929
Behmann, H.		Zu den Widersprüchen der Logik und Mengenlehre		pp. 37-48	in
	[1][1931]	«Jahresberichte der Deutschen Mathematiker Vereinigung::040», 40 (1931)			1931
Bernays, P.		Sur le platonisme dans les mathématiques		pp. 52-69	in
	[1][1935]	«L'Enseignement mathématique::034», 34 (1935)			1935
Bernays, P.		A system of axiomatic set theory (I)		pp. 65-77	in
Association for Symbolic Logic, .	[2][1937][I]	«Journal of Symbolic Logic::002», 2 (1937)	Association for Symbolic Logic	Storrs	1937
Bernays, P.		A system of axiomatic set theory (II)		pp. 01-17	in
Association for Symbolic Logic, .	[2][1941][II]	«Journal of Symbolic Logic::006», 6 (1941)	Association for Symbolic Logic	Storrs	1941
Bernays, P.		A system of axiomatic set theory (III)		pp. 065-089	in
Association for Symbolic Logic, .	[2][1942][III]	«Journal of Symbolic Logic::007», 7 (1942)	Association for Symbolic Logic	Storrs	1942
Bernays, P.		A system of axiomatic set theory (IV)		pp. 133-145	in
Association for Symbolic Logic, .	[2][1942][IV]	«Journal of Symbolic Logic::007», 7 (1942)	Association for Symbolic Logic	Storrs	1942
Bernays, P.		A system of axiomatic set theory (V)		pp. 089-106	in
Association for Symbolic Logic, .	[2][1943][V]	«Journal of Symbolic Logic::008», 8 (1943)	Association for Symbolic Logic	Storrs	1943
Bernays, P.		A system of axiomatic set theory (VI)		pp. 0065-0079	in
Association for Symbolic Logic, .	[2][1948][VI]	«Journal of Symbolic Logic::013», 13 (1948)	Association for Symbolic Logic	Storrs	1948
Bernays, P.		A system of axiomatic set theory (VII)		pp. 0081-0096	in
Association for Symbolic Logic, .	[2][1954][VII]	«Journal of Symbolic Logic::019», 19 (1954)	Association for Symbolic Logic	Storrs	1954
Bernays, P.		Thesen und Bemerkungen zu den philosophischen Fragen und zur Situation der logisch-mathematischen Grundlagenforschung		pp. 104-110	in
	[3][1937]	«Travaux du IX^e Congrès international de Philosophie», vol. VI.	Hermann	Paris	1937
Bernays, P.		Bemerkungen zur Grundlagenfrage		pp. 83-87	in
Gonseth, F.	[4][¹939]	«Philosophie mathématique. Avec cinq déclarations de A. Church», W. Ackermann, A. Heyting, P. Bernays, L. Chwistek	Hermann	Paris	1939
Bernays, P. Fraenkel, A. A. H.	[5][1958]	Axiomatic Set Theory	North-Holland Publishing Company	Amsterdam	1958
Bernays, P.		Die hohen Unendlichkeiten un die Axiomatik der Mengenlehre		pp. 011-020	in
	[6][1961]	«Infinitistic Methods»	Pergamon Press	Oxford	1961
Bernays, P.		Zur Frage der Unendlichkeitschemata in der axiomatischen Mengenlehre		pp. 003-049	in
	[7][1961]	«Essays on the Foundations of Mathematics», dedicated to A. A. Fraenkel	Magnes Press	Oxford	1961
Beth, E. W.	[1][1955]	Les fondements logiques des matématiques	Gauthier-Villars	Paris	1955
Beth, E. W.	[1][1963]	I fondamenti logici della matematica	Feltrinelli	Milano	1963.033
Beth, E. W.	[2][1956]	L'existence en mathématiques	Gauthier-Villars	Paris	1956
Beth, E. W.	[3][1957]	La crise de la raison et la logique	Gauthier-Villars	Paris	1957
Beth, E. W.	[4][1959]	The Foundations of Mathematics	North-Holland Publishing Company	Amsterdam	1959
Beth, E. W.		Remarks on the Paradoxes of Logic and Set Theory		pp. 307-311	in
	[6][1961]	«Essays on the Foundations of Mathematics», dedicated to A. A. Fraenkel	Magnes Press	Oxford	1961
Beth, E. W.	[5][1962]	Formal Methods	D. Reidel	Dordrecht	1962
Brouwer, L. E. J. B.	[1][1907]	Over de Grondslagen der Wiskunde, Dissertatie	Vrije Universiteit Amsterdam	Amsterdam	1907
Brouwer, L. E. J. B.		Intuitionisme en Formalisme		pp. 081-096	in
American Mathematical Society, .	[2][1914]	«Bulletin of the American Mathematical Society::020», 20 (1914)	American Mathematical Society	Providence	1914
Brouwer, L. E. J. B.		Zur Begründung der intuitionistischen Mathematik (I)		pp. 244-257	in
Springer-Verlag, .	[3][1925]	«Mathematische Annalen::093», 93 (1925)	Springer-Verlag	Berlin	1925
Brouwer, L. E. J. B.		Zur Begründung der intuitionistischen Mathematik (II)		pp. 453-472	in
Springer-Verlag, .	[3][1926]	«Mathematische Annalen::095», 95 (1926)	Springer-Verlag	Berlin	1926
Brouwer, L. E. J. B.		Zur Begründung der intuitionistischen Mathematik (III)		pp. 451-488	in
Springer-Verlag, .	[3][1927]	«Mathematische Annalen::096», 96 (1927)	Springer-Verlag	Berlin	1927
Burali-Forti, C.		Una questione sui numeri transfiniti		pp. 154-164	in
Circolo Matematico di Palermo, .	[1][1897]	«Rendiconti del Circolo Matematico di Palermo:011», 11 (1897)	Circolo Matematico di Palermo	Palermo	1897
Cantor, G. F. L. P. Zermelo, E. F. F. (ed.)	[1][1932]	Gesammelte Abhandlungen mathematischen und philosophischen Inhalts	Springer-Verlag	Berlin	1932
Carnap, R.	[1][1934]	Die Logische Syntax der Sprache	Springer-Verlag	Vienna	1934
Carnap, R.	[1][1937]	The Logical Syntax of Language	RKP	London	1937
Carnap, R.	[1][1961]	La sintassi logica del linguaggio	Silva	Milano	1961.01
Carnap, R.		Foundations of Logic and Mathematics			in
Carnap, R.	[2][1937]	«International Encyclopedia of Unified Science», Vol. I, no. 3	University of Chicago Press	Chicago	1937
Carnap, R.	[2][1956]	Fondamenti di logica e matematica	Paravia	Torino	1956
Carnap, R.		Empirism, Semantics and Ontology		pp. 20-40	in
De Boeck, .	[3][1950]	«Revue Internationale de Philosophie»	De Boeck	Bruxelles	1950
Casari, E.	[1][1960]	Lineamenti di logica matematica	Feltrinelli	Milano	1964.113
Casari, E.		Scelta (principio di)			in
Mondadori, .	[3][1983[m]	«Enciclopedia della scienza e della tecnica 01 Vol. 1»	Mondadori	Milano
Casari, E.		Logica			in
Mondadori, .	[3][1983[i]	«Enciclopedia della scienza e della tecnica 01 Vol. 1»	Mondadori	Milano
Casari, E.		Logicismo			in
Mondadori, .	[3][1983[l]	«Enciclopedia della scienza e della tecnica 01 Vol. 1»	Mondadori	Milano
Casari, E.		Cantorismo			in
Mondadori, .	[3][1983[a]	«Enciclopedia della scienza e della tecnica 01 Vol. 1»	Mondadori	Milano
Casari, E.		Costruttivismo			in
Mondadori, .	[3][1983[b]	«Enciclopedia della scienza e della tecnica 01 Vol. 1»	Mondadori	Milano
Casari, E.		Comprensione (principio di)			in
Mondadori, .	[3][1983[c]	«Enciclopedia della scienza e della tecnica 01 Vol. 1»	Mondadori	Milano
Casari, E.		Estensionalità (principio di)			in
Mondadori, .	[3][1983[d]	«Enciclopedia della scienza e della tecnica 01 Vol. 1»	Mondadori	Milano
Casari, E.		Formalismo			in
Mondadori, .	[3][1983[e]	«Enciclopedia della scienza e della tecnica 01 Vol. 1»	Mondadori	Milano
Casari, E.		Infinito (assioma dello)			in
Mondadori, .	[3][1983[f]	«Enciclopedia della scienza e della tecnica 01 Vol. 1»	Mondadori	Milano
Casari, E.		Intuizionismo			in
Mondadori, .	[3][1983[g]	«Enciclopedia della scienza e della tecnica 01 Vol. 1»	Mondadori	Milano
Cassirer, E.	[1][1910]	Substanzbegriff und Funktionsbegriff		Berlin	1910
Cassirer, E.	[1][1923]	Substance and function, and Einstein's theory of relativity	Open Court	Chicago	1923
Cassirer, E.	[1][1956]	Substance and function, and Einstein's theory of relativity	Dover	New York	1953
Cassirer, E.	[1][1958]	Storia della filosofia moderna 04 IV. Il problema della conoscenza nei sistemi posthegeliani	Einaudi	Torino	1963.1008
Cavaillès, J.	[1][1938]	Remarques sur la formation de la théorie abstraite des ensembles	Hermann	Paris	1938
Cavaillès, J.	[2][1938]	Méthode axiomatique et formalisme	Hermann	Paris	1938
Cavaillès, J.	[3][1947]	Méthode axiomatique et formalisme	Hermann	Paris	1938
Church, A.		[1][1927]		pp. 178-208	in
American Mathematical Society, .	[1][1927]	«Transactions of the American Mathematical Society::029», 29 (1927)	American Mathematical Society	Providence	1927
Church, A.		A set of postulates for the foundation of Logic (I)		pp. 346-366	in
Princeton University Press, .	[2][1932]	«Annals of Mathematics::033», 33 (1932)	Princeton University Press	Princeton	1932
Church, A.		A set of postulates for the foundation of Logic (II)		pp. 839-864	in
Cassirer, E.	[2][1933]	«Annals of mathematics::034», 34 (1933)	Princeton University Press	Princeton	1933
Church, A.		The Richard Paradox		pp. 356-361	in
Mathematical Association of America, .	[3][1934]	«American Mathematical Monthly::041», 41 (1934)	Taylor & Francis		1934
Church, A.		A formulation of the simple theory of types		pp. 56-68	in
Association for Symbolic Logic, .	[4][1940]	«Journal of Symbolic Logic::005», 5 (1940)	Association for Symbolic Logic	Storrs	1940
Church, A.	[5][1944]	Introduction to Mathematical Logic, Part I	Princeton University Press	Princeton	1944
Church, A.		Propositions and Sentences		pp. 01-12	in
	[6][1956]	«The Problem of Universals»	University of Notre Dame Press	Notre Dame	1956
Church, A.		Logic			in
	[7][1962]	«Encyclopedia Britannica::000», 00			1962
Chwistek, L.		Über die Antinomien der Prinzipien der Mathematik		pp. 236-243	in
Springer-Verlag, .	[1][1922]	«Mathematische Zeitschrift::014», 14 (1922)	Springer-Verlag	Berlin	1922
Chwistek, L.		Die nominalistiche Grundlegung der Mathematik		pp. 367-388	in
Springer-Verlag, .	[2]1933]	«Erkenntnis::003», 3 (1933)	Springer-Verlag	Berlin	1933
Curry, H. B.	[1][1951]	Outlines of a formalist philosophy of mathematics	North-Holland Publishing Company	Amsterdam	1951
Curry, H. B.	[2][1963]	Foundations of mathematical logic	McGraw-Hill Book Company	New York	1963
Dedekind, J. W. R.	[1][1960]	Was sind und was sollen die Zahlen	Friedr. Vieweg & Sohn	Braunschweig	1960
Dedekind, J. W. R. Zariski, O. (ed.)	[1][1926]	Essenza e significato dei numeri. Continuità e numeri irrazionali	Albert Stock	Roma	1926
Dieudonné, J. A. E.		Les méthodes axiomatiques modernes et les fondements des mathématiques			in
Le Lionnais, F. (ed.)	[1][1962]	«Les grande courants de la pensée mathématiques»	Blanchard	Paris	1962
Finsler, P.		Gibt es Widersprüche in der Mathematik?		pp. 143-155	in
	[1][1925]	«Jahresberichte der Deutschen Mathematiker Vereinigung::034», 34 (1925)			1925
Finsler, P.		Über die Grundlegung der Mengenlehre. I. Teil. Die Mengen und ihre Axione		pp. 683-713	in
Springer-Verlag, .	[2][1926]	«Mathematische Zeitschrift::025», 25 (1926)	Springer-Verlag	Berlin	1926
Cantor, G. F. L. P. Zermelo, E. F. F.		Zu den Grundlagen der Cantor-Zermeloschen Mengelehre		pp. 230-237	in
Springer-Verlag, .	[1][1922]	«Mathematische Annalen::086», 86 (1922)	Springer-Verlag	Berlin	1922
Fraenkel, A. A. H.		Der Begriff ‘definit’ und die Unabhängigkeit des Auswahlaxioms		pp. 253-257	in
	[2][1922]	«Sitzungsberichte der Preussischen Akademie der Wissenschaften - Physikalisch-mathematische Klasse»			1922
Fraenkel, A. A. H.		Die neueren Ideen zur Grundlegung der Analysis und Mengenlehre		pp. 097-103	in
	[3][1924]	«Jahresberichte der Deutschen Mathematiker Vereinigung::033», 33 (1924)			1924
Fraenkel, A. A. H.		Untersuchungen über die Grundlagen der Mengenlehre		pp. 250-273	in
Springer-Verlag, .	[4][1925]	«Mathematische Zeitschrift::022», 22 (1925)	Springer-Verlag	Berlin	1925
Fraenkel, A. A. H.	[5][1928]	Entleitung in die Mengenlehre	Springer-Verlag	Berlin	1928
Fraenkel, A. A. H.		Das Leben Georg Cantor			in
Cantor, G. F. L. P. Zermelo, E. F. F. (ed.)	[6][1932]	«Gesammelte Abhandlungen mathematischen und philosophischen Inhalts»	Springer-Verlag	Berlin	1932
Fraenkel, A. A. H.		Sur la notion d'existence dans les mathématiques		pp. 18-32	in
	[7][1935]	«L'Enseignement mathématique::034», 34 (1935)			1935
Fraenkel, A. A. H.		Discontinu et continu		pp. 193-200	in
	[8][1937]	«Travaux du IX^e Congrès international de Philosophie», vol. VI.	Hermann	Paris	1937
Fraenkel, A. A. H.	[9][1953]	Abstract Set Theory	North-Holland Publishing Company	Amsterdam	1953
Fraenkel, A. A. H.	[9][1961]	Abstract Set Theory	North-Holland Publishing Company	Amsterdam	1961
Fraenkel, A. A. H.		Paul Bernays und die Begründung der Mengenlehre		pp. 274-279	in
	[10][1958]	«Dialectica::012», 12 (1958)			1958
Fraenkel, A. A. H.		Philosophie der Mathematik			in
Heinemann, F. (ed.)	[11][1951]	«Die Philosophie im XX. Jahrundert»	Ernst Klett Verlag	Stuttgart	1951
Fraenkel, A. A. H.		Historical Introduction		pp. 01-35	in
Bernays, P. Fraenkel, A. A. H.	[12][1958]	«Axiomatic Set Theory»	North-Holland Publishing Company	Amsterdam	1958
Fraenkel, A. A. H.	[13][1959]	Mengenlehre der Logik		Berlin	1959
Fraenkel, A. A. H.		Epistemology and Logic		pp. 06-10	in
	[14][1962]	«Logic and Language. Studies dedicated to Professor Rudolf Carnap on the Occasion of his seventieth Birthday»	D. Reidel	Dordrecht	1962
Frege, F. L. G.	[1][1979]	Begriffsschrift. Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens	Nebert	Halle an Der Saale	1879
Frege, F. L. G.	[1][1963]	Begriffsschrift. Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens		Hildesheim	1963
Frege, F. L. G.	[2][1893]	Grundgesetze der Arithmetik. Begriffsschriftlich abgeleitet 01 Bd. 1	Pohle	Jena	1893
Frege, F. L. G.	[2][1903]	Grundgesetze der Arithmetik. Begriffsschriftlich abgeleitet 02 Bd. 2	Pohle	Jena	1903
Frege, F. L. G.	[2][1962]	Grundgesetze der Arithmetik. Begriffsschriftlich abgeleitet		Hildesheim	1962
Frege, F. L. G. Patzig, G. (ed.)	[3][1962]	Funktion, Begriff, Bedeutung. Fünf logische Studien	Vandenhoeck & Ruprecht	Gottinga	1962
Frege, F. L. G. Geymonat, L. (ed.)	[4][1948]	Aritmetica e logica	Einaudi	Torino	1948
Gentzen, G. K. E.		Die Widerspruchsfreiheit der Stufenlogik		pp. 357-366	in
Springer-Verlag, .	[1][1936]	«Mathematische Zeitschrift::041», 41 (1936)	Springer-Verlag	Berlin	1936
Gentzen, G. K. E.		Unendlichkeitsbegriff und Widerspruchsfreiheit der MAthematik		pp. 201-205	in
	[2][1937]	«Travaux du IX^e Congrès international de Philosophie», vol. VI.	Hermann	Paris	1937
Gentzen, G. K. E.		Die gegenwärtige Lage in der mathematischen Grundlagenforschung		pp. 05-18	in
	[3][1938]	«Forschungen zur Logik NF», Nr. 4	Hirzel	Leipzig	1938
Geymonat, L.	[1][1945]	Studi per un nuovo razionalismo	Chiantore	Torino	1945
Geymonat, L.	[2][1947]	Storia e filosofia dell'analisi infinitesimale	Levrotto & Bella	Torino	1947
Geymonat, L.	[3][1960]	Filosofia e filosofia della scienza	Feltrinelli	Milano	1961.0417
Gödel, K. F.		Zur intuitionistischen Arithmetik und Zahlentheorie		pp. 34-38	in
Menger, K. (ed.)	[1][1933]	«Ergebnisse eines Mathematischen Kolloquiums::4», 4 (1933)			1933
Gödel, K. F.		Eine Interpretation des intuitionistischen Aussagenkalkül		pp. 39-40	in
Menger, K. (ed.)	[2][1933]	«Ergebnisse eines Mathematischen Kolloquiums::4», 4 (1933)			1933
Gödel, K. F.	[3][1940]	The Consistency of the Axiom of Choice and the generalized Continuum-hypothesis with the Axioms of Set Theory	Princeton University Press	Princeton	1940
Gödel, K. F.		Russell's mathematical logic		pp. 123-153	in
Schlipp, P. A.	[4][1944]	«The Philosophy of Bertrand Russell»	Northwestern University Press	Evanston	1944
Gödel, K. F.		What is Cantor's continuum problem?		pp. 515-525	in
Mathematical Association of America, .	[5][1947]	«American Mathematical Monthly::054»	Taylor & Francis		1947
Gödel, K. F.		Über eine bisher noch nicht benutzte Erweiterung des finiten Standpunktes		pp. 280-287	in
	[6][1958]	«Dialectica::012», 12 (1958)			1958
Gonseth, F.	[1][1939]	Philosophie mathématique. Avec cinq déclarations de A. Church, W. Ackermann, A. Heyting, P. Bernays, L. Chwistek	Hermann	Paris	1939
Goodman, N.	[1][1951]	The Structure of Appearance	Harvard University Press	Cambridge	1951
Goodman, N.		A World of Individuals		pp. 13-31	in
	[2][1956]	«The Problem of Universals»	University of Notre Dame Press	Notre Dame	1956
Goodman, N. Van Orman Quine, W.		Steps toward a constructive nominalism		pp. 105-112	in
Association for Symbolic Logic, .	[1][1947]	«Journal of Symbolic Logic::012», 12 (1947)	Association for Symbolic Logic	Storrs	1947
Goodstein, R. L.	[1][1951]	Constructive Formalism, Essays on the foundations of mathematics	University of Leicester	Leicester	1951
Grzegorgzyk, A.		Elementary definable Analysis		pp. 311-338	in
Polish Academy of Sciences, .	[1][1954]	«Fundamenta Mathematicae::042», 42 (1954)	Polish Academy of Sciences	Varsavia	1954
Hasenjäger, G. F. R.	[1][1962]	Einführung in die Grundbegriffe und Probleme der modernen Logik	Alber	Freiburg	1962
Scholz, H. Hasenjäger, G. F. R.	[1][1961]	Grundzüge der mathematischen Logik	Springer-Verlag	Berlin	1961
Hermes, H.	[1][1963]	Einführung in die mathematische Logik	Teubner	Stuttgart	1963
Hermes, H. Markwald, W.		Grundlagen der Mathematik		pp. 01-89	in
Behnke, H. A. L. (ed.) Süss, W. (ed.) Fladt, K. (ed.)	[1][1962]	«Grundzüge der mathematik Bd. I»	Vandenhoeck & Ruprecht	Gottinga	1962
Hermes, J. G.		Mathmatische Logik			in
	[1][1962]	«Enzyklopädie der mathematischen Wissenschaften», Band I, Algebra und Zahlentheorie, 1. Teil, Heft 1, Teil I	Teubner	Leipzig	1962
Heyting, A.		Die formalen Regeln der intuitionistischen Logik		pp. 42-56	in
	[1][1930	«Sitzungsberichte der Preussischen Akademie der Wissenschaften - Physikalisch-mathematische Klasse»			1930
Heyting, A.		Der formalen Regeln der intuitionistischen Mathematik		pp. 57-71	in
	[2][1930]	«Sitzungsberichte der Preussischen Akademie der Wissenschaften - Physikalisch-mathematische Klasse»			1930
Heyting, A.	[3][1934][a]	Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie	Springer-Verlag	Berlin	1934
Heyting, A.	[3][1955][b]	Les fondements des mathématiques: intuitionnisme, théorie de la démonstration	Gauthier-Villars	Paris	1955
Heyting, A.	[4][1956]	Intuitionism. An Introduction	North-Holland Publishing Company	Amsterdam	1956
Heyting, A.		Infinitistic methods from a finitist point of view		pp. 185-192	in
	[5][1961]	«Infinitistic Methods»	Pergamon Press	Oxford	1961
Heyting, A.		Axiomatic Method and Intuitionism		pp. 237-247	in
	[6][1961]	«Essays on the Foundations of Mathematics», dedicated to A. A. Fraenkel	Magnes Press	Oxford	1961
Hilbert, D.	[1930]	Grundlagen der Geometrie	Teubner	Stuttgart	1930
Hilbert, D.	[1956]	Gesammelte Abhandlungen 01 Band I.	Springer-Verlag	Berlin	1932
Hilbert, D.	[2][1935]	Gesammelte Abhandlungen 03 Band III.	Springer-Verlag	Berlin	1935
Hilbert, D. Ackermann, W. F.	[1][1928]	Grundzüge der theoretischen Logik	Springer-Verlag	Berlin	1928
Hilbert, D. Bernays, P.	[1][1934][I]	Grundlagen der Mathematik 01 Bd. I.	Springer-Verlag	Berlin	1934
Hilbert, D. Bernays, P.	[1][1939][II]	Grundlagen der Mathematik 02 Bd. II.	Springer-Verlag	Berlin	1939
Kant, I.	[1][1781][a]	Kritik der Reinen Vernunft			1781
Kant, I.	[1][1781][b]	Kritik der Reinen Vernunft			1787
Kant, I.	[1][1953][c]	Kritik der Reinen Vernunft	Felix Meiner	Hamburg	1953
Kemeny, J. G.	[1][1959]	A Philosopher looks at science		Princeton	1959
Kleene, S. C.	[1][1952]	Introduction to Metamathematics	North-Holland Publishing Company	Amsterdam	1952
Kleene, S. C.		Foundations of Mathematics			in
	[2][1962]	«Encyclopedia Britannica::000», 00			1962
Kneale, W. C. Hurst Kneale, M.	[1][1962]	The Development of Logic	Oxford University Press	Oxford	1962
Kneebone, G. T.	[1][1963]	Mathematical Logic and the Foundations of MAthematics	David Van Nostrand Company	Princeton	1963
Kreisel, G.		Set theoretic problems suggested by the notion of potential totality		pp. 103-140	in
	[1][1961]	«Infinitistic Methods»	Pergamon Press	Oxford	1961
Kronecker, L. Hensel, K. W. S. (ed.)	[1][1899]	Werke 03 Band III.	Teubner	Leipzig	1899
Kuratowski, K.		Sur la notion d'ordre dans la théorie des ensembles		pp. 161-171	in
Polish Academy of Sciences, .	[1][1921]	«Fundamenta Mathematicae::002», 2 (1921)	Polish Academy of Sciences	Varsavia	1921
Levi, B.		Intorno alla teoria degli aggregati		pp. 863-868	in
	[1][1902]	«Rendiconti del Regio Istituto Lombardo di Scienza e Letteratura», 35 (1902)			1902
Levi, B.		Antinomie logiche?		pp. 187-216	in
	[2][1908]	«Annali di Matematica pura e applicata», 15 (1908)			1908
Mirimanoff, D. S.		Les antinomies de Russell et de Burali-Forti et le problème fondamental de la theorie des ensembles		pp. 037-052	in
	[1][1917]	«L'Enseignement mathématique::019», 19 (1917)			1917
Mirimanoff, D. S.		Remarques sur la théorie des ensembles et les antinomies cantoriennes (I)		pp. 207-217	in
	[2][1917]	«L'Enseignement mathématique::019», 19 (1917)			1917
Mirimanoff, D. S.		Remarques sur la théorie des ensembles et les antinomies cantoriennes (II)		pp. 29-52	in
	[2][1920]	«L'Enseignement mathématique::021», 21 (1920)			1920
Mendelson, E.		Some Proofs of Independence in Axiomatic Set Theory		pp. 0291-0303	in
Association for Symbolic Logic, .	[1][1956]	«Journal of Symbolic Logic::021», 21 (1956)	Association for Symbolic Logic	Storrs	1956
Mendelson, E.	[2][1964]	Introduction to Mathematical Logic			1964
Meschkowski, H.	[1][1960]	Wandlungen des mathematischen Denkens	Friedr. Vieweg & Sohn	Braunschweig	1960
Meschkowski, H.	[1][1963]	Mutamenti nel pensiero matematico	Boringhieri	Torino	1963.06
Montague, R. M.		Zermelo-Fraekel Set Theory is not a finite extension of Zermelo Set Theory		pp. 260	in
American Mathematical Society, .	[1956]	«Bulletin of the American Mathematical Society::062», 62 (1956)	American Mathematical Society	Providence	1956
Montague, R. M.		Zermelo-Fraekel Set Theory is not a finite extension of Zermelo Set Theory		pp. 260	in
American Mathematical Society, .	[2][1961]	«Bulletin of the American Mathematical Society::062», 62 (1956)	American Mathematical Society	Providence	1956
Mostowski, A.		Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip		pp. 201-252	in
Polish Academy of Sciences, .	[1][1939]	«Fundamenta Mathematicae::032», 32 (1939)	Polish Academy of Sciences	Varsavia	1939
Mostowski, A.		Axiom of choice for finite sets		pp. 137-168	in
Polish Academy of Sciences, .	[2][1945]	«Fundamenta Mathematicae::033», 33 (1945)	Polish Academy of Sciences	Varsavia	1945
Mostowski, A.		The present state of investigations on the Foundations of mathematics			in
Państwowe Wydawnictwo Naukowe, .	[3][1955]	«Rozprawy Matematyczne», IX (1955)	Państwowe Wydawnictwo Naukowe	Varsavia	1955
Mostowski, A.		Quelques Observations sur l'usage des Methodes non-finitistes dans la metamathématique			in
CNRS, .	[4][1958]	«Le raisonnement en mathématiques et en sciences expérimentales»	CNRS	Paris	1958
Von Neumann, J.	[1][1961]	Collected Works 01 Vol I.	Pergamon Press	Oxford	1961
Nidditch, P. H.	[1][1962]	The Development of Mathematical Logic	RKP	London	1962
Peano, G. Unione Matematica Italiana, . (ed.)	[1][1958]	Opere scelte 02 Volume II. Logica matematica - Interlingua ed algebra della grammatica	Edizioni Cremonese	Roma	1958
Peano, G.	[2][1908]	Formulario matematico 05 Editio V	Bocca	Milano	1908
Poincaré, J.-H.	[1][1902]	La science et l'hypothèse	Éditions Flammarion	Paris	1902
Poincaré, J.-H.	[2][1905]	La valeur de la Science	Éditions Flammarion	Paris	1905
Poincaré, J.-H.	[3][1908]	Science et méthod	Éditions Flammarion	Paris	1908
Preti, G.	[1][1957]	Praxis ed empirismo	Einaudi	Torino	1957
Van Orman Quine, W.		On the Axiom of reducibility			in
	[1][1936]	«Mind::045», 45 (1936)			1936
Van Orman Quine, W.		Logic Based on Inclusion and Abstraction		pp. 145-152	in
Association for Symbolic Logic, .	[2][1937]	«Journal of Symbolic Logic::002», 2 (1937)	Association for Symbolic Logic	Storrs	1937
Van Orman Quine, W.		On the Theory of Types		pp. 125-139	in
Association for Symbolic Logic, .	[3][1938]	«Journal of Symbolic Logic::003», 3 (1938)	Association for Symbolic Logic	Storrs	1938
Van Orman Quine, W.	[4][1940]	Mathematical Logic	W. W. Norton Publishing Company	New York	1940
Van Orman Quine, W.	[4][1951]	Mathematical Logic	Harvard University Press	Cambridge	1951
Van Orman Quine, W.	[5][1950]	Methods of Logic	Holt	New York	1950
Van Orman Quine, W.	[5][1960]	Manuale di logica	Feltrinelli	Milano	1960.05
Van Orman Quine, W.	[6][1953]	From a Logical Point of View	Harvard University Press	Cambridge	1953
Van Orman Quine, W.		Unification of Universes in Set Theory		pp. 0267-0279	in
Association for Symbolic Logic, .	[7][1956]	«Journal of Symbolic Logic::021», 21 (1956)	Association for Symbolic Logic	Storrs	1956
Ramsey, F. P. Braithwaite, R. B. (ed.)	[1][1931]	The Foundations of Mathematics and Other Logical Essays	Routledge	London	1931
Ramsey, F. P.	[1][1964]	I fondamenti della matematica e altri scritti di logica	Feltrinelli	Milano	1964
Robinson, R. M.		The Theory of Classes. A Modification of von Neumann's system		pp. 29-36	in
Association for Symbolic Logic, .	[1][1937]	«Journal of Symbolic Logic::002», 2 (1937)	Association for Symbolic Logic	Storrs	1937
Rosser, J. B. Burali-Forti, C.		The Burali-Forti Paradox		pp. 001-017	in
Association for Symbolic Logic, .	[1][1942]	«Journal of Symbolic Logic::007», 7 (1942)	Association for Symbolic Logic	Storrs	1942
Rosser, J. B.	[2][1953]	Logic for mathematicians		New York	1953
Russell, F. (. R.	[1][1903]	The Principles of Mathematics	Cambridge University Press	Cambridge	1903
Russell, B. A. W. (. R.		On some difficulties in the theory of transfinite numbers and order types		pp. 29-53	in
London Mathematical Society, .	[2][1906]	«Proceedings of the London Mathematical Society::004», 4 (1906)	London Mathematical Society	London	1906
Russell, B. A. W. (. R.		Mathematical logic as based on the theory of types		pp. 222-262	in
John Hopkins University Press, .	[3][1908]	«American Journal of Mathematics::030», 30 (1908)	John Hopkins University Press	Baltimore city	1908
Russell, F. (. R.	[4][1919]	Introduction to Mathematical Philosophy		London	1919
Russell, B. A. W. (. R.	[4][1948]	Introduzione alla filosofia matematica	Longanesi	Milano	1963.04
Russell, B. A. W. (. R. Whitehead, A. N.	[1][1910][I]	Principia Mathematica 01 Vol. I.	Cambridge University Press	Cambridge	1910
Russell, B. A. W. (. R. Whitehead, A. N.	[1][1910][II]	Principia Mathematica 02 Vol. II.	Cambridge University Press	Cambridge	1912
Russell, B. A. W. (. R. Whitehead, A. N.	[1][1910][III]	Principia Mathematica 03 Vol. III.	Cambridge University Press	Cambridge	1913
Russell, B. A. W. (. R. Whitehead, A. N.	[1][1925][I]	Principia Mathematica 01 Vol. I.	Cambridge University Press	Cambridge	1925
Russell, B. A. W. (. R. Whitehead, A. N.	[1][1925][II]	Principia Mathematica 02 Vol. II.	Cambridge University Press	Cambridge	1927
Russell, B. A. W. (. R. Whitehead, A. N.	[1][1925][III]	Principia Mathematica 03 Vol. III.	Cambridge University Press	Cambridge	1927
Schlipp, P. A.	[1][1944]	The Philosophy of Bertrand Russell	Northwestern University Press	Evanston	1944
Schütte, K.	[1][1960]	Beweistheorie	Springer-Verlag	Berlin	1960
Sierpiński, W.	[1][1958]	Cardinal and ordinal numbers	Państwowe Wydawnictwo Naukowe	Varsavia	1958
Skolem, T. A.		Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre		pp. 217-232	in
	[1][1923]	«Wissensch. Vorträge gehalten auf dem 5. Kongr. der skand. Mathematiker in Helsingfors 1922»		Helsinki	1923
Skolem, T. A.		Über einige Grundlagenfragen der Mathematik		pp. 1-49	in
	[2][1929]	«Skrifter utgit det Norske Vod.-Akad. i Oslo I.»			1929
Skolem, T. A.		Einige Bemerkungen zu der Abhandlung von E. Zermelo: «Über die Definitheit in der Axiomatik»		pp. 337-441	in
Polish Academy of Sciences, .	[3][1923]	«Fundamenta Mathematicae::015», 15 (1930)	Polish Academy of Sciences	Varsavia	1930
Skolem, T. A.		Sur la portée du théorème de Löwenheim-Skolem		pp. 25-47	in
	[4][1941]	«Les Entretiens de Zurich sur les Fondements et la Méthode des Sciences Mathématiques», 6-9 Décembre 1938		Zürich	1941
Skolem, T. A.		Une relativisation des notions mathématiques fondamentales		pp. 13-17	in
CNRS, .	[5][1958]	«Le raisonnement en mathématiques et en sciences expérimentales»	CNRS	Paris	1958
Skolem, T. A.		Zemerkungen zum Komprensionsaxiom		pp. 001-017	in
	[6][1957]	«Zeitschrift für mathematische Logik und Grundlagen der Mathematik::003», 3 (1957)			1957
Skolem, T. A.	[7][1962]	Abstract Set Theory	University of Notre Dame Press	Notre Dame	1962
Spector, C.		Recursive Well-orderings		pp. 151-163	in
Association for Symbolic Logic, .	[1][1955]	«Journal of Symbolic Logic::020», 20, n. 2 (1955)	Association for Symbolic Logic	Storrs	1955.06
Specker, E. P.		Zur Axiomatik der Mengenlehre (Fundierungs- und Auswahlaxiom)		pp. 173-210	in
	[1][1957]	«Zeitschrift für mathematische Logik und Grundlagen der Mathematik::003», 3 (1957)			1957
Suppes, P. C.	[1][1957]	Introduction to Logic	Van Nostrand Reinhold	Princeton	1957
Suppes, P. C.	[2][1960]	Axiomatic Set Theory	Van Nostrand Reinhold	Princeton	1960
Tarski, A.	[1][1956]	Logic, Semantics, Metamathematics. Papers from 1923 to 1938	Oxford University Press	Oxford	1956
Tarski, A.		Über unerreichbare Kardinalzahlen		pp. 068-089	in
Polish Academy of Sciences, .	[2][1938]	«Fundamenta Mathematicae::030», 30 (1938)	Polish Academy of Sciences	Varsavia	1938
Tarski, A.		The notion of rank in axiomatic set theory and some of its applications (Abstract)		pp. 443	in
American Mathematical Society, .	[4][1955]	«Bulletin of the American Mathematical Society::061», 61 (1955)	American Mathematical Society	Providence	1955
Thiele, E.-J.		Ein axiomatisches System der Mengenlehre nach Zermelo und Fraenkel		pp. 173-195	in
	[1][1955]	«Zeitschrift für mathematische Logik und Grundlagen der Mathematik::001», 1 (1955)			1955
Waismann, F.	[1][1936]	Einführung in das mathematische Denken		Vienna	1936
Waismann, F.	[1][1939]	Introduzione al pensiero matematico	Einaudi	Torino	1942.073
Wang, H.	[1][1963]	A Survey of Mathematical Logic	Science Press	Beijing	1963
Wang, H.		Process and existence in mathematics		pp. 328-351	in
	[2][1961]	«Essays on the Foundations of Mathematics», dedicated to A. A. Fraenkel	Magnes Press	Oxford	1961
Wang, H. McNaughton, R. F. J.	[1][1953]	Les sistèmes axiomatiques de la théorie des ensembles	Gauthier-Villars	Paris	1953
Weyl, H. K. H. ".	[1][1918]	Das Kontinuum. Kritische Untersuchungen über die Grundlagen der Analysis	De Gruyter	Berlin	1918
Weyl, H. K. H. ".	[1][1932]	Das Kontinuum. Kritische Untersuchungen über die Grundlagen der Analysis	De Gruyter	Berlin	1932
Weyl, H. K. H. ".		Über die neue Grundlagenkrisis der Mathematik		pp. 037-079	in
Springer-Verlag, .	[2][1921]	«Mathematische Zeitschrift::010», 10 (1921)	Springer-Verlag	Berlin	1921
Weyl, H. K. H. ".		Über die neue Grundlagenkrisis der Mathematik		pp. 211-248	in
Weyl, H. K. H. ".	[2][1956]	«Selecta Hermann Weyl»	Birkhäuser Verlag	Basel	1956
Weyl, H. K. H. ".		Nachtrag Juni 1955			in
Weyl, H. K. H. ".	[2][1956][b]	«Selecta Hermann Weyl»	Birkhäuser Verlag	Basel	1956
Weyl, H. K. H. ".	[3][1949]	Philosophy of Mathematics and Natural Science	Princeton University Press	Princeton	1949
Zermelo, E. F. F.		Beweis dass jede Menge wohlgeordnet werden kann		pp. 514-516	in
Springer-Verlag, .	[1][1904]	«Mathematische Annalen::059», 59 (1904)	Springer-Verlag	Berlin	1904
Zermelo, E. F. F.		Neuer Beweis für die Wohlordnung		pp. 107-128	in
Springer-Verlag, .	[2][1908]	«Mathematische Annalen::065», 65 (1908)	Springer-Verlag	Berlin	1908
Zermelo, E. F. F.		Untersuchungen über die Grundlagen der Mengenlehre I		pp. 261-281	in
Springer-Verlag, .	[3][1908]	«Mathematische Annalen::065», 65 (1908)	Springer-Verlag	Berlin	1908
Zermelo, E. F. F.		Über den Begriff der Definitheit in der Axiomatik		pp. 339-344	in
Polish Academy of Sciences, .	[4][1929]	«Fundamenta Mathematicae::014», 14 (1929)	Polish Academy of Sciences	Varsavia	1929
Zermelo, E. F. F.		Über Grenzzahlen und Mengenbereiche			in
Polish Academy of Sciences, .	[5][1930]	«Fundamenta Mathematicae::016», 16 (1930)	Polish Academy of Sciences	Varsavia	1930
Zermelo, E. F. F.		Grundlagen einer allgemeinen theorie der mathematischen Satzsysteme I		pp. 136-146	in
Polish Academy of Sciences, .	[6][1935]	«Fundamenta Mathematicae::025», 25 (1935)	Polish Academy of Sciences	Varsavia	1935

bibliografie parziali unificate: (191 opere)

Autore	Rif.	Titolo	Editore	Città	Anno
Ackermann, W. F.		Die Widerspruchsfreiheit der allgemeinen Mengenlehre		pp. 305-315	in
Springer-Verlag, .	[1][1937]	«Mathematische Annalen::114», 114 (1937)	Springer-Verlag	Berlin	1937
Ackermann, W. F.		Mengentheoretische Begründung der Logik		pp. 01-22	in
Springer-Verlag, .	[2][1937]	«Mathematische Annalen::115», 115 (1937)	Springer-Verlag	Berlin	1937
Ackermann, W. F.		Zur Axiomatik der Mengenlehre		pp. 336-345	in
Springer-Verlag, .	[3][1956]	«Mathematische Annalen::131», 131 (1956)	Springer-Verlag	Berlin	1956
Anderson, A. R.		What do symbols symbolize? Platonism		pp. 137-150	in
Interscience Publishers, .	[1][1963]	«Philosophy of Science - The Delaware Seminar», vol. I.	Interscience Publishers	New York	1963
Bachmann, H.	[1][1955]	Transfinite Zahlen	Springer-Verlag	Berlin	1955
Bachmann, H.		Stationen im Transfiniten		pp. 101-116	in
	[2][1956]	«Zeitschrift für mathematische Logik und Grundlagen der Mathematik::001», 2 (1956)			1956
Baer, R.		Über ein Vollständigkeitsaxiom in der Mengenlehre		pp. 536-539	in
Springer-Verlag, .	[1][1928]	«Mathematische Zeitschrift::027», 27 (1928)	Springer-Verlag	Berlin	1928
Baer, R.		Zur Axiomatik der Kardinalzahlarithmetik		pp. 381-396	in
Springer-Verlag, .	[2][1929]	«Mathematische Zeitschrift::029», 29 (1929)	Springer-Verlag	Berlin	1929
Behmann, H.		Zu den Widersprüchen der Logik und Mengenlehre		pp. 37-48	in
	[1][1931]	«Jahresberichte der Deutschen Mathematiker Vereinigung::040», 40 (1931)			1931
Bernays, P. Fraenkel, A. A. H.	[5][1958]	Axiomatic Set Theory	North-Holland Publishing Company	Amsterdam	1958
Bernays, P.		Sur le platonisme dans les mathématiques		pp. 52-69	in
	[1][1935]	«L'Enseignement mathématique::034», 34 (1935)			1935
Bernays, P.		A system of axiomatic set theory (I)		pp. 65-77	in
Association for Symbolic Logic, .	[2][1937][I]	«Journal of Symbolic Logic::002», 2 (1937)	Association for Symbolic Logic	Storrs	1937
Bernays, P.		A system of axiomatic set theory (II)		pp. 01-17	in
Association for Symbolic Logic, .	[2][1941][II]	«Journal of Symbolic Logic::006», 6 (1941)	Association for Symbolic Logic	Storrs	1941
Bernays, P.		A system of axiomatic set theory (III)		pp. 065-089	in
Association for Symbolic Logic, .	[2][1942][III]	«Journal of Symbolic Logic::007», 7 (1942)	Association for Symbolic Logic	Storrs	1942
Bernays, P.		A system of axiomatic set theory (V)		pp. 089-106	in
Association for Symbolic Logic, .	[2][1943][V]	«Journal of Symbolic Logic::008», 8 (1943)	Association for Symbolic Logic	Storrs	1943
Bernays, P.		A system of axiomatic set theory (VI)		pp. 0065-0079	in
Association for Symbolic Logic, .	[2][1948][VI]	«Journal of Symbolic Logic::013», 13 (1948)	Association for Symbolic Logic	Storrs	1948
Bernays, P.		A system of axiomatic set theory (VII)		pp. 0081-0096	in
Association for Symbolic Logic, .	[2][1954][VII]	«Journal of Symbolic Logic::019», 19 (1954)	Association for Symbolic Logic	Storrs	1954
Bernays, P.		Thesen und Bemerkungen zu den philosophischen Fragen und zur Situation der logisch-mathematischen Grundlagenforschung		pp. 104-110	in
	[3][1937]	«Travaux du IX^e Congrès international de Philosophie», vol. VI.	Hermann	Paris	1937
Bernays, P.		Bemerkungen zur Grundlagenfrage		pp. 83-87	in
Gonseth, F.	[4][¹939]	«Philosophie mathématique. Avec cinq déclarations de A. Church», W. Ackermann, A. Heyting, P. Bernays, L. Chwistek	Hermann	Paris	1939
Bernays, P.		Die hohen Unendlichkeiten un die Axiomatik der Mengenlehre		pp. 011-020	in
	[6][1961]	«Infinitistic Methods»	Pergamon Press	Oxford	1961
Bernays, P.		Zur Frage der Unendlichkeitschemata in der axiomatischen Mengenlehre		pp. 003-049	in
	[7][1961]	«Essays on the Foundations of Mathematics», dedicated to A. A. Fraenkel	Magnes Press	Oxford	1961
Beth, E. W.	[1][1955]	Les fondements logiques des matématiques	Gauthier-Villars	Paris	1955
Beth, E. W.	[1][1963]	I fondamenti logici della matematica	Feltrinelli	Milano	1963.033
Beth, E. W.	[2][1956]	L'existence en mathématiques	Gauthier-Villars	Paris	1956
Beth, E. W.	[3][1957]	La crise de la raison et la logique	Gauthier-Villars	Paris	1957
Beth, E. W.	[4][1959]	The Foundations of Mathematics	North-Holland Publishing Company	Amsterdam	1959
Beth, E. W.	[5][1962]	Formal Methods	D. Reidel	Dordrecht	1962
Brouwer, L. E. J. B.	[1][1907]	Over de Grondslagen der Wiskunde, Dissertatie	Vrije Universiteit Amsterdam	Amsterdam	1907
Brouwer, L. E. J. B.		Intuitionisme en Formalisme		pp. 081-096	in
American Mathematical Society, .	[2][1914]	«Bulletin of the American Mathematical Society::020», 20 (1914)	American Mathematical Society	Providence	1914
Brouwer, L. E. J. B.		Zur Begründung der intuitionistischen Mathematik (I)		pp. 244-257	in
Springer-Verlag, .	[3][1925]	«Mathematische Annalen::093», 93 (1925)	Springer-Verlag	Berlin	1925
Brouwer, L. E. J. B.		Zur Begründung der intuitionistischen Mathematik (II)		pp. 453-472	in
Springer-Verlag, .	[3][1926]	«Mathematische Annalen::095», 95 (1926)	Springer-Verlag	Berlin	1926
Brouwer, L. E. J. B.		Zur Begründung der intuitionistischen Mathematik (III)		pp. 451-488	in
Springer-Verlag, .	[3][1927]	«Mathematische Annalen::096», 96 (1927)	Springer-Verlag	Berlin	1927
Burali-Forti, C.		Una questione sui numeri transfiniti		pp. 154-164	in
Circolo Matematico di Palermo, .	[1][1897]	«Rendiconti del Circolo Matematico di Palermo:011», 11 (1897)	Circolo Matematico di Palermo	Palermo	1897
Cantor, G. F. L. P. Zermelo, E. F. F. (ed.)	[1][1932]	Gesammelte Abhandlungen mathematischen und philosophischen Inhalts	Springer-Verlag	Berlin	1932
Cantor, G. F. L. P. Zermelo, E. F. F.		Zu den Grundlagen der Cantor-Zermeloschen Mengelehre		pp. 230-237	in
Springer-Verlag, .	[1][1922]	«Mathematische Annalen::086», 86 (1922)	Springer-Verlag	Berlin	1922
Carnap, R.	[1][1934]	Die Logische Syntax der Sprache	Springer-Verlag	Vienna	1934
Carnap, R.	[1][1937]	The Logical Syntax of Language	RKP	London	1937
Carnap, R.	[1][1961]	La sintassi logica del linguaggio	Silva	Milano	1961.01
Carnap, R.		Foundations of Logic and Mathematics			in
Carnap, R.	[2][1937]	«International Encyclopedia of Unified Science», Vol. I, no. 3	University of Chicago Press	Chicago	1937
Carnap, R.	[2][1956]	Fondamenti di logica e matematica	Paravia	Torino	1956
Carnap, R.		Empirism, Semantics and Ontology		pp. 20-40	in
De Boeck, .	[3][1950]	«Revue Internationale de Philosophie»	De Boeck	Bruxelles	1950
Casari, E.	[1][1960]	Lineamenti di logica matematica	Feltrinelli	Milano	1964.113
Casari, E.		Cantorismo			in
Mondadori, .	[3][1983[a]	«Enciclopedia della scienza e della tecnica 01 Vol. 1»	Mondadori	Milano
Cassirer, E.	[1][1910]	Substanzbegriff und Funktionsbegriff		Berlin	1910
Cassirer, E.	[1][1923]	Substance and function, and Einstein's theory of relativity	Open Court	Chicago	1923
Cassirer, E.	[1][1956]	Substance and function, and Einstein's theory of relativity	Dover	New York	1953
Cassirer, E.	[1][1958]	Storia della filosofia moderna 04 IV. Il problema della conoscenza nei sistemi posthegeliani	Einaudi	Torino	1963.1008
Cavaillès, J.	[1][1938]	Remarques sur la formation de la théorie abstraite des ensembles	Hermann	Paris	1938
Cavaillès, J.	[2][1938]	Méthode axiomatique et formalisme	Hermann	Paris	1938
Church, A.		[1][1927]		pp. 178-208	in
American Mathematical Society, .	[1][1927]	«Transactions of the American Mathematical Society::029», 29 (1927)	American Mathematical Society	Providence	1927
Church, A.		A set of postulates for the foundation of Logic (I)		pp. 346-366	in
Princeton University Press, .	[2][1932]	«Annals of Mathematics::033», 33 (1932)	Princeton University Press	Princeton	1932
Church, A.		A set of postulates for the foundation of Logic (II)		pp. 839-864	in
Cassirer, E.	[2][1933]	«Annals of mathematics::034», 34 (1933)	Princeton University Press	Princeton	1933
Church, A.		The Richard Paradox		pp. 356-361	in
Mathematical Association of America, .	[3][1934]	«American Mathematical Monthly::041», 41 (1934)	Taylor & Francis		1934
Church, A.		A formulation of the simple theory of types		pp. 56-68	in
Association for Symbolic Logic, .	[4][1940]	«Journal of Symbolic Logic::005», 5 (1940)	Association for Symbolic Logic	Storrs	1940
Church, A.	[5][1944]	Introduction to Mathematical Logic, Part I	Princeton University Press	Princeton	1944
Church, A.		Propositions and Sentences		pp. 01-12	in
	[6][1956]	«The Problem of Universals»	University of Notre Dame Press	Notre Dame	1956
Church, A.		Logic			in
	[7][1962]	«Encyclopedia Britannica::000», 00			1962
Chwistek, L.		Über die Antinomien der Prinzipien der Mathematik		pp. 236-243	in
Springer-Verlag, .	[1][1922]	«Mathematische Zeitschrift::014», 14 (1922)	Springer-Verlag	Berlin	1922
Chwistek, L.		Die nominalistiche Grundlegung der Mathematik		pp. 367-388	in
Springer-Verlag, .	[2]1933]	«Erkenntnis::003», 3 (1933)	Springer-Verlag	Berlin	1933
Curry, H. B.	[1][1951]	Outlines of a formalist philosophy of mathematics	North-Holland Publishing Company	Amsterdam	1951
Curry, H. B.	[2][1963]	Foundations of mathematical logic	McGraw-Hill Book Company	New York	1963
Dedekind, J. W. R. Zariski, O. (ed.)	[1][1926]	Essenza e significato dei numeri. Continuità e numeri irrazionali	Albert Stock	Roma	1926
Dedekind, J. W. R.	[1][1960]	Was sind und was sollen die Zahlen	Friedr. Vieweg & Sohn	Braunschweig	1960
Dieudonné, J. A. E.		Les méthodes axiomatiques modernes et les fondements des mathématiques			in
Le Lionnais, F. (ed.)	[1][1962]	«Les grande courants de la pensée mathématiques»	Blanchard	Paris	1962
Finsler, P.		Gibt es Widersprüche in der Mathematik?		pp. 143-155	in
	[1][1925]	«Jahresberichte der Deutschen Mathematiker Vereinigung::034», 34 (1925)			1925
Finsler, P.		Über die Grundlegung der Mengenlehre. I. Teil. Die Mengen und ihre Axione		pp. 683-713	in
Springer-Verlag, .	[2][1926]	«Mathematische Zeitschrift::025», 25 (1926)	Springer-Verlag	Berlin	1926
Fraenkel, A. A. H.		Paul Bernays und die Begründung der Mengenlehre		pp. 274-279	in
	[10][1958]	«Dialectica::012», 12 (1958)			1958
Fraenkel, A. A. H.		Philosophie der Mathematik			in
Heinemann, F. (ed.)	[11][1951]	«Die Philosophie im XX. Jahrundert»	Ernst Klett Verlag	Stuttgart	1951
Fraenkel, A. A. H.	[13][1959]	Mengenlehre der Logik		Berlin	1959
Fraenkel, A. A. H.		Epistemology and Logic		pp. 06-10	in
	[14][1962]	«Logic and Language. Studies dedicated to Professor Rudolf Carnap on the Occasion of his seventieth Birthday»	D. Reidel	Dordrecht	1962
Fraenkel, A. A. H.		Der Begriff ‘definit’ und die Unabhängigkeit des Auswahlaxioms		pp. 253-257	in
	[2][1922]	«Sitzungsberichte der Preussischen Akademie der Wissenschaften - Physikalisch-mathematische Klasse»			1922
Fraenkel, A. A. H.		Die neueren Ideen zur Grundlegung der Analysis und Mengenlehre		pp. 097-103	in
	[3][1924]	«Jahresberichte der Deutschen Mathematiker Vereinigung::033», 33 (1924)			1924
Fraenkel, A. A. H.		Untersuchungen über die Grundlagen der Mengenlehre		pp. 250-273	in
Springer-Verlag, .	[4][1925]	«Mathematische Zeitschrift::022», 22 (1925)	Springer-Verlag	Berlin	1925
Fraenkel, A. A. H.	[5][1928]	Entleitung in die Mengenlehre	Springer-Verlag	Berlin	1928
Fraenkel, A. A. H.	[9][1953]	Abstract Set Theory	North-Holland Publishing Company	Amsterdam	1953
Fraenkel, A. A. H.	[9][1961]	Abstract Set Theory	North-Holland Publishing Company	Amsterdam	1961
Frege, F. L. G. Geymonat, L. (ed.)	[4][1948]	Aritmetica e logica	Einaudi	Torino	1948
Frege, F. L. G. Patzig, G. (ed.)	[3][1962]	Funktion, Begriff, Bedeutung. Fünf logische Studien	Vandenhoeck & Ruprecht	Gottinga	1962
Frege, F. L. G.	[1][1963]	Begriffsschrift. Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens		Hildesheim	1963
Frege, F. L. G.	[1][1979]	Begriffsschrift. Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens	Nebert	Halle an Der Saale	1879
Frege, F. L. G.	[2][1893]	Grundgesetze der Arithmetik. Begriffsschriftlich abgeleitet 01 Bd. 1	Pohle	Jena	1893
Frege, F. L. G.	[2][1903]	Grundgesetze der Arithmetik. Begriffsschriftlich abgeleitet 02 Bd. 2	Pohle	Jena	1903
Frege, F. L. G.	[2][1962]	Grundgesetze der Arithmetik. Begriffsschriftlich abgeleitet		Hildesheim	1962
Gödel, K. F.		Zur intuitionistischen Arithmetik und Zahlentheorie		pp. 34-38	in
Menger, K. (ed.)	[1][1933]	«Ergebnisse eines Mathematischen Kolloquiums::4», 4 (1933)			1933
Gödel, K. F.	[3][1940]	The Consistency of the Axiom of Choice and the generalized Continuum-hypothesis with the Axioms of Set Theory	Princeton University Press	Princeton	1940
Gödel, K. F.		Russell's mathematical logic		pp. 123-153	in
Schlipp, P. A.	[4][1944]	«The Philosophy of Bertrand Russell»	Northwestern University Press	Evanston	1944
Gödel, K. F.		What is Cantor's continuum problem?		pp. 515-525	in
Mathematical Association of America, .	[5][1947]	«American Mathematical Monthly::054»	Taylor & Francis		1947
Gentzen, G. K. E.		Die Widerspruchsfreiheit der Stufenlogik		pp. 357-366	in
Springer-Verlag, .	[1][1936]	«Mathematische Zeitschrift::041», 41 (1936)	Springer-Verlag	Berlin	1936
Gentzen, G. K. E.		Die gegenwärtige Lage in der mathematischen Grundlagenforschung		pp. 05-18	in
	[3][1938]	«Forschungen zur Logik NF», Nr. 4	Hirzel	Leipzig	1938
Geymonat, L.	[1][1945]	Studi per un nuovo razionalismo	Chiantore	Torino	1945
Geymonat, L.	[2][1947]	Storia e filosofia dell'analisi infinitesimale	Levrotto & Bella	Torino	1947
Geymonat, L.	[3][1960]	Filosofia e filosofia della scienza	Feltrinelli	Milano	1961.0417
Goodman, N. Van Orman Quine, W.		Steps toward a constructive nominalism		pp. 105-112	in
Association for Symbolic Logic, .	[1][1947]	«Journal of Symbolic Logic::012», 12 (1947)	Association for Symbolic Logic	Storrs	1947
Goodman, N.	[1][1951]	The Structure of Appearance	Harvard University Press	Cambridge	1951
Goodstein, R. L.	[1][1951]	Constructive Formalism, Essays on the foundations of mathematics	University of Leicester	Leicester	1951
Grzegorgzyk, A.		Elementary definable Analysis		pp. 311-338	in
Polish Academy of Sciences, .	[1][1954]	«Fundamenta Mathematicae::042», 42 (1954)	Polish Academy of Sciences	Varsavia	1954
Hasenjäger, G. F. R.	[1][1962]	Einführung in die Grundbegriffe und Probleme der modernen Logik	Alber	Freiburg	1962
Hermes, H. Markwald, W.		Grundlagen der Mathematik		pp. 01-89	in
Behnke, H. A. L. (ed.) Süss, W. (ed.) Fladt, K. (ed.)	[1][1962]	«Grundzüge der mathematik Bd. I»	Vandenhoeck & Ruprecht	Gottinga	1962
Hermes, H.	[1][1963]	Einführung in die mathematische Logik	Teubner	Stuttgart	1963
Hermes, J. G.		Mathmatische Logik			in
	[1][1962]	«Enzyklopädie der mathematischen Wissenschaften», Band I, Algebra und Zahlentheorie, 1. Teil, Heft 1, Teil I	Teubner	Leipzig	1962
Heyting, A.		Die formalen Regeln der intuitionistischen Logik		pp. 42-56	in
	[1][1930	«Sitzungsberichte der Preussischen Akademie der Wissenschaften - Physikalisch-mathematische Klasse»			1930
Heyting, A.	[3][1934][a]	Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie	Springer-Verlag	Berlin	1934
Heyting, A.	[3][1955][b]	Les fondements des mathématiques: intuitionnisme, théorie de la démonstration	Gauthier-Villars	Paris	1955
Heyting, A.	[4][1956]	Intuitionism. An Introduction	North-Holland Publishing Company	Amsterdam	1956
Hilbert, D. Ackermann, W. F.	[1][1928]	Grundzüge der theoretischen Logik	Springer-Verlag	Berlin	1928
Hilbert, D. Bernays, P.	[1][1934][I]	Grundlagen der Mathematik 01 Bd. I.	Springer-Verlag	Berlin	1934
Hilbert, D. Bernays, P.	[1][1939][II]	Grundlagen der Mathematik 02 Bd. II.	Springer-Verlag	Berlin	1939
Hilbert, D.	[1930]	Grundlagen der Geometrie	Teubner	Stuttgart	1930
Hilbert, D.	[1956]	Gesammelte Abhandlungen 01 Band I.	Springer-Verlag	Berlin	1932
Hilbert, D.	[2][1935]	Gesammelte Abhandlungen 03 Band III.	Springer-Verlag	Berlin	1935
Kant, I.	[1][1781][a]	Kritik der Reinen Vernunft			1781
Kant, I.	[1][1781][b]	Kritik der Reinen Vernunft			1787
Kant, I.	[1][1953][c]	Kritik der Reinen Vernunft	Felix Meiner	Hamburg	1953
Kemeny, J. G.	[1][1959]	A Philosopher looks at science		Princeton	1959
Kleene, S. C.	[1][1952]	Introduction to Metamathematics	North-Holland Publishing Company	Amsterdam	1952
Kneale, W. C. Hurst Kneale, M.	[1][1962]	The Development of Logic	Oxford University Press	Oxford	1962
Kneebone, G. T.	[1][1963]	Mathematical Logic and the Foundations of MAthematics	David Van Nostrand Company	Princeton	1963
Kronecker, L. Hensel, K. W. S. (ed.)	[1][1899]	Werke 03 Band III.	Teubner	Leipzig	1899
Kuratowski, K.		Sur la notion d'ordre dans la théorie des ensembles		pp. 161-171	in
Polish Academy of Sciences, .	[1][1921]	«Fundamenta Mathematicae::002», 2 (1921)	Polish Academy of Sciences	Varsavia	1921
Levi, B.		Intorno alla teoria degli aggregati		pp. 863-868	in
	[1][1902]	«Rendiconti del Regio Istituto Lombardo di Scienza e Letteratura», 35 (1902)			1902
Levi, B.		Antinomie logiche?		pp. 187-216	in
	[2][1908]	«Annali di Matematica pura e applicata», 15 (1908)			1908
Mendelson, E.		Some Proofs of Independence in Axiomatic Set Theory		pp. 0291-0303	in
Association for Symbolic Logic, .	[1][1956]	«Journal of Symbolic Logic::021», 21 (1956)	Association for Symbolic Logic	Storrs	1956
Mendelson, E.	[2][1964]	Introduction to Mathematical Logic			1964
Meschkowski, H.	[1][1960]	Wandlungen des mathematischen Denkens	Friedr. Vieweg & Sohn	Braunschweig	1960
Meschkowski, H.	[1][1963]	Mutamenti nel pensiero matematico	Boringhieri	Torino	1963.06
Mirimanoff, D. S.		Les antinomies de Russell et de Burali-Forti et le problème fondamental de la theorie des ensembles		pp. 037-052	in
	[1][1917]	«L'Enseignement mathématique::019», 19 (1917)			1917
Mirimanoff, D. S.		Remarques sur la théorie des ensembles et les antinomies cantoriennes (II)		pp. 29-52	in
	[2][1920]	«L'Enseignement mathématique::021», 21 (1920)			1920
Montague, R. M.		Zermelo-Fraekel Set Theory is not a finite extension of Zermelo Set Theory		pp. 260	in
American Mathematical Society, .	[1956]	«Bulletin of the American Mathematical Society::062», 62 (1956)	American Mathematical Society	Providence	1956
Mostowski, A.		Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip		pp. 201-252	in
Polish Academy of Sciences, .	[1][1939]	«Fundamenta Mathematicae::032», 32 (1939)	Polish Academy of Sciences	Varsavia	1939
Mostowski, A.		Axiom of choice for finite sets		pp. 137-168	in
Polish Academy of Sciences, .	[2][1945]	«Fundamenta Mathematicae::033», 33 (1945)	Polish Academy of Sciences	Varsavia	1945
Mostowski, A.		The present state of investigations on the Foundations of mathematics			in
Państwowe Wydawnictwo Naukowe, .	[3][1955]	«Rozprawy Matematyczne», IX (1955)	Państwowe Wydawnictwo Naukowe	Varsavia	1955
Mostowski, A.		Quelques Observations sur l'usage des Methodes non-finitistes dans la metamathématique			in
CNRS, .	[4][1958]	«Le raisonnement en mathématiques et en sciences expérimentales»	CNRS	Paris	1958
Nidditch, P. H.	[1][1962]	The Development of Mathematical Logic	RKP	London	1962
Peano, G. Unione Matematica Italiana, . (ed.)	[1][1958]	Opere scelte 02 Volume II. Logica matematica - Interlingua ed algebra della grammatica	Edizioni Cremonese	Roma	1958
Peano, G.	[2][1908]	Formulario matematico 05 Editio V	Bocca	Milano	1908
Poincaré, J.-H.	[1][1902]	La science et l'hypothèse	Éditions Flammarion	Paris	1902
Poincaré, J.-H.	[2][1905]	La valeur de la Science	Éditions Flammarion	Paris	1905
Poincaré, J.-H.	[3][1908]	Science et méthod	Éditions Flammarion	Paris	1908
Preti, G.	[1][1957]	Praxis ed empirismo	Einaudi	Torino	1957
Ramsey, F. P. Braithwaite, R. B. (ed.)	[1][1931]	The Foundations of Mathematics and Other Logical Essays	Routledge	London	1931
Ramsey, F. P.	[1][1964]	I fondamenti della matematica e altri scritti di logica	Feltrinelli	Milano	1964
Rosser, J. B.	[2][1953]	Logic for mathematicians		New York	1953
Russell, B. A. W. (. R. Whitehead, A. N.	[1][1910][III]	Principia Mathematica 03 Vol. III.	Cambridge University Press	Cambridge	1913
Russell, B. A. W. (. R. Whitehead, A. N.	[1][1910][II]	Principia Mathematica 02 Vol. II.	Cambridge University Press	Cambridge	1912
Russell, B. A. W. (. R. Whitehead, A. N.	[1][1910][I]	Principia Mathematica 01 Vol. I.	Cambridge University Press	Cambridge	1910
Russell, B. A. W. (. R. Whitehead, A. N.	[1][1925][III]	Principia Mathematica 03 Vol. III.	Cambridge University Press	Cambridge	1927
Russell, B. A. W. (. R. Whitehead, A. N.	[1][1925][II]	Principia Mathematica 02 Vol. II.	Cambridge University Press	Cambridge	1927
Russell, B. A. W. (. R. Whitehead, A. N.	[1][1925][I]	Principia Mathematica 01 Vol. I.	Cambridge University Press	Cambridge	1925
Russell, B. A. W. (. R.		On some difficulties in the theory of transfinite numbers and order types		pp. 29-53	in
London Mathematical Society, .	[2][1906]	«Proceedings of the London Mathematical Society::004», 4 (1906)	London Mathematical Society	London	1906
Russell, B. A. W. (. R.		Mathematical logic as based on the theory of types		pp. 222-262	in
John Hopkins University Press, .	[3][1908]	«American Journal of Mathematics::030», 30 (1908)	John Hopkins University Press	Baltimore city	1908
Russell, B. A. W. (. R.	[4][1948]	Introduzione alla filosofia matematica	Longanesi	Milano	1963.04
Russell, F. (. R.	[1][1903]	The Principles of Mathematics	Cambridge University Press	Cambridge	1903
Russell, F. (. R.	[4][1919]	Introduction to Mathematical Philosophy		London	1919
Schütte, K.	[1][1960]	Beweistheorie	Springer-Verlag	Berlin	1960
Scholz, H. Hasenjäger, G. F. R.	[1][1961]	Grundzüge der mathematischen Logik	Springer-Verlag	Berlin	1961
Sierpiński, W.	[1][1958]	Cardinal and ordinal numbers	Państwowe Wydawnictwo Naukowe	Varsavia	1958
Skolem, T. A.		Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre		pp. 217-232	in
	[1][1923]	«Wissensch. Vorträge gehalten auf dem 5. Kongr. der skand. Mathematiker in Helsingfors 1922»		Helsinki	1923
Skolem, T. A.		Über einige Grundlagenfragen der Mathematik		pp. 1-49	in
	[2][1929]	«Skrifter utgit det Norske Vod.-Akad. i Oslo I.»			1929
Skolem, T. A.		Einige Bemerkungen zu der Abhandlung von E. Zermelo: «Über die Definitheit in der Axiomatik»		pp. 337-441	in
Polish Academy of Sciences, .	[3][1923]	«Fundamenta Mathematicae::015», 15 (1930)	Polish Academy of Sciences	Varsavia	1930
Skolem, T. A.		Sur la portée du théorème de Löwenheim-Skolem		pp. 25-47	in
	[4][1941]	«Les Entretiens de Zurich sur les Fondements et la Méthode des Sciences Mathématiques», 6-9 Décembre 1938		Zürich	1941
Skolem, T. A.		Zemerkungen zum Komprensionsaxiom		pp. 001-017	in
	[6][1957]	«Zeitschrift für mathematische Logik und Grundlagen der Mathematik::003», 3 (1957)			1957
Skolem, T. A.	[7][1962]	Abstract Set Theory	University of Notre Dame Press	Notre Dame	1962
Spector, C.		Recursive Well-orderings		pp. 151-163	in
Association for Symbolic Logic, .	[1][1955]	«Journal of Symbolic Logic::020», 20, n. 2 (1955)	Association for Symbolic Logic	Storrs	1955.06
Suppes, P. C.	[1][1957]	Introduction to Logic	Van Nostrand Reinhold	Princeton	1957
Suppes, P. C.	[2][1960]	Axiomatic Set Theory	Van Nostrand Reinhold	Princeton	1960
Tarski, A.	[1][1956]	Logic, Semantics, Metamathematics. Papers from 1923 to 1938	Oxford University Press	Oxford	1956
Tarski, A.		Über unerreichbare Kardinalzahlen		pp. 068-089	in
Polish Academy of Sciences, .	[2][1938]	«Fundamenta Mathematicae::030», 30 (1938)	Polish Academy of Sciences	Varsavia	1938
Tarski, A.		The notion of rank in axiomatic set theory and some of its applications (Abstract)		pp. 443	in
American Mathematical Society, .	[4][1955]	«Bulletin of the American Mathematical Society::061», 61 (1955)	American Mathematical Society	Providence	1955
Thiele, E.-J.		Ein axiomatisches System der Mengenlehre nach Zermelo und Fraenkel		pp. 173-195	in
	[1][1955]	«Zeitschrift für mathematische Logik und Grundlagen der Mathematik::001», 1 (1955)			1955
Van Orman Quine, W.		On the Axiom of reducibility			in
	[1][1936]	«Mind::045», 45 (1936)			1936
Van Orman Quine, W.		On the Theory of Types		pp. 125-139	in
Association for Symbolic Logic, .	[3][1938]	«Journal of Symbolic Logic::003», 3 (1938)	Association for Symbolic Logic	Storrs	1938
Van Orman Quine, W.	[4][1940]	Mathematical Logic	W. W. Norton Publishing Company	New York	1940
Van Orman Quine, W.	[4][1951]	Mathematical Logic	Harvard University Press	Cambridge	1951
Van Orman Quine, W.	[5][1950]	Methods of Logic	Holt	New York	1950
Van Orman Quine, W.	[5][1960]	Manuale di logica	Feltrinelli	Milano	1960.05
Van Orman Quine, W.	[6][1953]	From a Logical Point of View	Harvard University Press	Cambridge	1953
Von Neumann, J.	[1][1961]	Collected Works 01 Vol I.	Pergamon Press	Oxford	1961
Waismann, F.	[1][1936]	Einführung in das mathematische Denken		Vienna	1936
Waismann, F.	[1][1939]	Introduzione al pensiero matematico	Einaudi	Torino	1942.073
Wang, H. McNaughton, R. F. J.	[1][1953]	Les sistèmes axiomatiques de la théorie des ensembles	Gauthier-Villars	Paris	1953
Wang, H.	[1][1963]	A Survey of Mathematical Logic	Science Press	Beijing	1963
Weyl, H. K. H. ".	[1][1918]	Das Kontinuum. Kritische Untersuchungen über die Grundlagen der Analysis	De Gruyter	Berlin	1918
Weyl, H. K. H. ".	[1][1932]	Das Kontinuum. Kritische Untersuchungen über die Grundlagen der Analysis	De Gruyter	Berlin	1932
Weyl, H. K. H. ".		Über die neue Grundlagenkrisis der Mathematik		pp. 037-079	in
Springer-Verlag, .	[2][1921]	«Mathematische Zeitschrift::010», 10 (1921)	Springer-Verlag	Berlin	1921
Weyl, H. K. H. ".		Über die neue Grundlagenkrisis der Mathematik		pp. 211-248	in
Weyl, H. K. H. ".	[2][1956]	«Selecta Hermann Weyl»	Birkhäuser Verlag	Basel	1956
Weyl, H. K. H. ".	[3][1949]	Philosophy of Mathematics and Natural Science	Princeton University Press	Princeton	1949
Zermelo, E. F. F.		Beweis dass jede Menge wohlgeordnet werden kann		pp. 514-516	in
Springer-Verlag, .	[1][1904]	«Mathematische Annalen::059», 59 (1904)	Springer-Verlag	Berlin	1904
Zermelo, E. F. F.		Neuer Beweis für die Wohlordnung		pp. 107-128	in
Springer-Verlag, .	[2][1908]	«Mathematische Annalen::065», 65 (1908)	Springer-Verlag	Berlin	1908
Zermelo, E. F. F.		Über den Begriff der Definitheit in der Axiomatik		pp. 339-344	in
Polish Academy of Sciences, .	[4][1929]	«Fundamenta Mathematicae::014», 14 (1929)	Polish Academy of Sciences	Varsavia	1929
Zermelo, E. F. F.		Über Grenzzahlen und Mengenbereiche			in
Polish Academy of Sciences, .	[5][1930]	«Fundamenta Mathematicae::016», 16 (1930)	Polish Academy of Sciences	Varsavia	1930
Zermelo, E. F. F.		Grundlagen einer allgemeinen theorie der mathematischen Satzsysteme I		pp. 136-146	in
Polish Academy of Sciences, .	[6][1935]	«Fundamenta Mathematicae::025», 25 (1935)	Polish Academy of Sciences	Varsavia	1935

[i][b][c] CRONOLOGIA:

Generato il giorno: 2025-05-09T23:23:35+02:00 (Unix Time: 1746825815)
Precedente aggiornamento il giorno: 2025-05-09
Prima registrazione il giorno: 2021.0409
Aggiornato 16 volte
Dimensione approssimata della pagina: 194496 caratteri (body: 192802)
Versione: 1.0.50

Privacy Policy