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 Fri Nov 28 05:59:04 2014 GMT.