Clear Search

Books+ Search Results

Subject: "Mathematics."
Author/Creator: Is
Is Is Not
ebrary, Inc
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.
Foundations without foundationalism a case for second-order logic
Author
Shapiro, Stewart, 1951-
Published
Oxford : Clarendon Press ; New York : Oxford University Press, 2000.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
2.
In the light of logic
Author
Feferman, Solomon
Published
New York : Oxford University Press, c1998.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
3.
Mathematical logic
Author
Quine, W. V. (Willard Van Orman)
Published
Cambridge, MA : Harvard University Press, c1981.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
4.
The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein
Author
Hopkins, Burt C.
Published
Bloomington : Indiana University Press, c2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
5.
Proof and knowledge in mathematics
Published
London ; New York : Routledge, 1992.
Online
Online book
Location
Yale Internet Resource
Format
Books / Online
6.
Concepts of proof in mathematics, philosophy, and computer science
Published
Berlin, [Germany] ; Boston, [Massachusetts] : De Gruyter, 2016.
©2016
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
7.
Mathematical logic in Asia proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005
Author
Asian Logic Conference (9th : 2005 : Novosibirsk, Russia)
Published
Singapore ; Hackensack, NJ : World Scientific, c2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
8.
The Oxford handbook of philosophy of mathematics and logic
Published
Oxford ; New York : Oxford University Press, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
9.
Folk algebras in algebra logic and computer science
Author
Frias, Marcelo Fabián, 1968-
Published
River Edge, NJ : World Scientific, 2002.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
10.
An introduction to non-classical logic from if to is
Author
Priest, Graham
Published
Cambridge, UK ; New York : Cambridge University Press, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online