PPISR Library
Create Library
Login
Home
Catalog
Search Catalog
Database A-Z
Top Collections
New Collections
My Account
Ask a Librarian?
Search
All
Audio/Visuals
Books
E-Books
E-Journals
Journals
News Clippings
Other
Publications
References
Software
Thesis
Default
Id
Title
Call No
ISBN
ISSN
ASIN
LCCN
DDC
OCLC
UPC
Author
Publisher
Category
Tags
Subject
Abstract
Description
Clear
Tag:
Logic
[
All
]
Page 1 of 1
Title
Authors/Editors
Publisher
Type
Copies
A Course on Borel Sets (Graduate Texts in Mathematics, Vol. 180)
Edition
:
1998
Year
:
1998
ISBN
:
0387984127
ISBN 13
:
9780387984124
S.M. Srivastava
Springer
Books
1
Alfred Tarski: Life and Logic
Edition
:
1
Year
:
2008
ISBN
:
052171401X
ISBN 13
:
9780521714013
Anita Burdman Feferman
Solomon Feferman
Cambridge University Press
Books
1
Collected Works of Larry Wos : Exploring the Power of Automated Reasoning (2 volume set) (Vol 1)
Year
:
1999
ISBN
:
9810240015
ISBN 13
:
9789810240011
Larry Wos
World Scientific Pub Co Inc
Books
2
Complexity, Logic, and Recursion Theory (Lecture Notes in Pure and Applied Mathematics)
Edition
:
1
Year
:
1997
ISBN
:
0824700260
ISBN 13
:
9780824700263
Andrea Sorbi
CRC Press
Books
1
Fundamentals of Modern VLSI Devices
Year
:
2004
ISBN
:
0521540852
ISBN 13
:
9780521540858
Yuan Taur
Tak H. Ning
Cambridge University Press
Books
1
Gödel, Escher, Bach: An Eternal Golden Braid
Edition
:
Anniversary
Year
:
1999
ISBN
:
0465026567
ISBN 13
:
9780465026562
Douglas R. Hofstadter
Basic Books
Books
1
Introduction to Formal Languages (Dover Books on Mathematics)
Year
:
2012
ISBN
:
0486666972
ISBN 13
:
9780486666976
György E. Révész
Dover Publications
Books
1