Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
9 Results Found Subscribe to search results
000000000DEFAULT
Print
1. 
Cover image for Logic works : a rigorous introduction to formal logic
Logic works : a rigorous introduction to formal logic
Author 
Falkenstein, Lorne, author. Stapleford, Scott, author. Kao, Molly, 1986- author.
Preferred Shelf Number 
BC108
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003026532
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Logic and discrete mathematics : a concise introduction
Logic and discrete mathematics : a concise introduction
Author 
Conradie, Willem, 1978- author. Goranko, Valentin, author.
Preferred Shelf Number 
QA9 C7423 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for Introduction to mathematical logic
Introduction to mathematical logic
Author 
Mendelson, Elliott.
Preferred Shelf Number 
QA9 M4 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
4. 
Cover image for Introduction to mathematical proofs
Introduction to mathematical proofs
Author 
Roberts, Charles, author. Taylor and Francis.
Preferred Shelf Number 
QA9.54
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Godel's way : exploits into an undecidable world
Godel's way : exploits into an undecidable world
Author 
Chaitin, Gregory J., author. Doria, Francisco Antonio. Costa, Newton C. A. da.
Preferred Shelf Number 
QA9.65 .C428 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Mathematical logic
Mathematical logic
Author 
Tourlakis, George J.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9781118032435
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Digital electronics and logic design
Digital electronics and logic design
Author 
Nair, B. Somanathan.
Preferred Shelf Number 
TK7868.D5 N35 2008
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
8. 
Cover image for Transition to higher mathematics : structure and proof
Transition to higher mathematics : structure and proof
Author 
Dumas, Bob A. McCarthy, John E.
Preferred Shelf Number 
QA9 .D863 2007
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
9. 
Cover image for Theorems, corollaries, lemmas, and methods of proof
Theorems, corollaries, lemmas, and methods of proof
Author 
Rossi, Richard J., 1956-
Preferred Shelf Number 
ONLINE
Electronic Access 
Ebook Library Click here to view book
John Wiley http://dx.doi.org/10.1002/9781118031575
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2006041609-b.html
http://site.ebrary.com/lib/alltitles/Doc?id=10503020
Format: 
Availability 
Online Library~1
Available:
Copies: