A Chronology of Foundational Work
Introduction
directory rbjpub/logic
Reflexive Logical Systems
New Classical Logical Systems
ZFC in HOL
Pure Functions
Formalised Mathematics
©
privacy policy
Created:2007/1/9
$Id: xiab002.xml,v 1.1 2007/02/20 22:14:05 rbj01 Exp $
V
© 