SAS-Space, for world class research

Please note, SAS-space will not be accepting new items for deposit between 25th Feb and 4th March 2015. This is so we can upgrade and migrate to a new server.

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 Mar 3 06:16:48 2015 GMT.