- Suche
- Einfache Suche
- Erweiterte Suche
- Suchhistorie
- Suchergebnis
- Detailanzeige
- Merkliste
- Konto
- weitere Angebote
¬The Kleene Symposiumproceedings 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 | |
|
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 |
Datenbank-Auswahl
Auswahl
ändern