American Postulate Theorists and Alfred Tarski
暂无分享,去创建一个
[1] H. T. H. P.. Einleitung in die Mengenlehre , 1929, Nature.
[2] Karen Hunger Parshall,et al. Eliakim Hastings Moore and the founding of a mathematical community in America, 1892–1902 , 1984 .
[3] E. V. Huntington. A set of postulates for abstract geometry, expressed in terms of the simple relation of inclusion , 1913 .
[4] John Corcoran. Gaps between Logical Theory and Mathematical Practice , 1973 .
[5] Alejandro Ricardo,et al. Bertrand Russell and the Origins of the Set-theoretic ‘Paradoxes’ , 1991 .
[6] The known and unknown H.M. Sheffer , 2000 .
[7] A. R. Turquette,et al. Logic, Semantics, Metamathematics , 1957 .
[8] L. M.-T.. Grundzüge der theoretischen Logik , 1929, Nature.
[9] Alfred Tarski,et al. Der Wahrheitsbegriff in den formalisierten Sprachen , 1935 .
[10] D. Hilbert,et al. Festschrift zur Feier der Enthüllung des Gauss-Weber-Denkmals in Göttingen , 2009 .
[11] Mojżesz Presburger,et al. On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation , 1991 .
[12] Michael Scanlan. Who Were the American Postulate Theorists , 1991, J. Symb. Log..
[13] G. L.. Collected Papers , 1912, Nature.
[14] Steve Awodey,et al. Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic , 2002 .
[15] Gottlob Frege,et al. Philosophical and mathematical correspondence , 1980 .
[16] Hans Hermes,et al. Introduction to mathematical logic , 1973, Universitext.
[17] C. H. Langford. Theorems on Deducibility , 1926 .
[18] A. Tarski,et al. Sur les ensembles définissables de nombres réels , 1931 .
[19] Alfred Tarski,et al. Tarski's System of Geometry , 1999, Bulletin of Symbolic Logic.
[20] Jens Erik Fenstad,et al. Selected works in logic , 1970 .
[21] A. Tarski. A Decision Method for Elementary Algebra and Geometry , 2023 .
[22] Ivor Grattan-Guinness. The Search for Mathematical Roots, 1870-1940 , 2000 .
[23] C. H. Langford. Some Theorems on Deducibility , 1926 .
[24] G. M.. Grundlagen der Geometrie , 1909, Nature.
[25] Chen C. Chang,et al. Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .
[26] Robert L. Vaught,et al. Alfred Tarski's work in model theory , 1986, Journal of Symbolic Logic.
[27] E. V. Huntington,et al. The Continuum and Other Types of Serial Order. , 1917 .
[28] Alfred Tarski,et al. Introduction to Logic and to the Methodology of Deductive Sciences , 1943 .
[29] W. Hodges. Elementary Predicate Logic , 1983 .
[30] E. V. Huntington. Sets of independent postulates for the algebra of logic , 1904 .
[31] Alfred Tarski,et al. A General Theorem Concerning Primitive Notions of Euclidean Geometry , 1956 .