Тема, жанр, tags: LOGIQUE DES PRÉDICATS (LOGIQUE MATHÉMATIQUE) » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: LOGIQUE DES PRÉDICATS (LOGIQUE MATHÉMATIQUE)

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