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ț: 485^.45 lei

43-57 zile

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ț: 264^.95 lei

43-57 zile