Logique mathématique :
cours et exercices /
René Cori, Daniel Lascar ; préface de J.L. Krivine.

Description

Tools

Cite this Export citation file

Main Author: Cori, René.
Related Names: Lascar, D. (Daniel), 1942-
Language(s): French
Published: Paris : Masson , 1993.
Edition: 2. tirage corrigé.
Subjects: Logic, Symbolic and mathematical > Logic, Symbolic and mathematical / Problems, exercises, etc.
Logic, Symbolic and mathematical.
Physical Description: 2 v. : ill. ; 24 cm.
ISBN: 2225840806
2225840792
Locate a Print Version: Find in a library

Viewability

Item Link	Original Source
Limited (search only) v.1	University of Michigan
Limited (search only) v.2	University of Michigan

View HathiTrust MARC record

Similar Items

Stabilité en théorie des modèles

Author: Lascar, D. (Daniel), 1942-
Published: 1986

Stability in model theory

Author: Lascar, D. (Daniel), 1942-
Published: 1987

Sèminaire général de logique, 1983-1984

Author: Parigot, M. (Michel)
Published: 1986

Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic

Author: Logic Colloquium (1980 : Prague, Czech Republic)
Published: 1982

Logic Colloquium 2000 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Paris, France, July 23-31, 2000

Author: Logic Colloquium (2000 : Paris, France)
Published: 2005

Mythe et épopée

Author: Dumézil, Georges, 1898-1986.
Published: 1995

Nietzsche et la métaphore

Author: Kofman, Sarah.
Published: 1988

France and modernisation

Author: Gaffney, John, 1950-
Published: 1988

Principles of modern radar systems

Author: Carpentier, Michel H.
Published: 1988

Le mirage linguistique : essai sur la modernisation intellectuelle

Author: Pavel, Thomas G., 1941-
Published: 1988