Тема, жанр, tags: PRÄDIKATENLOGIK (MATHEMATISCHE LOGIK),AUTOMATISCHE BEWEISFÜHRUNG (MATHEMATISCHE LOGIK),PREDICATE L » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: PRÄDIKATENLOGIK (MATHEMATISCHE LOGIK),AUTOMATISCHE BEWEISFÜHRUNG (MATHEMATISCHE LOGIK),PREDICATE L

book Proof theory: (based on a series of lectures at the Symposium on intuitionism and proof theory held at Buffalo 1968)

Proof theory: (based on a series of lectures at the Symposium on intuitionism and proof theory held at Buffalo 1968)

djvu

Author: Takeuti Gaisi
Language: English
Year: 1987

00

30.01.2024

0

0