PMAPhilosophy of Mathematics Association

Home Seminars Talks Publications Directory Jobs Membership Discussions Sign in

GR

Greg Restall

University of St Andrews

United Kingdom

Bio

Works in logic, proof theory, and philosophy of mathematical and inferential practice.

logicphilosophy of mathematics

Profiles: ORCID
Updated: 4/6/2026
Keywords: logic, proof theory, inferentialism

Philosophy of Mathematics Association

Seminars, talks, publications, membership, and community life in the philosophy of mathematics.

ExploreSeminars Talks Publications Directory Discussions

AssociationMission and governance Membership and donors Job announcements Sign in

Reference

Public content adapted from philosophyofmath.org.