Limit Search Results
Author
SpringerLink (Online service)
(28)
Andreescu, Titu. author.
(1)
Andrew, Alex M. author.
(1)
Artemov, Sergei. editor.
(1)
Atmanspacher, Harald. editor.
(1)
Language
Subject
Logic, Symbolic and mathematical.
(37)
Mathematics.
(13)
Computer science.
(12)
Algebra -- Data processing.
(6)
Algebra.
(6)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
39 Results Found Subscribe to search results
000DEFAULT
Print
37. 
Cover image for Teaching and learning proof across the grades a K-16 perspective
Teaching and learning proof across the grades a K-16 perspective
Author 
Stylianou, Despina A. Blanton, Maria L. Knuth, Eric J. National Council of Teachers of Mathematics.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Logical labyrinths
Logical labyrinths
Author 
Smullyan, Raymond M.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Games, puzzles, and computation
Games, puzzles, and computation
Author 
Hearn, Robert A. Demaine, Erik D., 1981-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action