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

Ville d'édition : Amsterdam

Pays d'édition : Pays-Bas

Langue : Anglais

Collation : Bibliogr. ; vol. 1

Collection : Studies in logic and the foundations of mathematics

Localisation : Colloque 1er étage (LOND)

Année de la rencontre : 1965

Ville du congrès : London

Pays du congrès : Grande-Bretagne

Type Congrès : Congrès

Disponibilité : empruntable

Exemplaires