15 résultat(s) recherche sur le mot-clé 'logique'

introduction à la logique / Rivenc, F.

Public ISBD Titre : introduction à la logique Type de document : texte imprimé Auteurs : Rivenc, F. Editeur : Paris : Payot Année de publication : 1989 Collection : Petite Bibliotheque Payot num. 14 Importance : 272 p. ISBN/ISSN/EAN : 978-2-228-88204-0 Langues : Français Mots-clés : deug  cours exercices  logique Index. décimale : 102A introduction à la logique [texte imprimé] / Rivenc, F. . - Paris : Payot, 1989 . - 272 p.. - (Petite Bibliotheque Payot; 14) . ISBN : 978-2-228-88204-0 Langues : Français Mots-clés : deug  cours exercices  logique Index. décimale : 102A

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
15942	102A30	imprimé / autre	CRDM	102/DEUG B MATHEMATIQUES POUR NON MATHEMATICIENS	Disponible

méthodes de logique / W. V. Quine

Public ISBD Titre : méthodes de logique Type de document : texte imprimé Auteurs : W. V. Quine ; Clavelin, Maurice Trad. Mention d'édition : 3° ed. Editeur : Paris : Armand Colin Année de publication : 1972 Collection : Collection U Importance : 294 p. Mots-clés : philosophy and foundations of mathematics  logique Index. décimale : 03C Monographie méthodes de logique [texte imprimé] / W. V. Quine ; Clavelin, Maurice Trad.  . -  3° ed. . - Paris : Armand Colin, 1972 . - 294 p.. - (Collection U) . Mots-clés : philosophy and foundations of mathematics  logique Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
16037	03C159	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Séminaire général de logique 1982-83 / Sabbagh, G. Eds. ; Louveau, Alain ; Daniel Lascar ; Delon, F.

Public ISBD Titre : Séminaire général de logique 1982-83 Type de document : texte imprimé Auteurs : Sabbagh, G. Eds. ; Louveau, Alain ; Daniel Lascar ; Delon, F. Editeur : Paris : U.E.R. de Mathématique Année de publication : 1983 Collection : Publications Mathématiques de l'Université Paris VII, ISSN 0073-8301 Importance : 186 p. Langues : Français Langues originales : Français Mots-clés : exposes  seminaire  logique Séminaire général de logique 1982-83 [texte imprimé] / Sabbagh, G. Eds. ; Louveau, Alain ; Daniel Lascar ; Delon, F. . - Paris : U.E.R. de Mathématique, 1983 . - 186 p.. - (Publications Mathématiques de l'Université Paris VII, ISSN 0073-8301) . Langues : Français Langues originales : Français Mots-clés : exposes  seminaire  logique

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9257	PVII/19	imprimé / autre	CRDM	PVII/PUBLICATIONS PARISVII	Disponible

Séminaire général de logique 1983-84 / Daniel Lascar ; Delon, F. ; M. Parigot

Public ISBD Titre : Séminaire général de logique 1983-84 Type de document : texte imprimé Auteurs : Daniel Lascar ; Delon, F. ; M. Parigot, Editeur scientifique Editeur : Paris : U.E.R de Mathématiques, UFR de Mathématiques Année de publication : 1984 Collection : Publications Mathématiques de l'Université Paris VII, ISSN 0073-830 Importance : 195 p. Langues : Français Langues originales : Français Catégories : 00-XX General:00BXX Conference proceedings and collections of papers 03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc. Mots-clés : exposes  seminaire  logique Séminaire général de logique 1983-84 [texte imprimé] / Daniel Lascar ; Delon, F. ; M. Parigot, Editeur scientifique . - Paris : U.E.R de Mathématiques, UFR de Mathématiques, 1984 . - 195 p.. - (Publications Mathématiques de l'Université Paris VII, ISSN 0073-830) . Langues : Français Langues originales : Français Catégories : 00-XX General:00BXX Conference proceedings and collections of papers 03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc. Mots-clés : exposes  seminaire  logique

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9259	PVII/27	imprimé / autre	CRDM	PVII/PUBLICATIONS PARISVII	Disponible

Cabal seminar 79-81:proceedings caltech-ucla seminar 1979-81 / Y. N. Eds. Moschovakis ; Martin, D. A. ; Kechris, A. S.

Public ISBD Titre : Cabal seminar 79-81:proceedings caltech-ucla seminar 1979-81 Type de document : texte imprimé Auteurs : Y. N. Eds. Moschovakis ; Martin, D. A. ; Kechris, A. S. Editeur : Springer-Verlag Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 1019 Importance : 284 ISBN/ISSN/EAN : 978-0-387-12688-3 Langues : Anglais Mots-clés : logique Index. décimale : LNM Cabal seminar 79-81:proceedings caltech-ucla seminar 1979-81 [texte imprimé] / Y. N. Eds. Moschovakis ; Martin, D. A. ; Kechris, A. S. . - [S.l.] : Springer-Verlag, [s.d.] . - 284. - (Lecture Notes in Mathematics, ISSN 0075-8434; 1019) . ISBN : 978-0-387-12688-3 Langues : Anglais Mots-clés : logique Index. décimale : LNM

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
5171	LNM/1019	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	Disponible

Déduction formelle et calculs logiques / V. A. Smirnov

Permalink

le Démontrable et l'indémontrable / Manine, I.

Permalink

Extensional godel functional interpretation / Luckhardt, H.

Permalink

Fondements de la mathématique discrète / V. A. Gorbatov

Permalink

Introductory concepts for abstract mathematics / Hummel, Kenneth E.

Permalink

Logic symposia hakone 1979-1980 / Takeuti, G. ; Muller, G. H. ; T. Tugue

Permalink

Logic year 1979-80 the university of connecticut USA / Lerman, M.

Permalink

Metamathematical investigation of intuitionistic arithmetic and analysis / Troelstra, A. S.

Permalink

Methods in mathematical logic:proceedings of the 6th latin american symposium

Permalink

The monadic second order theory of all countable ordinals / Buchi, J. Richard

Permalink