Katalog der Hochschule Brandenburg

lokaler Katalog (1/1)

¬The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A Verlagsort, Verlag, Jahr: Amsterdam ; New York, North-Holland Pub. Co, 1980 Umfangsangabe: 1 Online-Ressource (xx, 425 p.) Schlagwort: Rekursionstheorie Schlagwort2: Intuitionistische Logik Schlagwort3: Intuitionistische Mathematik ISBN/ISSN: 0-444-85345-6, 978-0-444-85345-5 89422 0-444-85345-6 ¬The Kleene Symposium (1980) in die Merkliste \| Persistenter Link Kopieren Sie diesen Link um auf dieses Werk Bezug zu nehmen: https://opac.th-brandenburg.de/00/bvnr/BV036962673

Titel: ¬The Kleene Symposium Hrsg./Bearb.: Kleene, Stephen Cole Hrsg./Bearb.: Barwise, Jon, 1942-2000 Hrsg./Bearb.: Keisler, H. Jerome, 1936- Hrsg./Bearb.: Kunen, Kenneth HSTZusatz: proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A Verfasserangabe: edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen Verlagsort: Amsterdam ; New York Verlag: North-Holland Pub. Co ISBN/ISSN: 0-444-85345-6 Verlagsort: New York Verlag: Sole distributors for the U.S.A. and Canada, Elsevier North-Holland ISBN/ISSN: 978-0-444-85345-5 Jahr: 1980 Umfangsangabe: 1 Online-Ressource (xx, 425 p.) Serie/Reihe: Studies in logic and the foundations of mathematics ; 101 Subject Heading: ¬a Kleene, Stephen Cole ¬d 1909-1994 Schlagwort: Rekursionstheorie Schlagwort: Intuitionistische Logik Schlagwort: Intuitionistische Mathematik Sprache: eng ErschLand: XA-NL Medienart: eBook Volltext: hier klicken Verbund-ID: BV036962673

Katalog-Auswahl

Weitersuchen (Fernleihe) | ändern