Skip to main content
PRL Project

Knowledge Base of
Publication Publications, Seminar Seminars, & Math Book Math Library

PhD theses from the project are accessible at the NCSTRL web site.

Browse by author | title | year | subject

Filter for: Sarah Sernaker

2 results


Math Book A Formal Exploration of Constructive Geometry
by Sarah Sernaker, Robert L. Constable
2016

Math Book Constructive Reading of Classical Logic
by Robert L. Constable, Sarah Sernaker
2015