Cărți de Anne S. Troelstra

Basic Proof Theory

Autor Anne S. Troelstra et al.

13 ian 2002

Preț: 365^.70 lei 457^.13 lei

3-5 săpt. | 7-13 zile

-20%

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Editat de Anne S. Troelstra

14 noi 1973

Preț: 482^.93 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ț: 262^.10 lei

6-8 săpt.