Alan Turing his work and impact /

Alan Turing' s electronic brain the struggle to build the ACE, the world's fastest computer /
Publicat: (2012)

Andrzej Mostowski and foundational studies
Publicat: (2008)

Archimedes and the Roman imagination
per: Jaeger, Mary, 1960-
Publicat: (2008)

The legacy of Leonhard Euler a tricentennial tribute /
per: Debnath, Lokenath
Publicat: (2010)

How Euler did even more /
per: Sandifer, C. Edward
Publicat: (2015)

The mathematical career of Pierre de Fermat (1601-1665).
per: Mahoney, Michael S. (Michael Sean)
Publicat: (1973)

Felix Berezin life and death of the mastermind of supermathematics /
Publicat: (2007)

In the dark on the sunny side a memoir of an out-of-sight mathematician /
per: Baggett, Lawrence W., 1939-
Publicat: (2012)

Elementary cryptanalysis a mathematical approach /
per: Sinkov, Abraham, 1907-
Publicat: (2009)

Riemann, topology, and physics /
per: Monastyrsky, Michael
Publicat: (2008)

Random curves journeys of a mathematician /
per: Koblitz, Neal, 1948-
Publicat: (2008)

The calculus of friendship what a teacher and a student learned about life while corresponding about math /
per: Strogatz, Steven H. (Steven Henry)
Publicat: (2009)

Axiome der Klassischen Mechanik : Hilberts Problem und Hamels Losungsversuch in wissenschaftstheoretischer Perspektive /
per: Tiemeyer, Rainer
Publicat: (2016)

Folk algebras in algebra logic and computer science /
per: Frias, Marcelo Fabián, 1968-
Publicat: (2002)

Discrete mathematics and its applications /
per: Rosen, Kenneth H.
Publicat: (2013)

Israel Gohberg and friends on the occasion of his 80th birthday /
Publicat: (2008)

Isaac Newton on mathematical certainty and method
per: Guicciardini, Niccolò
Publicat: (2009)

Logic and discrete mathematics : a concise introduction /
per: Conradie, Willem, 1978-, et al.
Publicat: (2015)

Logic and discrete mathematics : a concise introduction /
per: Conradie, Willem, 1978-, et al.
Publicat: (2015)

Foundational Theories of Classical and Constructive Mathematics
per: Sommaruga, Giovanni
Publicat: (2011)

Deducibility and decidability
per: Gill, R. R. Rockingham, 1944-
Publicat: (1990)

Fundamentals of logic : An intrduction to Aristotelian and Sympolic, induction, and the avoidance of every day fallacies /
per: Kupperman, Joel
Publicat: (1966)

Intermediate logic
per: Bostock, David
Publicat: (1997)

Foundations without foundationalism a case for second-order logic.
per: Shapiro, Stewart, 1951-
Publicat: (2000)

Mathematical logic
per: Quine, W. V. (Willard Van Orman)
Publicat: (1981)

Publications 1929-1936 /
per: Gödel, Kurt
Publicat: (1986)

In the light of logic
per: Feferman, Solomon
Publicat: (1998)

Foundation of abstract mathematics /
per: Kurtz, David C.
Publicat: (1992)

Truth and Falsehood An Inquiry into Generalized Logical Values /
per: Shramko, Yaroslav
Publicat: (2012)

Alan Moore /
per: Parkin, Lance
Publicat: (2009)

Logic with trees an introduction to symbolic logic /
per: Howson, Colin
Publicat: (1997)

The elements of mathematical logic.
per: Rosenbloom, Paul C.
Publicat: (1950)

Mathematical logic in the 20th century
Publicat: (2003)

Mathematical logic
per: Chiswell, Ian, 1948-
Publicat: (2007)

Studies in logic
Publicat: (1983)

Logical dynamics of information and interaction
per: Benthem, J. F. A. K. van, 1949-
Publicat: (2011)