Format:
358 S.
Series Statement:
Matematičeskaja logika i osnovanija matematiki
Uniform Title:
Symbolic logic and mechanical theorem proving
Note:
In kyrill. Schr.
Language:
Russian
Subjects:
Mathematics
Keywords:
Optimierung
;
Nichtnumerisches Verfahren
;
Nichtnumerische Datenverarbeitung
;
LISP
;
Mathematische Logik
;
Beweistheorie
;
Logik
;
Automatisches Beweisverfahren