General recursion theory : an axiomatic approach / Jens E. Fenstad

By:

Fenstad, Jens Erik, 1935-2020 [aut]

Resource type: Ressourcentyp: BuchBookLanguage: English, German Series: Perspectives in mathematical logicPublisher: Berlin ; Heidelberg [u.a.] : Springer, 1980Description: XI, 225 SISBN:

3540093494
0387093494

Subject(s):

Additional physical formats: Erscheint auch als: General recursion theory. Online-Ausgabe Cambridge, United Kingdom : Cambridge University Press, 2016. 1 Online-Ressource (225 Seiten)DDC classification:

511/.3

MSC: MSC: *03-02 | 03-01 | 03D75 | 03D20 | 03D25 | 03D30 | 03D55 | 03D60 | 03D65 | 03D70RVK: RVK: SK 130LOC classification:

QA9.6

Call number: Grundsignatur: 80 A 1416PPN: PPN: 023693185

Holdings ( 3 )

Holdings
Item type	Home library	Shelving location	Call number	Status	Barcode
Magazinbestand ausleihbar	Bibliothek Campus Süd	Geschlossenes Magazin	80 A 1416	Available	50855696090
Freihandbestand ausleihbar	Fachbibliothek Mathematik	Bibliothek / frei aufgestellt	Grundl./Logik / Fen	Available	09036122001
Freihandbestand ausleihbar	Fachbibliothek Mathematik	Bibliothek / frei aufgestellt	Grundl./Logik / Fen	Available	09036121962

Total holds: 0

Place hold
Print
Cite
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)