En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents 03A10 3 results

Filter
Select: All / None
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Towards new logic and semantics:
Franco-Japanese collaborative lectures on philosophy of logic Benoist, Jocelyn ; Girard, Jean-Yves ; Ogawa, Yoshinori ; Okada, Mitsuhiro | Keio University 2006

Congrès

- 263 p.
Call n° : 00038954
philosophie # sémantique # logique intuitionniste

03AXX ; 00A30 ; 03A10

Location : Colloque 1er étage (TOKY)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Hilbert's programs and beyond Sieg, Wilfried | Oxford University Press 2013

Ouvrage

- xii; 439 p.
Call n° : 00038677
histoire des mathématiques # philosophie des mathématiques # théorie de la démonstration # structure mathématique # réductionnisme # finitisme # métamathématique # imperfection # déduction naturelle

01-06 ; 00A30 ; 00B60 ; 01A55 ; 01A60 ; 01A61 ; 01A70 ; 03-03 ; 03A05 ; 03A10 ; 03F03

Location : Ouvrage RdC (SIEG)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Cavaillès Benis Sinaceur, Hourya | Les Belles Lettres 2013

Ouvrage

- 270 p.
Call n° : 00039474
Jean Cavaillès # biographie # philosophie # concept de rationalité # logique mathématique # théorie de la science

00A30 ; 01A60 ; 03A10 ; 97E20 ; 97E30

Location : Biographie RdC (CAVA)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None

Filter

Type

Authors

Language