SAS-Space, for world class research

Latest additions

Browse by Author

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Number of items: 1.

Gabbay, Michael (2008) Proof-Normalisation and Truth by Definition. PhD thesis, UNSPECIFIED.

This list was generated on Tue Sep 30 05:58:44 2014 BST.