Switch to list view
Switch to thumbnail view
Select an Action
8 Results Found Subscribe to search results
00000000DEFAULT
Print
1. 
Cover image for UNDERSTANDING MATHEMATICAL PROOF
UNDERSTANDING MATHEMATICAL PROOF
Author 
TAYLOR, JOHN.
Preferred Shelf Number 
QA9.54
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429190735
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 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:
3. 
Cover image for Mathematical aspects of logic programming semantics
Mathematical aspects of logic programming semantics
Author 
Hitzler, Pascal., author. Seda, Anthony.
Preferred Shelf Number 
QA76.63 .H58 2011
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Roads to infinity : the mathematics of truth and proof
Roads to infinity : the mathematics of truth and proof
Author 
Stillwell, John., author.
Preferred Shelf Number 
QA248 .S778 2010
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Logical labyrinths
Logical labyrinths
Author 
Smullyan, Raymond M., author.
Preferred Shelf Number 
QA9 .S575 2009
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Games, puzzles, and computation
Games, puzzles, and computation
Author 
Hearn, Robert A., author. Demaine, Erik D., 1981-
Preferred Shelf Number 
QA63 .H35 2009
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Introduction to mathematics of satisfiability
Introduction to mathematics of satisfiability
Author 
Marek, V. W. (V. Wiktor), 1943, author.
Preferred Shelf Number 
QA9.3 .M37 2009
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Mathematics and common sense : a case of creative tension
Mathematics and common sense : a case of creative tension
Author 
Davis, Philip J., 1923, author.
Preferred Shelf Number 
QA9.2 .D38 2006
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies: