Format:
1 Online-Ressource
ISBN:
9783540139010
Series Statement:
Lecture notes in mathematics 1104
Additional Edition:
Erscheint auch als Druckausgabe ISBN 978-3-540-39119-7
Language:
English
Subjects:
Mathematics
Keywords:
Mathematische Logik
;
Datenverarbeitung
;
Beweistheorie
;
Konferenzschrift
;
Konferenzschrift
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(Deutschlandweit zugänglich)
Author information:
Thomas, Wolfgang 1947-
Author information:
Richter, Michael M. 1938-2020
Author information:
Oberschelp, Walter 1933-
Bookmarklink