Implementing Mathematics With the Nuprl Proof Development System, Paperback b...

Implementing Mathematics with The Nuprl Proof Development System by R.L. Constab

R L Constable Implementing Mathematics with The Nuprl Pr (Paperback) (UK IMPORT)

Taking Action: Implementing Effective Mathematics Teaching Practices in K-Gr...

Mathematics and the Imagination Paperback Edward, Newman, James R

Proof and the Art of Mathematics by Joel David Hamkins (2020, Trade Paperback)

Book of Proof Second Edition Richard Hammack Mathematics Logic Paperback 2013