Skip to contents

Odifreddi, Piergiorgio [Author]

Classical recursion theory

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam [u.a.]: North-Holland, 1989-

Published in: Studies in logic and the foundations of mathematics ; .
Sacks, Gerald E. [Author]

Higher recursion theory

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1990

Published in: Perspectives in mathematical logic
Sanchis, Luis E. [Author]

Reflexive structures : an introduction to computability theory

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1988
Fitting, Melvin [Author]

Fundamentals of generalized recursion theory

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam [usw.]: North-Holland Publ. Co., 1981

Published in: Studies in logic and the foundations of mathematics ; 10500
Fenstad, Jens E. [Author]; Fenstad, Jens Erik [Author]

General recursion theory : an axiomatic approach

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1980

Published in: Perspectives in mathematical logic
Hromkovič, Juraj [Author]

Berechenbarkeit : Logik, Argumentation, Rechner und Assembler, Unendlichkeit, Grenzen der Automatisierbarkeit ; Lehrbuch für Unterricht und Selbststudium - [1. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiesbaden: Vieweg + Teubner, 2011

Published in: Studium
Boolos, George [Author]; Burgess, John P. [Author]; Jeffrey, Richard C. [Author]

Computability and logic - [4. ed., Repr. with corr.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge: Cambridge Univ. Press, 2003
Bridges, Douglas S. [Author]

Computability : a mathematical sketchbook

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York; Heidelberg [u.a.]: Springer, 1994

Published in: Graduate texts in mathematics ; 146
Paull, Marvin C. [Author]

Algorithm design : a recursion transformation framework

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York [u.a.]: Wiley, 1988

Published in: A Wiley-Interscience publication
Chong, Chi-tat [Author]

Techniques of admissible recursion theory

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1984

Published in: Lecture notes in mathematics ; 1106
Robič, Borut [Author]

The foundations of computability theory

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2015
Wagenknecht, Christian [Author]

Eagle-Starthilfe Berechenbarkeitstheorie : Cantor-Diagonalisierung - Gödelisierung - Turing-Maschine

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Leipzig: Edition am Gutenbergplatz, 2012

Published in: Eagle ; 59
Engeler, Erwin [Author] ; Läuchli, Peter [Other]; Peikert, Ronald [Other]

Berechnungstheorie für Informatiker : mit 34 Übungsaufgaben

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Stuttgart: Teubner, 1988

Published in: Leitfäden und Monographien der Informatik
Mainzer, Klaus [Author] ; Springer Fachmedien Wiesbaden

Wie berechenbar ist unsere Welt : Herausforderungen für Mathematik, Informatik und Philosophie im Zeitalter der Digitalisierung

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiesbaden; [Heidelberg]: Springer VS, [2018]

Published in: essentials
Soare, Robert I. [Author]

Turing computability : theory and applications

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, [2016]

Published in: Theory and applications of computability
Barth, Armin P. [Author]

Algorithmik für Einsteiger : für Studierende, Lehrer und Schüler in den Fächern Mathematik und Informatik - [1. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Braunschweig [u.a.]: Vieweg, 2003
Cooper, Stuart B. [Author]; Gončarov, Sergej S. [Author] ; Cooper, S. Barry [Other]; Goncharov, Sergey S. [Other]

Computability and models : perspectives east and west

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY [u.a.]: Kluwer/Plenum Publishers, c2003

Published in: The University series in mathematics
Epstein, Richard L. [Author]; Carnielli, Walter A. [Author]

Computability : computable functions, logic, and the foundations of mathematics - [2. ed.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Belmont, Calif. [u.a.]: Wadsworth, 2000
Floyd, Robert W. [Author]; Beigel, Richard [Author]

Die Sprache der Maschinen - [1. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Bonn [u.a.]: International Thomson Publ., 1996

Published in: Informatik Lehrbuch-Reihe
Bretz, Manfred [Author]

Algorithmen und Berechenbarkeit : eine Einführung in die Algorithmentheorie der Softwaretechnik für Studenten der Informatik

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Braunschweig; Wiesbaden: Vieweg, 1992

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication