Recherche

5 résultat(s) · 22 ms

Recherche en cours…
Couverture : Intuition and the Axiomatic Method (The Western Ontario Series in Philosophy of Science)

Intuition and the Axiomatic Method (The Western Ontario Series in Philosophy of Science)

2006
Couverture : Intuitionism.

Intuitionism.

Arend Heyting

1971
Couverture : Intensional mathematics

Intensional mathematics

1985
Una Interpretazione intuitiva per le modalità intuizioniste

Una Interpretazione intuitiva per le modalità intuizioniste

Gisèle. Fischer Servi

1982
Couverture : Proof methods for modal and intuitionistic logics

Proof methods for modal and intuitionistic logics

Melvin Chris Fitting

1983