A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
14 résultat(s) recherche sur le mot-clé 'logique symbolique' ![Surligner les mots recherchés Surligner les mots recherchés](./images/text_horizontalrule.png)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer...](./images/print.gif)
![](./images/orderby_az.gif)
Logique sans peine / Lewis CARROLL (Cop. 1966)
Titre : Logique sans peine Type de document : texte imprimé Auteurs : Lewis CARROLL, Auteur ; Max ERNST, Illustrateur ; Jean GATTEGNO, Traducteur ; Ernest COUMET, Traducteur Editeur : Paris : Hermann Année de publication : Cop. 1966 Importance : 288 p. Présentation : ill. ISBN/ISSN/EAN : 978-2-7056-5544-0 Langues : Français Langues originales : Anglais Mots-clés : logique mathématique logique symbolique Logique sans peine [texte imprimé] / Lewis CARROLL, Auteur ; Max ERNST, Illustrateur ; Jean GATTEGNO, Traducteur ; Ernest COUMET, Traducteur . - Paris : Hermann, Cop. 1966 . - 288 p. : ill.
ISBN : 978-2-7056-5544-0
Langues : Français Langues originales : Anglais
Mots-clés : logique mathématique logique symbolique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité i670 CAR/02/i670 Livre Recherche Salle Disponible Algebra and logic / J. N. CROSSLEY (1975)
Titre : Algebra and logic Type de document : texte imprimé Auteurs : J. N. CROSSLEY, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1975 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 450 ISBN/ISSN/EAN : 978-3-540-07152-5 Langues : Anglais Catégories : 00-02
00A10
01A05
01A60
02-03
02A05
02C10
02C20
55E05
20E40
02E99
02F99
02K05
13B25
13F20
13J05
13L05
20M10Mots-clés : logique symbolique logique mathématique algèbre groupe anneau commutatif Algebra and logic [texte imprimé] / J. N. CROSSLEY, Auteur . - Berlin : Springer-Verlag, 1975. - (Lecture Note in Mathematics, ISSN 0075-8434; 450) .
ISBN : 978-3-540-07152-5
Langues : Anglais
Catégories : 00-02
00A10
01A05
01A60
02-03
02A05
02C10
02C20
55E05
20E40
02E99
02F99
02K05
13B25
13F20
13J05
13L05
20M10Mots-clés : logique symbolique logique mathématique algèbre groupe anneau commutatif Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3052 LN 450 Livre Recherche Salle Disponible Cabal Seminar 77-79 / Alexander S. KECHRIS (1981)
Titre : Cabal Seminar 77-79 : Proceedings Caltech-UCLA logic seminar 1977-79 Type de document : séminaire Auteurs : Alexander S. KECHRIS, Auteur ; D.A. Martin, Auteur ; Yiannis N. MOSCHOVAKIS, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1981 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 839 Importance : 274 p. ISBN/ISSN/EAN : 978-3-540-10288-5 Langues : Anglais Catégories : 03DXX
03Exx
04-XXMots-clés : logique symbolique Note de contenu : références Cabal Seminar 77-79 : Proceedings Caltech-UCLA logic seminar 1977-79 [séminaire] / Alexander S. KECHRIS, Auteur ; D.A. Martin, Auteur ; Yiannis N. MOSCHOVAKIS, Auteur . - Berlin : Springer-Verlag, 1981 . - 274 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 839) .
ISBN : 978-3-540-10288-5
Langues : Anglais
Catégories : 03DXX
03Exx
04-XXMots-clés : logique symbolique Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5280 LN 839 Livre Recherche Salle Disponible Computation and proof theory / M.M. Richter (1984)
Titre : Computation and proof theory : Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983. Part II Type de document : séminaire Auteurs : M.M. Richter, Auteur ; E. Börger, Auteur ; W. Oberschelp, Auteur ; B. Schinzel, Auteur ; W. Thomas, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1984 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 1104 Importance : VIII-475 p. ISBN/ISSN/EAN : 978-3-540-13901-0 Langues : Anglais Catégories : 03DXX
03FXX
68CXXMots-clés : logique symbolique informatique Note de contenu : références Computation and proof theory : Proceedings of the Logic colloquium held in Aachen, July 18-23, 1983. Part II [séminaire] / M.M. Richter, Auteur ; E. Börger, Auteur ; W. Oberschelp, Auteur ; B. Schinzel, Auteur ; W. Thomas, Auteur . - Berlin : Springer-Verlag, 1984 . - VIII-475 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1104) .
ISBN : 978-3-540-13901-0
Langues : Anglais
Catégories : 03DXX
03FXX
68CXXMots-clés : logique symbolique informatique Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 2307 LN 1104 Livre Recherche Salle Disponible A deductive theory of space and time / Saul A. BASRI (Cop. 1966)
Titre : A deductive theory of space and time Type de document : texte imprimé Auteurs : Saul A. BASRI, Auteur Editeur : Amsterdam : North-Holland Publishing Company Année de publication : Cop. 1966 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : VII-163 p. Langues : Anglais Mots-clés : logique symbolique géométrie de l'espace-temps théorie des ensembles Note de contenu : index A deductive theory of space and time [texte imprimé] / Saul A. BASRI, Auteur . - Amsterdam : North-Holland Publishing Company, Cop. 1966 . - VII-163 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
Langues : Anglais
Mots-clés : logique symbolique géométrie de l'espace-temps théorie des ensembles Note de contenu : index Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5441 BAS/02/3788 Livre Recherche Salle Disponible Logic and computer science / S. Homer (1990)
PermalinkLogic colloquium / R. ed. PARIKH (1975)
PermalinkMathematical logic and applications / J. Shinoda (1989)
PermalinkMethods in mathematical logic / C.A. DI Presco (1985)
PermalinkModels and sets / G. H. MÜLLER (1984)
Permalink