Universitaetsbibliothek
SolrQueryCompletionProxy
 


Ihre Suchanfrage BVB-Nr. = BV036962673

Suchanfrage ändern Drucken Speichern Versenden

UB Frankfurt(Oder) (1/1)


¬The Kleene Symposium


proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A

Sonstige Pers.: Kleene, Stephen Cole ;     Barwise, Jon ;     Keisler, H. Jerome, 1936- ;     Kunen, Kenneth    
Ersch.-Ort, Verlag, Ersch.-Jahr: Amsterdam ; New York, North-Holland Pub. Co, 1980
Umfang: 1 Online-Ressource (xx, 425 p.)
Schlagwort: Rekursionstheorie
Schlagwort: Intuitionistische Logik
Schlagwort: Intuitionistische Mathematik
ISBN: 0-444-85345-6, 978-0-444-85345-5

 

in die Merkliste | Permalink

Volltext: hier klicken
Sonstige Pers.: Kleene, Stephen Cole
Sonstige Pers.: Barwise, Jon
Sonstige Pers.: Keisler, H. Jerome, 1936-
Sonstige Pers.: Kunen, Kenneth
Titel: ¬The Kleene Symposium
Titelzusatz: proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A
Verantwortlich: edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen
Ersch.-Ort: Amsterdam ; New York
Verlag: North-Holland Pub. Co
Ersch.-Jahr: 1980
ISBN: 0-444-85345-6
Ersch.-Ort: New York
Verlag: Sole distributors for the U.S.A. and Canada, Elsevier North-Holland
ISBN: 978-0-444-85345-5
Umfang: 1 Online-Ressource (xx, 425 p.)
Serie: Studies in logic and the foundations of mathematics ; 101
Anmerkung: Includes bibliographical references
Beziehung: Reproduktion von, ¬The Kleene Symposium, 1980,
Notation DDC: 511/.3
Notation LoC: QA9.6
Formschlagwort: Konferenzschrift,
Schlagwort: Rekursionstheorie
Schlagwort: Intuitionistische Logik
Schlagwort: Intuitionistische Mathematik
LoC-Schlagwort: ¬a Kleene, Stephen Cole ¬d 1909-1994
Sprache: eng
Medium: Online