ALBERT — All Library Books, journals and Electronic Records Telegrafenberg

1

Unbekannt

Handbook of recursive mathematics : Volume 2: Recursive Algebra, Analysis and Combinatorics (1998)

Ershov, I?U?rii? Leonidovich

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 (xlvi, 1372 pages)

ISBN: 9780444501066

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

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

2

Unbekannt

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

Odifreddi, Piergiorgio

Amsterdam ; New York : North-Holland

zur Merkliste hinzufügen auf der Merkliste

Details

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

Seiten: Online-Ressource (2 v)

ISBN: 9780444502056

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

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

3

Unbekannt

Sobolev spaces (2003)

Adams, Robert Alexander ; Fournier, John J. F.

Amsterdam ; Boston : Academic Press

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 515.7 ; LC QA3 ; Sobolev spaces

Seiten: Online-Ressource (xiii, 305 pages)

Ausgabe: 2nd ed

ISBN: 9780120441433

URL: http://www.sciencedirect.com/science/publication?issn=00798169&volume=140

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

4

Unbekannt

Degrees of unsolvability (1971)

Amsterdam ; London : North-Holland Pub. Co

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 511/.3 ; LC QA1 ; Recursive functions

Seiten: Online-Ressource (viii, 111 pages)

ISBN: 9780720420616

URL: http://www.sciencedirect.com/science/publication?issn=03040208&volume=2

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

5

Unbekannt

Topics in functional analysis over valued division rings (1982)

Amsterdam ; New York : North-Holland Pub. Co

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 510 s ; DDC 515.7 ; LC QA1 ; LC QA320eb ; Division rings ; Functional analysis

Seiten: Online-Ressource (xv, 302 pages)

ISBN: 9780444865359

URL: http://www.sciencedirect.com/science/publication?issn=03040208&volume=77

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

6

Unbekannt

Functional analysis, holomorphy, and approximation theory II : proceedings of the Semina´rio de Ana´lise Funcional, Holomorfia e Teoria da Aproximac¸a~o, Universidade Federal do Rio de Janeiro, August 3-7, 1981 (1984)

Seminário de Análise Functional, Holomorfia e Teoria da Aproximaçao (1981 : Universidade Federal do Rio de Janeiro)

Amsterdam ; New York : North-Holland

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 515.7 ; LC QA1 ; LC QA320eb ; Approximation theory - Congresses ; Functional analysis - Congresses ; Holomorphic functions - Congresses

Seiten: Online-Ressource (x, 477 pages)

ISBN: 9780444868459

URL: http://www.sciencedirect.com/science/publication?issn=03040208&volume=86

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

7

Unbekannt

Functional analysis, holomorphy, and approximation theory : proceedings of the Semina´rio de Ana´lise Functional, Holomorfia e Teoria da Aproximac¸ao, Universidade Federal do Rio de Janeiro, August 4-8, 1980 (1982)

Seminário de Análise Functional, Holomorfia e Teoria da Aproximaçao (1980 : Universidade Federal do Rio de Janeiro)

Amsterdam ; New York : Nort[h]-Holland Pub. Co

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 510 s ; DDC 515.7 ; LC QA1 ; LC QA320eb ; Approximation theory - Congresses ; Domains of holomorphy - Congresses ; Functional analysis - Congresses ; Holomorphic functions - Congresses

Seiten: Online-Ressource (viii, 485 pages)

ISBN: 9780444865274

URL: http://www.sciencedirect.com/science/publication?issn=03040208&volume=71

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

8

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

Andere fanden auch interessant ...

E-BOOK

Volltext

9

Unbekannt

Truth, Syntax and Modality (1973)

Leblanc, Hugues

Amsterdam : Noord-Hollandsche U.M

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 511/.3 ; LC QA248 ; Mathematics - Philosophy ; Set theory

Seiten: Online-Ressource (v, 317 pages)

ISBN: 9780720422696

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

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

10

Unbekannt

Proceedings of the Second Scandinavian Logic Symposium (1971)

Fenstad, J.E.

Amsterdam : Noord-Hollandsche U.M

zur Merkliste hinzufügen auf der Merkliste

Details

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

Seiten: Online-Ressource (v, 405 pages)

ISBN: 9780720422597

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

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

11

Unbekannt

Mathematical Logic and Foundations of Set Theory, Proceedings of an International Colloquium Held Under the Auspices of The Israel Academy of Sciences and Humanities : Jerusalem 11–14 November 1968 (1970)

Bar-Hillel, Yehoshua

Amsterdam : Noord-Hollandsche U.M

zur Merkliste hinzufügen auf der Merkliste

Details

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

Seiten: Online-Ressource (v, 145 pages)

ISBN: 9780720422559

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

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

12

Unbekannt

The Metamathematics of Algebraic Systems : Collected Papers: 1936–1967 (1971)

Mal'cev, Anatolií Ivanovič

Amsterdam : Noord-Hollandsche U.M

zur Merkliste hinzufügen auf der Merkliste

Details

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

Seiten: Online-Ressource (xii, 494 pages)

ISBN: 9780720422665

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

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

13

Unbekannt

LOGIC COLLOQUIUM '69 (1971)

Gandy, R.O. ; Yates, C.M.E.

Amsterdam : Noord-Hollandsche U.M

zur Merkliste hinzufügen auf der Merkliste

Details

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

Seiten: Online-Ressource (xiv, 451 pages)

ISBN: 9780720422610

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

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

14

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

Andere fanden auch interessant ...

E-BOOK

Volltext

15

Unbekannt

Relation algebras by games (2002)

Hirsch, Robin ; Hodkinson, Ian

Amsterdam ; Boston : North Holland/Elsevier

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 511/.3 ; LC QA10 ; Game theory ; Relation algebras

Seiten: Online-Ressource (xvii, 691 pages)

Ausgabe: 1st ed

ISBN: 9780444509321

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

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

16

Unbekannt

Aspects of positivity in functional analysis : proceedings of the conference held on the occasion of H.H. Schaefer's 60th birthday, Tu¨bingen, 24-28 June 1985 (1986)

Amsterdam ; New York : North-Holland

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 510 s ; DDC 515.7 ; LC QA1 ; LC QA319eb ; Schaefer, Helmut H

Seiten: Online-Ressource (xiii, 277 pages)

ISBN: 9780444879592

URL: http://www.sciencedirect.com/science/publication?issn=03040208&volume=122

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

17

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

Andere fanden auch interessant ...

E-BOOK

Volltext

18

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

Andere fanden auch interessant ...

E-BOOK

Volltext

19

Unbekannt

Logic Colloquium '84 (1986)

Paris, J.B. ; Wilkie, A.J. ; Wilmers, G.M.

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 (viii, 377 pages)

ISBN: 9780444879998

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

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

20

Unbekannt

Foundations of set theory (1973)

Amsterdam : Noord-Hollandsche U.M

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 511/.3 ; LC QA248 ; Mathematics - Philosophy ; Set theory

Seiten: Online-Ressource (x, 404 pages)

Ausgabe: 2d rev. ed

ISBN: 9780720422702

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

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

21

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

Andere fanden auch interessant ...

E-BOOK

Volltext

22

Unbekannt

Handbook of recursive mathematics : Volume 1: Recursive Model Theory (1998)

Ershov, I?U?rii? Leonidovich

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 (xlvi, 1372 pages)

ISBN: 9780444500038

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

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

23

Unbekannt

Functional analysis ; surveys and recent results III : proceedings of the Conference on Functional Analysis, Paderborn, Germany, 24-29 May, 1983 (1984)

Conference on Functional Analysis (3rd :1983 : Paderborn, Germany)

Amsterdam ; New York : North-Holland

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 515.7 ; LC QA1 ; LC QA319eb ; Functional analysis - Congresses

Seiten: Online-Ressource (xiv, 381 pages)

ISBN: 9780444868664

URL: http://www.sciencedirect.com/science/publication?issn=03040208&volume=90

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

24

Unbekannt

Functional analysis and its applications : proceedings of the International Conference on Functional Analysis and its Applications, dedicated to the 110th anniversary of Stefan Banach, May 28-31, 2002, Lviv, Ukraine (2004)

Kadet?s?, Vladimir M. ; Z?elazko, Wieslaw ; Banach, Stefan

Amsterdam ; London : North-Holland

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 515.7 ; LC QA319 ; Functional analysis - Congresses

Seiten: Online-Ressource (xvi, 326 pages)

ISBN: 9780444513731

URL: http://www.sciencedirect.com/science/publication?issn=03040208&volume=197

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

25

Unbekannt

Bounded analytic functions (1981)

New York : Academic Press

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 515.7 ; LC QA3 ; LC QA331eb ; Analytic functions ; Functional analysis

Seiten: Online-Ressource (xvi, 467 pages)

ISBN: 9780122761508

URL: http://www.sciencedirect.com/science/publication?issn=00798169&volume=96

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

26

Unbekannt

Summability through functional analysis (1984)

Amsterdam ; New York : North-Holland

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 515.7 ; LC QA1 ; Functional analysis ; Summability theory

Seiten: Online-Ressource (xii, 318 pages)

ISBN: 9780444868404

URL: http://www.sciencedirect.com/science/publication?issn=03040208&volume=85

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

27

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

Andere fanden auch interessant ...

E-BOOK

Volltext

28

Unbekannt

Constructivism in Mathematics : An Introduction (1988)

Troelstra, A.S. ; van Dalen, D.

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 (xvii, 356 pages)

ISBN: 9780444702661

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

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

29

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

Andere fanden auch interessant ...

E-BOOK

Volltext

30

Unbekannt

Logic Colloquium '86, Proceedings of the Colloquium held in Hull : 13–19 July 1986 (1987)

Drake, F.R. ; Truss, J.K.

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 (vii, 342 pages)

ISBN: 9780444703262

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

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

31

Unbekannt

Logic Colloquium '85 : Proceedings of the Colloquium held in Orsay, France July 1985 (1987)

THE PARIS LOGIC GROUP

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 (xii, 308 pages)

ISBN: 9780444702111

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

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

32

Unbekannt

Contributions to Non-Standard Analysis (1972)

Luxemburg, W.A.J. ; Robinson, A.

Amsterdam : Noord-Hollandsche U.M

zur Merkliste hinzufügen auf der Merkliste

Details

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

Seiten: Online-Ressource (vi, 289 pages)

ISBN: 9780720420654

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

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

33

Unbekannt

Model Theory For Infinitary Logic (1971)

Keisler, H. Jerome

Amsterdam : Noord-Hollandsche U.M

zur Merkliste hinzufügen auf der Merkliste

Details

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

Seiten: Online-Ressource (viii, 208 pages)

ISBN: 9780720422580

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

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

34

Unbekannt

Combinatory Logic (1972)

Curry, Haskell B. ; Hindley, J. Roger ; Seldin, Jonathan P.

Amsterdam : Noord-Hollandsche U.M

zur Merkliste hinzufügen auf der Merkliste

Details

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

Seiten: Online-Ressource (xiv, 520 pages)

ISBN: 9780720422085

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

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

35

Unbekannt

Intuitionism and Proof Theory : Proceedings of the Summer Conference at Buffalo N.Y. 1968 (1970)

Kino, A. ; Myhill, J. ; Vesley, R.E.

Amsterdam : Noord-Hollandsche U.M

zur Merkliste hinzufügen auf der Merkliste

Details

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

Seiten: Online-Ressource (viii, 516 pages)

ISBN: 9780720422573

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

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

36

Unbekannt

Constructible Sets with Applications (1969)

Mostowski, Andrzej

Amsterdam : Noord-Hollandsche U.M

zur Merkliste hinzufügen auf der Merkliste

Details

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

Seiten: Online-Ressource (vi, 269 pages)

ISBN: 9780444534217

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

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext