Alan Turing his work and impact /

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

Andrzej Mostowski and foundational studies
Vydáno: (2008)

Archimedes and the Roman imagination
Autor: Jaeger, Mary, 1960-
Vydáno: (2008)

The legacy of Leonhard Euler a tricentennial tribute /
Autor: Debnath, Lokenath
Vydáno: (2010)

How Euler did even more /
Autor: Sandifer, C. Edward
Vydáno: (2015)

The mathematical career of Pierre de Fermat (1601-1665).
Autor: Mahoney, Michael S. (Michael Sean)
Vydáno: (1973)

Felix Berezin life and death of the mastermind of supermathematics /
Vydáno: (2007)

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

Elementary cryptanalysis a mathematical approach /
Autor: Sinkov, Abraham, 1907-
Vydáno: (2009)

Riemann, topology, and physics /
Autor: Monastyrsky, Michael
Vydáno: (2008)

Random curves journeys of a mathematician /
Autor: Koblitz, Neal, 1948-
Vydáno: (2008)

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

Axiome der Klassischen Mechanik : Hilberts Problem und Hamels Losungsversuch in wissenschaftstheoretischer Perspektive /
Autor: Tiemeyer, Rainer
Vydáno: (2016)

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

Discrete mathematics and its applications /
Autor: Rosen, Kenneth H.
Vydáno: (2013)

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

Isaac Newton on mathematical certainty and method
Autor: Guicciardini, Niccolò
Vydáno: (2009)

Logic and discrete mathematics : a concise introduction /
Autor: Conradie, Willem, 1978-, a další
Vydáno: (2015)

Logic and discrete mathematics : a concise introduction /
Autor: Conradie, Willem, 1978-, a další
Vydáno: (2015)

Foundational Theories of Classical and Constructive Mathematics
Autor: Sommaruga, Giovanni
Vydáno: (2011)

Deducibility and decidability
Autor: Gill, R. R. Rockingham, 1944-
Vydáno: (1990)

Fundamentals of logic : An intrduction to Aristotelian and Sympolic, induction, and the avoidance of every day fallacies /
Autor: Kupperman, Joel
Vydáno: (1966)

Intermediate logic
Autor: Bostock, David
Vydáno: (1997)

Foundation of abstract mathematics /
Autor: Kurtz, David C.
Vydáno: (1992)

Mathematical logic
Autor: Quine, W. V. (Willard Van Orman)
Vydáno: (1981)

Foundations without foundationalism a case for second-order logic.
Autor: Shapiro, Stewart, 1951-
Vydáno: (2000)

Publications 1929-1936 /
Autor: Gödel, Kurt
Vydáno: (1986)

In the light of logic
Autor: Feferman, Solomon
Vydáno: (1998)

Truth and Falsehood An Inquiry into Generalized Logical Values /
Autor: Shramko, Yaroslav
Vydáno: (2012)

Alan Moore /
Autor: Parkin, Lance
Vydáno: (2009)

The elements of mathematical logic.
Autor: Rosenbloom, Paul C.
Vydáno: (1950)

Studies in logic
Vydáno: (1983)

Logic with trees an introduction to symbolic logic /
Autor: Howson, Colin
Vydáno: (1997)

Mathematical logic in the 20th century
Vydáno: (2003)

Mathematical logic
Autor: Chiswell, Ian, 1948-
Vydáno: (2007)

Logical dynamics of information and interaction
Autor: Benthem, J. F. A. K. van, 1949-
Vydáno: (2011)