Mathematics and Logic for Digital Devices.
, 1959 Raymond J. Nelson, James T. Culbertson
openalex +2 more sources
A course in model theory: an introduction to contemporary mathematical logic [PDF]
, 2001 Bruno Poizat, Melanie Klein
openalex +1 more source
Uri Abraham. Aronszajn trees on ℵ2 and ℵ3 . Annals of pure and applied logic, vol. 24 (1983), pp. 213–230. - James Cummings and Matthew Foreman. The tree property. Advances in mathematics, vol. 133 (1998), pp. 1–32. - Menachem Magidor and Saharon Shelah. The tree property at successors of singular cardinals. Archive for mathematical logic, vol. 35 (1996), pp. 385–404. [PDF]
, 2001 Arthur W. Apter
openalex +1 more source
A Logical Expansion in Mathematics [PDF]
Bulletin of the American Mathematical Society, 1932 openaire +4 more sources
Fuzzy logic: mathematical tools for approximate reasoning [PDF]
, 2002 Giangiacomo Gerla
openalex +1 more source
Andreas Weiermann. How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study. The journal of symbolic logic, vol. 63 (1998), pp. 1348–1370. [PDF]
, 2002 Thomas Strahm
openalex +1 more source
Book Review: The search for mathematical roots, 1870-1940: Logics, set theories, and the foundations of mathematics from Cantor through Russell to Gödel [PDF]
, 2002 William Ewald
openalex +1 more source
Sergei Tupailo. Realization of analysis into explicit mathematics. The Journal of Symbolic Logic, vol. 66 (2001), pp. 1848–1864. [PDF]
, 2003 Thomas Strahm
openalex +1 more source
1936: Post, Turing and ‘a kind of miracle’ in mathematical logic [PDF]
, 2004 Graham Hoare
openalex +1 more source