m

Bibliothèques de mathématique et de l'IREM

Documents  logique symbolique | enregistrements trouvés : 31

O
K L Q M | g | F x r

-A +A

P Q

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

Introduction à la logique formelle et symbolique : avec des exercices et leurs corrigés Salem, Jean. -Paris : Fernand Nathan , 1994 . - 141 p. ; 21 cm
ISBN 9782091905198


IremOuvrage

logique formelle ; logique symbolique ; exercice ; corrigé

... Lire [+]

|

Favoris

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

4

Gerer mes favoris

1

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

Logic and combinatorics : proceedings of the AMS-IMS-SIAM joit summer research conference held August 4-10, 1985, with support from the National Science Foundation Ed. Simpson, Stephen G.. -Providence RI : American mathematical Society , 1987 . - xi, 394


MathCongrès

logique symbolique ; analyse combinatoire

... Lire [+]

|

Favoris

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

4

Gerer mes favoris

1

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

Algebra, mathematical logic, number theory, topology : collection of survey papers 1 on the 50th anniversary of the institute Ed. Vinogradov, Ivan Matveevic ; Ed. Adian, Sergei I. ; Ed. Mishchenko, Evgenii F. ; Ed. Shafarevich, Igor R.. -Providence RI : American mathematical Society , 1986 . - vii, 267


MathCongrès

logique symbolique ; logique mathématique ; théorie des nombres ; topologie

... Lire [+]

|

Favoris

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

4

Gerer mes favoris

1

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

Mathematical logic Ed. Arruda, A.I. ; Ed. Da Costa, N.C.A. ; Ed. Chuaqui, R.. -New York : Marcel Dekker , 1978 . - xii, 303


MathCongrès

logique mathématique ; logique symbolique

... Lire [+]

|

Favoris

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

4

Gerer mes favoris

1

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

Mathematical logic Ebbinghaus, Heinz-Dieter ; Flum, Jörg ; Thomas, Wolfgang. -Cham : Springer , 2021 . - ix, 304 p. ; 24 cm
ISBN 9783030738389


MathOuvrage

logique mathématique ; logique symbolique

... Lire [+]

|

Favoris

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

4

Gerer mes favoris

1

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

Purity, spectra and localisation Prest, Mike. -Cambridge : Cambridge university Press , 2009 . - xxviii, 769 p. ; 24 cm
ISBN 9780521873086


MathOuvrage

logique symbolique ; théorie des catégories ; catégorie de module ; localisation de catégorie

... Lire [+]

|

Favoris

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

4

Gerer mes favoris

1

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

Mathematical logic Ebbinghaus, Heinz-Dieter ; Flum, Jörg ; Thomas, Wolfgang. -New York NY : Springer , 1994 . - x, 289 p. ; 24 cm
https://link.springer.com/bookseries/666


MathOuvrage

logique mathématique ; logique symbolique

... Lire [+]

|

Favoris

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

4

Gerer mes favoris

1

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

The Logical basis for computer programming. Vol. 2 : deductive systems Manna, Zohar ; Waldinger, R.. -Reading : Addison-Wesley , 1990 . - xiii, 642


MathOuvrage

programmation ; logique symbolique ; logique mathématique

... Lire [+]

|

Favoris

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

4

Gerer mes favoris

1

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

Logic for computer scientists Schoening, Uwe. -Basel : Birkhäuser , 1989 . - 166
http://link.springer.com/book/10.1007/978-0-8176-4763-6


MathOuvrage

logique symbolique ; logique mathématique ; programmation logique

... Lire [+]

|

Favoris

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

4

Gerer mes favoris

1

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

Computability, complexity, logic Börger, Egon. -Amsterdam : North-Holland , 1989 . - xx-592


MathOuvrage

fonction calculable ; complexité ; logique symbolique ; logique mathématique

... Lire [+]

|

Favoris

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

4

Gerer mes favoris

1

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

S. Lesniewski's lecture notes in logic Lesniewski, Stanislaw ; Ed. Srzednicki, Jan T.J. ; Ed. Stachniak, Zbigniew. -Dordrecht : Kluwer Academic Publishers , 1988 . - xi, 183


MathOuvrage

logique symbolique ; logique mathématique

... Lire [+]

|

Favoris

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

4

Gerer mes favoris

1

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

Mathematical intuitionism : introduction to proof theory Dragalin, A.G.. -Providence RI : American mathematical Society , 1988 . - ix, 228


MathOuvrage

logique symbolique ; logique mathématique

... Lire [+]

|

Favoris

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

4

Gerer mes favoris

1

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

A Formalization of set theory without variables Tarski, Alfred ; Givant, S.. -Providence RI : American mathematical Society , 1987 . - xxi, 318


MathOuvrage

théorie des ensembles ; logique symbolique ; logique mathématique

... Lire [+]

|

Favoris

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

4

Gerer mes favoris

1

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

Six papers in logic Artemov, S.N. ; Bekenov, M.I. ; Korshunov, A.D. ; Vail, V.E.. -Providence RI : American mathematical Society , 1987 . - ix, 79


MathOuvrage

logique symbolique ; logique mathématique

... Lire [+]

|

Favoris

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

4

Gerer mes favoris

1

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

Varieties of constructive mathematics Bridges, Douglas ; Richman, Fred. -Cambridge : Cambridge university Press , 1987 . - x-149


MathOuvrage

mathématiques constructives ; logique symbolique ; logique mathématique

... Lire [+]

|

Favoris

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

4

Gerer mes favoris

1

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

Introduction to mathematical logic and type theory : to truth through proof Andrews, Peter B.. -New York : Academic press , 1986 . - xv-304


MathOuvrage

logique mathématique ; logique symbolique

... Lire [+]

|

Favoris

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

4

Gerer mes favoris

1

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

The Logical basis for computer programming. Vol. 1 : deductive reasoning Manna, Zohar ; Waldinger, R.. -Reading : Addison-Wesley , 1985 . - xii, 618


MathOuvrage

programmation ; logique symbolique ; logique mathématique

... Lire [+]

|

Favoris

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

4

Gerer mes favoris

1

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

The Boole-de Morgan correspondence 1842-1864 Boole, George ; De Morgan, Augustus ; Ed. Smith, Geoff C.. -Oxford : Clarendon Press , 1982 . - 156


MathOuvrage

logique symbolique ; logique mathématique

... Lire [+]

|

Favoris

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

4

Gerer mes favoris

1

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

Introduction to mathematical logic : set theory, computable functions, model theory Malitz, J.. -Berlin : Springer , 1979 . - xii, 198
https://link.springer.com/bookseries/666


MathOuvrage

logique symbolique ; logique mathématique

... Lire [+]

|

Favoris

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

4

Gerer mes favoris

1

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

Mathematical logic : an introduction to model theory Lightstone, A. H. ; Ed. Enderton, H.B.. -New York : Plenum Press , 1978 . - xiii, 338
https://link.springer.com/bookseries/6268


MathOuvrage

logique symbolique ; logique mathématique ; théorie des modèles

... Lire [+]

|

Favoris

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

4

Gerer mes favoris

1

Tout sélectionner / Tout déselectionner

Listes : nb d'elts/page

Z