Clear Search

Books+ Search Results

Subject with Hierarchy: Is Not
Is Not Is
Gödel Kurt
Location: Is
Is Is Not
Internet Archive
Subject: Is
Is Is Not
Logic, Symbolic and mathematical

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Results are already all online
Viewing Online Items
1.
The puzzler's dilemma : from the Lighthouse of Alexandria to Monty Hall, a fresh look at classic conundrums of logic, mathematics, and life
Author
Niederman, Derrick
Published
New York : Perigee Trade, 2012.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books / Online
2.
Abhandlung über die Prinzipien der Logik : mit einer Rekonstruktion der Aristotelischen Syllogistik
Author
Wolff, Michael, 1942-
Published
Frankfurt am Main : Klostermann, 2009.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books / Online
3.
Purity, spectra and localisation
Author
Prest, Mike
Published
Cambridge ; New York : Cambridge University Press, 2009.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books / Online
4.
The best of all possible worlds : mathematics and destiny
Author
Ekeland, I. (Ivar), 1944-
Published
Chicago : University of Chicago Press, 2006.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books / Online
5.
Theorems, corollaries, lemmas, and methods of proof
Author
Rossi, Richard J., 1956-
Published
Hoboken, N.J. : Wiley, c2006.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books / Online
6.
The equations : icons of knowledge
Author
Bais, Sander
Published
Cambridge, Mass. : Harvard University Press, c2005.
Online
Online book (login required)
Online book (login required)
Location
Internet Archive >> None
Format
Books / Online
7.
Frontiers of combining systems : 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings
Author
FroCoS 2005 (2005 : Vienna, Austria)
Published
Berlin ; New York : Springer, c2005.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books / Online
8.
Alfred Tarski : life and logic
Author
Feferman, Anita Burdman
Published
Cambridge, U.K. ; New York : Cambridge University Press, 2004.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books / Online
9.
Discrete mathematics and theoretical computer science : 4th international conference, DMTCS 2003, Dijon, France, July 2003, proceedings
Author
DMTCS 2003 (2003 : Dijon, France)
Published
New York : Springer, 2003.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books / Online
10.
Foundations of logic and mathematics : applications to computer science and cryptography
Author
Nievergelt, Yves
Published
Boston : Birkhäuser, c2002.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books / Online
11.
Frontiers of combining systems : 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings
Author
FroCoS 2002 (2002 : Santa Margherita Ligure, Italy)
Published
New York : Springer, 2002.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books / Online
12.
Logic, sets, and recursion
Author
Causey, Robert L.
Published
Boston : Jones and Bartlett, c2001.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books / Online
13.
Between logic and intuition : essays in honor of Charles Parsons
Published
Cambridge, U.K. ; New York : Cambridge University Press, 2000.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books / Online
14.
Geometric calculus : according to the Ausdehnungslehre of H. Grassmann
Author
Peano, Giuseppe, 1858-1932
Published
Boston : Birkhäuser, c2000.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books / Online
15.
Automated deduction, CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings
Author
International Conference on Automated Deduction (15th : 1998 : Lindau, Bavaria, Germany)
Published
Berlin ; New York : Springer, c1998.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books / Online
16.
Logic as algebra
Author
Halmos, Paul R. (Paul Richard), 1916-2006
Published
[Washington, D.C.] : Mathematical Association of America, c1998.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books / Online
17.
Logics in artificial intelligence : European Workshop, JELIA '98 Dagstuhl, Germany, October 12-15, 1998 : proceedings
Author
European Workshop JELIA '98 (1998 : Dagstuhl, Germany)
Published
Berlin ; New York : Springer, c1998.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books / Online
18.
Once upon a number : the hidden mathematical logic of stories
Author
Paulos, John Allen
Published
New York : Basic Books, c1998.
Online
Online book (login required)
Online book (login required)
Location
Internet Archive >> None
Format
Books / Online
19.
Solving higher-order equations : from logic to programming
Author
Prehofer, Christian, 1967-
Published
Boston ; Basel : Birkhauser, c1998.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books / Online
20.
Diamond, a paradox logic
Author
Hellerstein, N. S. K. (Nathaniel S. K.)
Published
Singapore ; River Edge, N.J. : World Scientific, c1997.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books / Online
21.
Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers
Published
Berlin ; New York : Springer, c1995.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books / Online
22.
Logic Colloquium '92
Author
Logic Colloquium '92 (1992 : Veszprém, Hungary)
Published
Stanford, Calif. : CSLI Publications, c1995.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books / Online
23.
The logical status of diagrams
Author
Shin, Sun-Joo
Published
Cambridge [England] ; New York : Cambridge University Press, 1994.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books / Online
24.
Logic and structure
Author
Dalen, D. van (Dirk), 1932-
Published
Berlin ; New York : Springer-Verlag, 1994.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books / Online
25.
Mathematical logic
Author
Ebbinghaus, Heinz-Dieter, 1939-
Published
New York : Springer-Verlag, c1994.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books / Online