Documents

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

Contemporary mathematics

Cote : M/A23(69)
ISBN/ISSN : 0-8218-5076-8

logique ; logique symbolique

... Lire [+]

Sélection

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

Contemporary mathematics

Cote : M/A23(65)
ISBN/ISSN : 0-8218-5052-0

combinatoire ; logique ; logique symbolique

... Lire [+]

Sélection

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

Contemporary mathematics

Cote : M/A23(39)
ISBN/ISSN : 0-8218-5040-7

algèbre de fonctions ; Bishop (Errett) ; philosophie des mathématiques

... Lire [+]

Sélection

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

Points sciences

Cote : DIEUDONNE p
ISBN/ISSN : 2-02-006061-2

histoire des mathématiques ; logique ; philosophie des mathématiques

... Lire [+]

Sélection

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

Lecture notes in mathematics

Cote : M/A1(740)
ISBN/ISSN : 3-540-09537-3

algèbre homologique ; anneau arithmétique ; anneau local ; anneau semi-local ; déformation ; groupe fini ; groupe infini ; méthode infinitésimale ; schéma de groupes

... Lire [+]

Sélection

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

Cote : LUXEMBOURG l

langage ; pensée mathématique

... Lire [+]

Sélection

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

Lecture notes in mathematics

Cote : M/A1(499)
ISBN/ISSN : 3-540-07534-8

ensemble ; logique ; logique symbolique

... 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.

Lecture notes in mathematics

Cote : M/A1(37)

hypothèse du continu ; logique ; modèle

... Lire [+]

Sélection

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

Publications du département de mathématiques. Université de Montréal : Séminaire de mathématiques supérieures

Cote : FRAISSE a

logique ; relation

... Lire [+]

Sélection

Documents 03-XX 77 résultats

Methods and applications of mathematical logic : Proceedings of the VII Latin American symposium on mathematical logic Carnielli, Walter Alexandre ; Alcantara, Luiz Paulo de | AMS 1988 Nouveau

Logic and combinatorics : Proceedings of the AMS-IMS-SIAM joint summer research conference Simpson, Stephen George | AMS 1987 Nouveau

Errett Bishop : Reflections on him and his research Rosenblatt, Murray ; Bishop, Errett | AMS 1985 Nouveau

Penser les mathématiques Dieudonné, Jean Alexandre ; Loi, Maurice ; Thom, René | Editions du Seuil 1982 Nouveau

Séminaire d'algèbre Paul Dubriel Malliavin, Marie-Paule ; Dubreil, Paul | Springer 1979 Nouveau

Langage et pensée mathématiques : actes du colloque international organisé au centre universitaire de Luxembourg | Centre universitaire de Luxembourg 1976 Nouveau

Logic conference Müller, Gert Heinz ; Oberschelp, A. ; Potthoff, K. | Springer 1975 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

Modelle der Mengenlehre : Widerspruchsfreiheit und Unabhängigkeit der Kontinuum-Hypothese und des Auswahlaxioms Jensen, Ronald Björn | Springer 1967 Nouveau

L'algèbre logique et ses rapports avec la théorie des relations Fraïssé, Roland | Les presses de l'Université de Montréal 1967 Nouveau