Relative computability and the proof-theoretic strength of some theories
Autor: | Afshari, Bahareh |
---|---|
Rok vydání: | 2008 |
Předmět: | |
Druh dokumentu: | Electronic Thesis or Dissertation |
Databáze: | Networked Digital Library of Theses & Dissertations |
Externí odkaz: |