The shaping of deduction in Greek mathematics a study in cognitive history /

History of mathematical sciences Portugal and East Asia II : University of Macau, China, 10-12 October 1998 /
Publicat: (2004)

History of Mathematical Sciences Portugal and East Asia III : The Jesuits, the Padroado and East Asian science (1552-1773) /
Publicat: (2008)

Gender differences in mathematics an integrative psychological approach /
Publicat: (2005)

European women in mathematics proceedings of the 13th General Meeting, University of Cambridge, UK, 3-6 September 2007 /
Publicat: (2010)

Golden years of Moscow mathematics /
Publicat: (2007)

Ludic proof Greek mathematics and the Alexandrian aesthetic /
per: Netz, Reviel
Publicat: (2008)

Contributions of Mexican mathematicians abroad in pure and applied mathematics : second meeting, Matematicos Mexicanos en el Mundo, December 15-19, 2014, Centro de Investigacion en Matematicas, Guanajuato, Mexico /
Publicat: (2018)

Naming infinity a true story of religious mysticism and mathematical creativity /
per: Graham, Loren R.
Publicat: (2009)

She does math! real-life problems from women on the job /
Publicat: (1995)

Fleeting footsteps tracing the conception of arithmetic and algebra in ancient China /
per: Lam, Lay Yong
Publicat: (2004)

Mexican mathematicians abroad : recent contributions : first workshop, Matematicos Mexicanos Jovenes en el Mundo, August 22-24, 2012, Centro de Investigacion en Matematicas, A.C., Guanajuato, Mexico /
Publicat: (2016)

Mathematicians fleeing from Nazi Germany individual fates and global impact /
per: Siegmund-Schultze, R. (Reinhard)
Publicat: (2009)

Between tradition and innovation : Gregorio a San Vicente and the Flemish Jesuit mathematics school /
per: Meskens, Ad
Publicat: (2021)

Revolutions and continuity in Greek mathematics /
Publicat: (2018)

Doktorky Matematiky Na Univerzitach V Praze 1900-1945 /
per: Becvarova, Martina
Publicat: (2019)

The functional interpretation of logical deduction
per: Queiroz, Ruy J. G. B. de
Publicat: (2012)

Amazing traces of a Babylonian origin in Greek mathematics
per: Friberg, Joran
Publicat: (2007)

Intuition et deduction en mathematiques : retour au debat sur la "crise des fondements" /
per: Leclercq, Bruno
Publicat: (2014)

The mathematics of logic a guide to completeness theorems and their applications /
per: Kaye, Richard (Richard W.)
Publicat: (2007)

Deduction, computation, experiment exploring the effectiveness of proof /
Publicat: (2008)

The foundations of mathematics /
per: Stewart, Ian, 1945-, et al.
Publicat: (2015)

Mathematical logic /
per: Ebbinghaus, H. -D, et al.
Publicat: (1994)

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

Essays in the philosophy and history of logic and mathematics
per: Murawski, Roman
Publicat: (2010)

Deductive Systems in Traditional and Modern Logic
Publicat: (2021)

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

Handbook of mathematical logic
Publicat: (1977)

Proof and knowledge in mathematics
Publicat: (1992)

Numbers and numeracy in the Greek polis /
Publicat: (2021)

Mathematical logic
per: Tourlakis, George J.
Publicat: (2003)

Automated Deduction – CADE 28
Publicat: (2021)

Introduction to mathematical structures and proofs /
per: Gerstein, Larry J.
Publicat: (1996)

Constructibility and mathematical existence
per: Chihara, Charles S., 1932-
Publicat: (1990)

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

Advances in experimental philosophy of logic and mathematics /
Publicat: (2019)

Philosophy of mathematics in the twentieth century : selected essays /
per: Parsons, Charles, 1933-
Publicat: (2014)