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.

Lecture notes in mathematics

Cote : M/A1(450)
ISBN/ISSN : 3-540-07152-0

anneau commutatif ; groupe ; 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(453)
ISBN/ISSN : 3-540-07155-5

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

Technologies de pointe

Cote : KAUFMANN l
ISBN/ISSN : 2-86601-137-6

logique symbolique ; logique ; intelligence artificielle

... Lire [+]

Sélection

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

V

Advances in mathematics : supplementary studies

Cote : ROTA s
ISBN/ISSN : 0-12-599101-0

combinatoire ; ensemble ; logique ; logique symbolique

... Lire [+]

Sélection

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

V

Graduate texts in mathematics

Cote : MONK m
ISBN/ISSN : 0-387-90170-1

fondement des mathématiques ; logique ; logique symbolique

... Lire [+]

Sélection

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

V

Graduate texts in mathematics

Cote : BARNES a
ISBN/ISSN : 0-387-90109-4

logique ; logique algébrique ; logique symbolique

... Lire [+]

Sélection

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

V

Cote : KLEENE m
ISBN/ISSN : 978-0-486-42533-7

logique ; fondement ; logique symbolique

... Lire [+]

Sélection

Documents logique symbolique 10 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

Algebra and logic Crossley, J. N. | Springer 1975 Nouveau

Logic colloquium Parikh, R. | Springer 1975 Nouveau

Logic conference Müller, Gert Heinz ; Oberschelp, A. ; Potthoff, K. | Springer 1975 Nouveau

Les logiques humaines et artificielles Kaufmann, A. | Hermès 1988 Nouveau

Studies in foundations and combinatorics Rota, Gian-Carlo | Academic Press 1978 Nouveau

Mathematical logic Monk, James Donald | Springer 1976 Nouveau

An algebraic introduction to mathematical logic Barnes, Donald W. ; Mack, John M. | Springer 1975 Nouveau

Mathematical logic Kleene, Stephen Cole | Dover 1967 Nouveau