Clear Search

Books+ Search Results

Subject (Genre): Is Not
Is Not Is
Biography
Location: Is
Is Is Not
Yale University Library
Subject: Is
Is Is Not
Logic, Symbolic and mathematical

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

1.
Algebra and computer science
Published
Providence, Rhode Island : American Mathematical Society, [2016]
Location
Request for delivery to any Yale Library >> Conf Porto 2015
Format
Books
2.
Algebra, logic, and combinatorics
Published
New Jersey : World Scientific, [2016]
Location
Request for delivery to any Yale Library >> Alg B874a
Format
Books
3.
Classical groups, derangements and primes
Author
Burness, Timothy C., 1979-
Published
Cambridge, United Kingdom : Cambridge University Press, 2016.
©2016
Location
Request for delivery to any Yale Library >> GrTh B933c
Format
Books
4.
Concepts of proof in mathematics, philosophy, and computer science
Published
Berlin ; Boston : Walter de Gruyter GmbH, [2016]
Location
Request for delivery to any Yale Library >> L P942c
Format
Books
5.
The tools of mathematical reasoning
Author
Lakins, Tamara J., 1963-
Published
Providence, Rhode Island : American Mathematical Society, [2016]
Location
Request for delivery to any Yale Library >> L147t
Format
Books
6.
Proceedings of the 13th Asian Logic Conference : Guangzhou, China, 16-20 September 2013
Author
Asian Logic Conference (13th : 2013 : Guangzhou, China)
Published
New Jersey ; London ; Singapore ; Beijing ; Shanghai ; Hong Kong ; Taipei ; Chennai : World Scientific, [2015]
©2015
Location
Request for delivery to any Yale Library >> Conf Guangzhou 2013
Format
Books
7.
Alfred Tarski : early work in Poland : geometry and teaching
Published
New York : Birkhauser, [2014]
©2014
Location
Request for delivery to any Yale Library >> L T177P
Format
Books
8.
Deductive systems and the decidability problem for hybrid logics
Author
Zawidzki, Michał
Published
Łódź : Łódź University Press ; Kraków : Jagiellonian University Press, 2014.
©2014
Location
Request for delivery to any Yale Library >> L Z22d
Format
Books
9.
A course on mathematical logic
Author
Srivastava, S. M. (Shashi Mohan)
Published
New York : Springer, c2013.
Location
Request for delivery to any Yale Library >> L Sr38c 2013
Format
Books
10.
Elements of logical reasoning
Author
Von Plato, Jan
Published
Cambridge ; New York : Cambridge University Press, 2013.
Online
Cover image
Location
Request for delivery to any Yale Library >> L V896e
Format
Books
11.
Proofs of the Cantor-Bernstein theorem : a mathematical excursion
Author
Hinkis, Arie
Published
Heidelberg ; New York : Birkhäuser/Springer, c2013.
Location
Request for delivery to any Yale Library >> L H587p
Format
Books
12.
Appalachian set theory : 2006-2012
Published
New York : Cambridge University Press, 2013.
Location
Request for delivery to any Yale Library >> Conf Pittsburgh 2006
Format
Books
13.
Hybrid logic and its proof-theory
Author
Braüner, Torben
Published
Dordrecht ; New York : Springer, c2011.
Location
Request for delivery to any Yale Library >> L B737h
Format
Books
14.
Set theory, arithmetic, and foundations of mathematics : theorems, philosophies
Published
Cambridge ; New York : Cambridge University Press, 2011.
Online
Cover image
Location
Request for delivery to any Yale Library >> L K383s
Format
Books
15.
A framework for priority arguments
Author
Lerman, M. (Manuel), 1943-
Published
New York : Cambridge University Press, 2010.
Location
Request for delivery to any Yale Library >> L L562f
Format
Books
16.
Logical foundations of proof complexity
Author
Cook, Stephen, 1948-
Published
New York : Cambridge University Press ; Ithaca, NY : Association for Symbolic Logic, 2010.
Location
Request for delivery to any Yale Library >> L C773L
Format
Books
17.
Logic Colloquium 2007
Author
Logic Colloquium (2007 : Wrocław, Poland)
Published
Cambridge ; New York : Cambridge University Press, 2010.
Location
Request for delivery to any Yale Library >> L D379L
Format
Books
18.
Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008
Author
Asian Logic Conference (10th : 2008 : Kōbe Daigaku)
Published
Singapore ; Hackensack, NJ : World Scientific, c2010.
Location
Request for delivery to any Yale Library >> Conf Kobe 2008
Format
Books
19.
Introduction to mathematical logic and resolution principle
Author
Wang, Guo-Jun
Published
Oxford : Alpha Science ; Beijing : Science Press, c2009.
Location
Request for delivery to any Yale Library >> L W178i
Format
Books
20.
Logic Colloquium 2006
Author
Logic Colloquium (2006 : Nijmegen, Netherlands)
Published
Cambridge ; New York : Cambridge University Press ; [Poughkeepsie, N.Y.] : Association for Symbolic Logic, 2009.
Location
Request for delivery to any Yale Library >> L C787L
Format
Books
21.
A course on mathematical logic
Author
Srivastava, Shashi Mohan
Published
New York ; London : Springer, c2008.
Location
Request for delivery to any Yale Library >> L Sr38c
Format
Books
22.
Institution-independent model theory
Author
Diaconescu, Răzvan
Published
Basel ; Boston : Birkhäuser, c2008.
Location
Request for delivery to any Yale Library >> L D54i
Format
Books
23.
Logic Colloquium 2004 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Torino, Italy, July 25-31, 2004
Author
Logic Colloquium (2004 : Torino, Italy)
Published
Chicago, IL : Association for Symbolic Logic ; Cambridge : Cambridge University Press, 2008.
Location
Request for delivery to any Yale Library >> L An26L
Format
Books
24.
Mathematical logic
Author
Tourlakis, George J.
Published
Hoboken, N.J. : Wiley, c2008.
Online
Publisher description
Table of contents only
Location
Request for delivery to any Yale Library >> L T645m
Format
Books
25.
Logica universalis : towards a general theory of logic
Published
Basel ; Boston : Birkhäuer, c2007.
Location
Request for delivery to any Yale Library >> L B469L
Format
Books