Author books / Книги автора A. S. Troelstra H. Schwichtenberg » Page 4 » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора A. S. Troelstra H. Schwichtenberg » Page 4

book Basic Proof Theory

Basic Proof Theory

djvu

Author: A. S. Troelstra H. Schwichtenberg
Language: English
Year: 1996

00

26.01.2024

0

0

book Principles of Intuitionism. Lectures Summer Conference on Intuitionism and Proof Theory, 1968

Principles of Intuitionism. Lectures Summer Conference on Intuitionism and Proof Theory, 1968

djvu

Author: Anne S. Troelstra
Language: English
Year: 1969

00

26.01.2024

0

0

book Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

djvu

Author: Anne S. Troelstra
Language: English
Year: 1973

00

26.01.2024

0

0

book Metamathematical Investigation Of Intuitionistic Arithmetic And Analysis

Metamathematical Investigation Of Intuitionistic Arithmetic And Analysis

pdf

Author: Troelstra A.S.
Language: English
Year: 1973

00

26.01.2024

0

0

book Principles of Intuitionism

Principles of Intuitionism

pdf

Author: Troelstra A.S.
Language: English
Year: 1969

00

26.01.2024

0

0