General Recursion Theory: An Axiomatic Approach

(Visualizza in formato marc) (Visualizza in BIBFRAME)

Autore:	Fenstad Jens Erik
Titolo:	General Recursion Theory: An Axiomatic Approach
Pubblicazione:	[Place of publication not identified], : Springer, 1980
Disciplina:	511/.3
Persona (resp. second.):	HermesHans
	GandyR. O (Robin O.)
Note generali:	Bibliographic Level Mode of Issuance: Monograph
Titolo autorizzato:	General recursion theory
Formato:	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione:	Inglese
Record Nr.:	9910482880203321
Lo trovi qui:	Univ. Federico II
Opac:	Controlla la disponibilità qui

Documenti simili

Ideals over uncountable sets : application of almost disjoint functions and generic ultrapowers / / Thomas Jech and Karel Prikry Jech Thomas J.
Minimal degrees of unsolvability and the full approximation construction / / Richard L. Epstein Epstein Richard L. <1947->
Reasoning about fuzzy temporal and spatial information from the web [[electronic resource] /] / Steven Schockaert, Martine De Cock, Etienne Kerre Schockaert Steven
Recursion-Theoretic Hierarchies Hinman P. G
General Recursion Theory: An Axiomatic Approach Fenstad Jens Erik

Ideals over uncountable sets : application of almost disjoint functions and generic ultrapowers / / Thomas Jech and Karel Prikry
Jech Thomas J.

Minimal degrees of unsolvability and the full approximation construction / / Richard L. Epstein
Epstein Richard L. <1947->

Reasoning about fuzzy temporal and spatial information from the web [[electronic resource] /] / Steven Schockaert, Martine De Cock, Etienne Kerre
Schockaert Steven

Recursion-Theoretic Hierarchies
Hinman P. G

General Recursion Theory: An Axiomatic Approach
Fenstad Jens Erik

1 2 > >>