ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Treffer pro Seite

Treffer 1 - 7 | 7 Treffer

Sortierung

1

Unbekannt

Classical recursion theory : the theory of functions and sets of natural numbers (1992)

Amsterdam ; New York : Elsevier

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 511.3/5 ; LC QA9.6 ; Recursion theory

Seiten: Online-Ressource (xix, 668 pages)

ISBN: 9780444894830

URL: http://www.sciencedirect.com/science/publication?issn=0049237X&volume=125

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

BibTip

Andere fanden auch interessant ...

E-BOOK

2

Unbekannt

The Lambda Calculus : Its Syntax and Semantics (1984)

Barendregt. H.P.

Amsterdam ; New York : North-Holland Pub. Co

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 511/.3 ; LC QA9.6

Seiten: Online-Ressource (xv, 621 pages)

ISBN: 9780444875082

URL: http://www.sciencedirect.com/science/bookseries/0049237X/103

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

BibTip

Andere fanden auch interessant ...

E-BOOK

3

Unbekannt

Logic Colloquium '80 : Papers intended for the European Summer Meeting of the Association for Symbolic Logic (1982)

Van Dalen, D. , Lascar D. ; Smiley, T.J.

Amsterdam ; New York : North-Holland Pub. Co

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 511/.3 ; LC QA9.6

Seiten: Online-Ressource (vii, 342 pages)

ISBN: 9780444864659

URL: http://www.sciencedirect.com/science/bookseries/0049237X/108

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

BibTip

Andere fanden auch interessant ...

E-BOOK

4

Unbekannt

Fundamentals of generalized recursion theory (1981)

Amsterdam ; New York : North-Holland Pub. Co

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 511.3 ; LC QA9.6 ; Recursion theory

Seiten: Online-Ressource (xx, 307 pages)

ISBN: 9780444861719

URL: http://www.sciencedirect.com/science/publication?issn=0049237X&volume=105

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

BibTip

Andere fanden auch interessant ...

E-BOOK

5

Unbekannt

The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A (1980)

Kleene Symposium (1978 : Madison, Wis.)

Amsterdam ; New York : North-Holland Pub. Co

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 511/.3 ; LC QA9.6 ; Kleene, Stephen Cole - 1909-1994

Seiten: Online-Ressource (xx, 425 pages)

ISBN: 9780444853455

URL: http://www.sciencedirect.com/science/publication?issn=0049237X&volume=101

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

BibTip

Andere fanden auch interessant ...

E-BOOK

6

Unbekannt

Set Theory An Introduction to Independence Proofs (1980)

Kunen, Kenneth

Amsterdam ; New York : North-Holland Pub. Co

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 511/.3 ; LC QA9.6

Seiten: Online-Ressource (xvi, 313 pages)

ISBN: 9780444854018

URL: http://www.sciencedirect.com/science/bookseries/0049237X/102

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

BibTip

Andere fanden auch interessant ...

E-BOOK

7

Unbekannt

Descriptive Set Theory (1980)

Moschovakis, Yiannis N.

Amsterdam ; New York : North-Holland Pub. Co

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 511/.3 ; LC QA9.6

Seiten: Online-Ressource (xii, 637 pages)

ISBN: 9780444701992

URL: http://www.sciencedirect.com/science/bookseries/0049237X/100

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

BibTip

Andere fanden auch interessant ...

E-BOOK

Treffer 1 - 7 | 7 Treffer

Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...