JavaScript must be enabled on your browser for this PAC to work properly.
Find:
Keywords
Titles
Authors
Subjects
Notes
Publisher
Series
ISBN
that
begin with
contain
closely match
stem from
sound like
the word(s)
Sort By:
Title
Author
Publication Date
Availability
Material Type
|
Select an option to save result
Save checked items to list
Save all items to list
Uncheck all selections
Displaying 1 to 10 of 42
1
100% mathematical proof / Rowan Garnier, John Taylor.
Author:
Garnier, Rowan.
Published:
1996
Locations:
Buhl Library
Buhl - Open Stacks
QA9.54 .G367 1996
Available
2
Alan Turing : his work and impact / S. Barry Cooper and J. van Leeuwen.
Author:
Cooper, S. B. (S. Barry)
Published:
2012
Locations:
Buhl Library
Buhl - Oversized
Oversz QA29.T8 C65 2012
Available
3
Alfred Tarski : life and logic / Anita Burdman Feferman, Solomon Feferman.
Author:
Feferman, Anita Burdman.
Published:
2004
Locations:
Buhl Library
Buhl - Open Stacks
QA29.T32 F44 2004
Available
4
The art of logic in an illogical world / Eugenia Cheng.
Author:
Cheng, Eugenia.
Published:
2018
Locations:
Buhl Library
Buhl - Open Stacks
QA9 .C486175 2018
Available
5
The best of all possible worlds : mathematics and destiny / Ivar Ekeland.
Author:
Ekeland, I. (Ivar), 1944-
Published:
2006
Locations:
Buhl Library
Buhl - Open Stacks
Q172 .E36 2006
Available
6
The essential Turing : seminal writings in computing, logic, philosophy, artificial intelligence, and artificial life, plus the secrets of Enigma / edited by B. Jack Copeland.
Author:
Turing, Alan, 1912-1954.
Published:
2004
Locations:
Buhl Library
Buhl - Open Stacks
QA7 .T772 2004
Available
7
Euclid in the rainforest : discovering universal truth in logic and math / Joseph Mazur.
Author:
Mazur, Joseph.
Published:
2005
Locations:
Buhl Library
Buhl - Open Stacks
QA9 .M3935 2005
Available
8
Foundations of logic and mathematics / Rudolf Carnap.
Author:
Carnap, Rudolf, 1891-1970.
Published:
1939
Locations:
Buhl Library
Buhl - Open Stacks
BC135 .C316 1939a
Available
9
Foundations of mathematical logic.
Author:
Curry, Haskell B. (Haskell Brooks), 1900-
Published:
1963
Locations:
Buhl Library
Buhl - Open Stacks
QA9 .C85 1963
Available
10
From Frege to Gödel; a source book in mathematical logic, 1879-1931.
Author:
Van Heijenoort, Jean, 1912-
Published:
1967
Locations:
Buhl Library
Buhl - Open Stacks
QA9 .V3 1967
Available