m

Documents  Lakatos, Imre | enregistrements trouvés : 6

O
     

-A +A

P Q

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

Studies in logic and the foundations of mathematics

Localisation : Colloque 1er étage (LOND)

analyse non-standard # axiomatique d'Euclide # dagme de Frege # dialectique grecque # fondement des mathématiques # formalisation du second ordre # logique et heuristique # mathématique post-godelienne et philosophie # mode platonicien de parole # métaphysique du calcul # philosophie des mathématiques # preuve d'indépendance de Cohen # preuve de complétude # rigueur informe # théorie des ensembles

03A05 ; 03B48 ; 03Bxx

... Lire [+]

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

- 174 p.
ISBN 978-0-521-29038-8

Localisation : Ouvrage RdC (LAKA)

00A30

... Lire [+]

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

- 250 p.
ISBN 978-0-521-21644-9

Cambridge paperback library

Localisation : Ouvrage RdC (LAKA)

00A99

... Lire [+]

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

- 285 p.
ISBN 978-0-521-21769-9

Cambridge paperback library

Localisation : Ouvrage RdC (LAKA)

03A05

... Lire [+]

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

- xii; 183 p.
ISBN 978-1-107-11346-6

Cambridge philosophy classics

Localisation : Ouvrage RdC (LAKA)

théorie de la démonstration # philosophie # logique mathématique

03-02 ; 03A05 ; 00A35

... Lire [+]

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

- 152 p.

Localisation : Fonds Russe réserve

... Lire [+]

Z