KOBV Portal

Online Resource

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

Kleene, Stephen Cole [Sonstige] 1909-1994 ; Barwise, Jon [Sonstige] 1942-2000 ; Keisler, H. Jerome [Sonstige] 1936- ; [et al.]

Amsterdam ; New York : North-Holland Pub. Co | New York : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland

add to watchlist on the watchlist

Details

UID:

b3kat_BV036962673

Format: 1 Online-Ressource (xx, 425 p.) , ill , 23 cm

Edition: Online-Ausgabe Elsevier e-book collection on ScienceDirect Sonstige Standardnummer des Gesamttitels: 041169-3

ISBN: 0444853456 , 9780444853455

Series Statement: Studies in logic and the foundations of mathematics 101

Note: Includes bibliographical references

Additional Edition: Reproduktion von The Kleene Symposium 1980

Language: English

Keywords: Rekursionstheorie ; Intuitionistische Logik ; Intuitionistische Mathematik ; Konferenzschrift

URL: Volltext

Author information: Barwise, Jon 1942-2000

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

HWR Berlin

EUV Frankfurt

TH Brandenburg

HTW Berlin

TH Wildau

BTU Cottbus

BHT

Online Resource

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

Kleene Symposium ; Kleene, Stephen Cole 1909-1994 ; Barwise, Jon ; [et al.]

Amsterdam : North-Holland Pub. Co | New York : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland

add to watchlist on the watchlist

Details

UID:

gbv_630031886

Format: Online-Ressource (xx, 425 p) , ill , 23 cm

Edition: Online-Ausg. 2009 Elsevier e-book collection on ScienceDirect Electronic reproduction; Mode of access: World Wide Web

ISBN: 0444853456 , 9780444853455

Series Statement: Studies in logic and the foundations of mathematics v. 101

Note: Includes bibliographical references , Electronic reproduction; Mode of access: World Wide Web , English

Additional Edition: ISBN 0444853456

Additional Edition: Print version Kleene Symposium

Additional Edition: Erscheint auch als Druck-Ausgabe Kleene Symposium (1978 : Madison, Wis.) The Kleene Symposium Amsterdam [usw.] : North-Holland Publ. Co., 1980 ISBN 0444853456

Language: English

Subjects: Mathematics , Philosophy

RVK:

SK 130

RVK:

SD 1978

RVK:

CC 2600

Keywords: Rekursionstheorie ; Intuitionistische Mathematik ; Intuitionistische Mathematik ; Rekursionstheorie ; Intuitionistische Logik ; Rekursionstheorie ; Intuitionistische Logik ; Konferenzschrift ; Festschrift

URL: Volltext

URL: lizenzpflichtig

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Stabi Berlin

UB Potsdam

Book

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

Kleene Symposium 1978 Madison, Wis. ; Barwise, Jon [Sonstige] 1942-2000 ; Kleene, Stephen Cole 1909-1994

Amsterdam [u.a.] : North-Holland

add to watchlist on the watchlist

Details

UID:

b3kat_BV000996479

Format: XX, 425 S.

ISBN: 0444853456

Series Statement: Studies in logic and the foundations of mathematics 101

Language: English

Subjects: Mathematics , Philosophy

RVK:

CC 2600

RVK:

SD 1978

Keywords: Intuitionistische Mathematik ; Rekursionstheorie ; Intuitionistische Logik ; Festschrift ; Konferenzschrift ; Konferenzschrift ; Festschrift

URL: Inhaltsverzeichnis

Author information: Barwise, Jon 1942-2000

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

TU Berlin

Book

The Kleene Symposium : Proceedings of the Symposium, held June 18-24, 1978 at Madison, Wisc., USA (1980)

Barwise, Jon 1942-2000

Amsterdam :North-Holland Publ.Comp.,

add to watchlist on the watchlist

Details

UID:

almafu_BV005958452

Format: XX, 425 S.: 1 Portr., graph.Darst.

ISBN: 0-444-85345-6

Series Statement: Studies in Logic and the foundations of mathematics. 101.

Language: English

Subjects: Mathematics

RVK:

SD 1978

Keywords: Intuitionistische Logik ; Rekursionstheorie ; Intuitionistische Mathematik ; Konferenzschrift

Author information: Barwise, Jon 1942-2000

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

FU Berlin

Online Resource

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

Kleene Symposium (1978 : University of Wisconsin--Madison) ; Barwise, Jon. ; Keisler, H. Jerome. ; [et al.]

Amsterdam ; : North-Holland Pub. Co. ;

add to watchlist on the watchlist

Details

UID:

edocfu_9958084932102883

Format: 1 online resource (xx, 425 p. ) , ill. ;

ISBN: 0-444-85345-6

Series Statement: Studies in logic and the foundations of mathematics ; v. 101

Note: Bibliographic Level Mode of Issuance: Monograph , English

Language: English

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

FU Berlin

Online Resource

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

Kleene Symposium (1978 : University of Wisconsin--Madison) ; Barwise, Jon. ; Keisler, H. Jerome. ; [et al.]

Amsterdam ; : North-Holland Pub. Co. ;

add to watchlist on the watchlist

Details

UID:

almahu_9947367857602882

Format: 1 online resource (xx, 425 p. ) , ill. ;

ISBN: 0-444-85345-6

Series Statement: Studies in logic and the foundations of mathematics ; v. 101

Note: Bibliographic Level Mode of Issuance: Monograph , English

Language: English

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

HU Berlin

Online Resource

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

Kleene Symposium (1978 : University of Wisconsin--Madison) ; Barwise, Jon. ; Keisler, H. Jerome. ; [et al.]

Amsterdam ; : North-Holland Pub. Co. ;

add to watchlist on the watchlist

Details

UID:

edoccha_9958084932102883

Format: 1 online resource (xx, 425 p. ) , ill. ;

ISBN: 0-444-85345-6

Series Statement: Studies in logic and the foundations of mathematics ; v. 101

Note: Bibliographic Level Mode of Issuance: Monograph , English

Language: English

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Charité

hits 1 - 7 | 7 hits

Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.

Kooperativer Bibliotheksverbund

Berlin Brandenburg