Cărți de Anne S. Troelstra

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Lecture Notes in Mathematics, nr. 344

Editat de Anne S. Troelstra

14 noi 1973

Preț: 491^.33 lei

6-8 săpt.

Principles of Intuitionism: Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY

Lecture Notes in Mathematics, nr. 95

Autor Anne S. Troelstra

1969

Preț: 268^.18 lei

6-8 săpt.