Relative computability and the proof-theoretic strength of some theories

Autor:	Afshari, Bahareh
Rok vydání:	2008
Předmět:	510
Druh dokumentu:	Electronic Thesis or Dissertation
Databáze:	Networked Digital Library of Theses & Dissertations
Externí odkaz:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.496556 Zobrazit plný text záznamu