Format:
XII, 428 S. :
,
Ill.
Edition:
Reprint.
ISBN:
0-19-853690-9
Series Statement:
Oxford logic guides 23
Language:
English
Subjects:
Mathematics
Keywords:
Beweistheorie
;
Komplexitätstheorie
;
Datenverarbeitung
;
Berechnungskomplexität
;
Datenverarbeitung
;
Beweistheorie
;
Arithmetik
;
Aufsatzsammlung
;
Konferenzschrift
;
Aufsatzsammlung