Logique mathématique t.1 / R. Cori

Public ISBD Titre : Logique mathématique t.1 : Calcul propositionnel, algèbres de Boole, calcul des prédicats Titre original : Cours et exercices Type de document : texte imprimé Auteurs : R. Cori ; Daniel Lascar ; Krivine, Jean-Louis, Préfacier, etc. Editeur : Paris Milan Barcelone Bonn : Masson Année de publication : 1993 Collection : Axiomes collection de logique mathématique, ISSN 1243-4264 Importance : xv 385 p. ISBN/ISSN/EAN : 978-2-225-84079-1 Langues : Français Mots-clés : logique mathematique calcul propositionnel algebres de boole predicats Index. décimale : 103I Logique mathématique t.1 = Cours et exercices : Calcul propositionnel, algèbres de Boole, calcul des prédicats [texte imprimé] / R. Cori ; Daniel Lascar ; Krivine, Jean-Louis, Préfacier, etc. . - Paris Milan Barcelone Bonn : Masson, 1993 . - xv 385 p.. - (Axiomes collection de logique mathématique, ISSN 1243-4264) . ISBN : 978-2-225-84079-1 Langues : Français Mots-clés : logique mathematique calcul propositionnel algebres de boole predicats Index. décimale : 103I

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
11119	103I01	imprimé / autre	CRDM	103/DEUG ET MATHEMATIQUES SPECIALES	Disponible

Logique mathématique t.2 / R. Cori

Public ISBD Titre : Logique mathématique t.2 : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles Titre original : Cours et exercices Type de document : texte imprimé Auteurs : R. Cori ; Daniel Lascar ; Krivine, Jean-Louis Editeur : Paris Milan Barcelone Bonn : Masson Année de publication : 1993 Collection : Axiomes collection de logique mathématique, ISSN 1243-4264 Importance : xv - 347 p. ISBN/ISSN/EAN : 978-2-225-84080-7 Langues : Français Mots-clés : logique mathematique fonction recursive theoreme de g? theorie ensemble modele Index. décimale : 103I Logique mathématique t.2 = Cours et exercices : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles [texte imprimé] / R. Cori ; Daniel Lascar ; Krivine, Jean-Louis . - Paris Milan Barcelone Bonn : Masson, 1993 . - xv - 347 p.. - (Axiomes collection de logique mathématique, ISSN 1243-4264) . ISBN : 978-2-225-84080-7 Langues : Français Mots-clés : logique mathematique fonction recursive theoreme de g? theorie ensemble modele Index. décimale : 103I

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
11118	103I02	imprimé / autre	CRDM	103/DEUG ET MATHEMATIQUES SPECIALES	Disponible

Model theory an algebraic geometry / Daniel Lascar ; Hrushovski, E. ; Hindry, M. ; Delon, F.

Public ISBD Titre : Model theory an algebraic geometry : an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture Type de document : texte imprimé Auteurs : Daniel Lascar ; Hrushovski, E. ; Hindry, M. ; Delon, F. ; Bouscaren, E., Editeur scientifique Editeur : Springer-Verlag Année de publication : 1998 Collection : LNM, ISSN 0075-8434 num. 1696 Importance : x - 211 p. ISBN/ISSN/EAN : 978-3-540-64863-5 Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B15 Collections of articles of miscellaneous specific content 03-XX Mathematical logic and foundations:03CXX Model theory:03C60 Model-theoretic algebra 14-XX Algebraic geometry:14GXX Arithmetic problems. Diophantine geometry :14G05 Rational points Mots-clés : mordell-lang conjecture, morley rank, omega-stable groups, zariski geometries Index. décimale : LNM Model theory an algebraic geometry : an introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture [texte imprimé] / Daniel Lascar ; Hrushovski, E. ; Hindry, M. ; Delon, F. ; Bouscaren, E., Editeur scientifique . - [S.l.] : Springer-Verlag, 1998 . - x - 211 p.. - (LNM, ISSN 0075-8434; 1696) . ISBN : 978-3-540-64863-5 Langues : Anglais Catégories : 00-XX General:00BXX Conference proceedings and collections of papers:00B15 Collections of articles of miscellaneous specific content 03-XX Mathematical logic and foundations:03CXX Model theory:03C60 Model-theoretic algebra 14-XX Algebraic geometry:14GXX Arithmetic problems. Diophantine geometry :14G05 Rational points Mots-clés : mordell-lang conjecture, morley rank, omega-stable groups, zariski geometries Index. décimale : LNM

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13627	LNM/1696	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	Disponible
11807	LNM/1696	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	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

La théorie des modèles en peu de maux / Daniel Lascar

Permalink

---

page 1/1