Format:
xxi, 247 Seiten
,
Diagramme
ISBN:
9781108424912
Series Statement:
Cambridge tracts in mathematics 216
Note:
Literaturverzeichnis: Seite 234-243
Additional Edition:
10.1017/9781108348034
Additional Edition:
ISBN 9781108348034
Additional Edition:
Erscheint auch als Online-Ausgabe Artemov, S. N. Justification logic Cambridge : Cambridge University Press, 2019 ISBN 9781108348034
Additional Edition:
ISBN 1108348033
Language:
English
Subjects:
Mathematics
,
Philosophy
Keywords:
Logik
;
Rechtfertigung
;
Mathematische Logik
;
Logik
;
Schlussfolgern
Author information:
Fitting, Melvin 1942-
