Documents

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Studies in logic and the foundations of mathematics

Cote : BARWISE k
ISBN/ISSN : 0-444-85345-6

analyse non standard ; automate ; ensemble projectif ; fonction récursive ; intuitionisme ; logique ; thèse de Church

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Lecture notes in mathematics

Cote : M/A1(95)

intuitionisme ; logique ; preuve

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

Cote : MANCOSU f
ISBN/ISSN : 0-19-509632-0

histoire des mathématiques ; intuitionisme ; logique ; mathématique (sujets divers) ; philosophie

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

Cote : MADDY r
ISBN/ISSN : 0-19-824035-X

intuitionisme ; nombre de Frege ; nominalisme de Fields ; platonisme gödelien ; réalisme mathématique

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

London Mathematical Society lecture note series

Cote : BRIDGES v
ISBN/ISSN : 0-521-31802-5

algèbre constructive ; analyse constructive ; fondement des mathématiques ; intuitionisme ; topose

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

Lecture notes in mathematics

Cote : M/A1(344)
ISBN/ISSN : 3-540-06491-5

intuitionisme ; logique ; métamathématique

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

Lecture notes in mathematics

Cote : M/A1(212)
ISBN/ISSN : 3-540-05541-X

démonstration ; intuitionisme ; mathématique constructive

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

Collection de logique mathématique. Série A

Cote : HEY 01

intuitionisme ; démonstration

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

Ergebnisse der Mathematik und ihrer Grenzgebiete

Cote : HEYTING m

axiomatisation ; démonstration ; intuitionisme

... Lire [+]

Sélection

Documents intuitionisme 9 résultats

The Kleene symposium : Proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. Barwise, Jon ; Keisler, H. Jerome ; Kunen, Kenneth | North-Holland 1980 Nouveau

Principles of intuitionism : lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y. Troelstra, A. S. | Springer 1969 Nouveau

From Brouwer to Hilbert : the debate on the foundations of mathematics in the 1920s Mancosu, Paolo | Oxford University Press 1998 Nouveau

Realism in mathematics Maddy, Penelope | Clarendon 1990 Nouveau

Varieties of constructive mathematics Bridges, Douglas ; Richman, Fred | Cambridge university press 1987 Nouveau

Metamathematical investigation of intuitionistic arithmetic and analysis Troelstra, A. S. | Springer 1973 Nouveau

Proof theory and intuitionistic Scarpellini, Bruno | Springer 1971 Nouveau

Les fondements des mathématiques : intuitionnisme théorie de la démonstration Heyting, A. | Gauthier-Villars;E. Nauwelaerts 1955 Nouveau

Mathematische Grundlagenforschung Intuitionismus Beweistheorie Heyting, A. | Julius Springer 1934 Nouveau