Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 289 p.
ISBN 978-2-222-03464-3
C.n.r.s. centre regional de publications de marseille
Localisation : Ouvrage RdC (AUDU)
00A06 ; 00A30 ; 03A05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Travaux du centre de recherches semiologiques , 0062
Localisation : Colloque 1er étage (NEUC)
langage # logique # semiologie # épistémologie des sciences
03A05 ; 03B65
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 273 p.
ISBN 978-2-8417-4372-8
Philosophia scientiae , 0005
Localisation : Salle de manutention
histoire des mathématiques # épistémologie # mathématique Grecques # théorie des types # fondement des mathématiques # preuve algébrique # Hindenburg # Grassman # Ausdehnungslehre # leopold Kronecker # Cantor #perspective hétérodoxe # Russell # Zermelo # théorie des ensembles # Hilbert # L.E.J. Brouwer # Roger Apéry # E. Nelson # G. Reeb
01-06 ; 03-03 ; 03A05 ; 01A20 ; 01A60 ; 01A55
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 322 p.
ISBN 978-90-6196-211-3
Mathematical centre tracts , 0135
Localisation : Collection 1er étage
analyse linguistique # épistemologie # informatique # intelligence artificielle # langage formel # logique # preuve # résolution de problème
03-06 ; 03A05 ; 03B15 ; 03B45 ; 03B50
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 599 p.
ISBN 978-90-6196-213-7
Mathematical centre tracts , 0136
Localisation : Collection 1er étage
analyse linguistique # épistemologie # informatique # intelligence artificielle # langage formel # logique # preuve # résolution de problème
03-06 ; 03A05 ; 03B15 ; 03B45 ; 03B50
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-3-540-61434-0
Lecture notes in logic , 0006
Localisation : Colloque 1er étage (BRUN)
Gödel # calcul # cosmologie # fondement logique des mathématiques # informatique # philosophie de la logique mathématique # physique # théorie de la récursion # théorie des ensembles # théorie des modèles # épistémologie
03A05 ; 03Bxx ; 03Cxx ; 03Dxx ; 03Exx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xiii; 311 p.
ISBN 978-1-107-00387-3
Localisation : Colloque 1er étage (SAN)
infini # phylosophie # histoire des mathématiques # cosmologie
00B15 ; 00A30 ; 03A05 ; 85A40
... Lire [+]
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.
ISBN 978-0-444-85423-0
Studies in logic and the foundations of mathematics , 0104
Localisation : Colloque 1er étage (HANN)
biologie # fondement # histoire # linguistique # logique # mathématique # méthodologie # philosophie de la science # probabilité et induction # psychologie # récursion et informatique # science physique # science sociale # théorie axiomatique des ensembles # théorie de la preuve # théorie des modèles # éthique de la science
00A30 ; 03-02 ; 03-06 ; 03A05 ; 03Dxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 440 p.
ISBN 978-0-7204-2235-1
Studies in logic and the foundations of mathematics
Localisation : Colloque 1er étage (JERU)
03A05 ; 03B30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-444-87656-0
Studies in logic and the foundations of mathematics , 0114
Localisation : Colloque 1er étage (SALZ)
fondements des mathematiques # logique # philosophie des sciences
00A35 ; 00A69 ; 03-03 ; 03A05 ; 03E25 ; 00A30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 158 p;
ISBN 978-2-02-006061-5
Points sciences
Localisation : Ouvrage RdC (Pens)
03A05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-8218-1312-6
Proceedings of symposia in applied mathematics , 0012
Localisation : Collection 1er étage
03A05 ; 03Bxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-19-851476-3
Localisation : Colloque 1er étage (MUSS)
fondement # logique mathématique # philosophie des mathématiques # épistémologie
00A30 ; 03-06 ; 03A05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xv-142 p.
ISBN 978-0-691-15574-6
Localisation : Ouvrage RdC (TURING)
oeuvres # Alan Turing # histoire # logique # philosophie des mathématiques # 20ème siècle # théorie de la peuve
01A75 ; 03-03 ; 03A05 ; 00A30 ; 01A60 ; 03F03
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xxxii; 613 p.
ISBN 978-0-521-67026-5
Cambridge introductions to philosophy
Localisation : Ouvrage RdC (PRIE)
logique # histoire de la logique # phylosophie # sous-système de la logique classique # logique modale # logique sous-structurelle # logique multi-valuée # logique floue # logique intermédiaire
03-01 ; 03-03 ; 03A05 ; 03B20 ; 03B45 ; 03B47 ; 03B50 ; 03B52 ; 03B55
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 424 p.
ISBN 978-0-486-60028-4
Dover classics of science and mathematics
Localisation : Ouvrage RdC (BOOL)
Boole # fondement de la logique # fondement des probabilités # logique # logique formelle # logique mathématique # probabilités
03A05 ; 03Bxx ; 03Gxx
... Lire [+]
