A Recursion-theoretic View of Axiomatizable Theories
-
Published:1970-12
Issue:4
Volume:24
Page:267-276
-
ISSN:0012-2017
-
Container-title:dialectica
-
language:en
-
Short-container-title:Dialectica
Author:
Pour-El Marian Boykan
Publisher
Verein philosophie.ch