SAS-Space, for world class research

Latest additions

Browse by Author

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

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

This list was generated on Sat Mar 28 01:49:47 2015 GMT.