Les fondements des mathématiques intuitionnisme théorie de la démonstration
| Permalink: | http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:32009 |
|---|---|
| Glavni autor: | Heyting, Arend (-) |
| Vrsta građe: | Knjiga |
| Jezik: | fra |
| Impresum: |
Paris :
Gauthier-Villars, Paris,
1955.
|
| Izdanje: | 1. izd |
| Nakladnička cjelina: |
Collection de Logique Mathematique / Gauthier-Villars, Paris ;
SÉRIE A : FASC. 9 |