Umfang:
viii, 311 Seiten
Ausgabe:
Online-Ausg. [Amsterdam] Elsevier [2021?] 1 Online Ressource
ISBN:
9780080955049
,
0080955045
,
9780444851789
Serie:
Studies in logic and the foundations of mathematics volume 96
Inhalt:
Provability, Computability and Reflection
Anmerkung:
Includes bibliographical references. - Print version record
,
English
Weitere Ausg.:
ISBN 044485178X
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe Logic Colloquium (1977 : Wrocław, Poland) Logic Colloquium '77 Amsterdam ; New York : North Holland Pub. Co. ; New York : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1978
Weitere Ausg.:
Elektronische Reproduktion von Logic Colloquium '77 Amsterdam [u.a.] : North-Holland Publ., 1978 ISBN 044485178X
Sprache:
Englisch
Fachgebiete:
Mathematik
Schlagwort(e):
Mathematische Logik
;
Mathematische Logik
;
Electronic books
;
Electronic books
;
Konferenzschrift
;
Konferenzschrift