Daniel Lascar (lascar)

Contributi a Philosophie.ch

Bibliography

Cori, René and Lascar, Daniel. 2003a. Logique Mathématique: 1. Calcul Propositionnel, Algèbre de Boole, Calcul des Prédicats. Sciences Sup. Paris: Dunod.
Cori, René and Lascar, Daniel. 2003b. Logique Mathématique: 2. Fonctions Récursives, Théorème de Gödel, Théorie des Ensembles, Théorie des Modèles. Sciences Sup. Paris: Dunod.
van Dalen, Dirk, Lascar, Daniel and Smiley, Timothy J., eds. 1982. Logic Colloquium ’80. Papers intended for the European Summer Meeting of the Association for Symbolic Logic. Studies in Logic and the Foundations of Mathematics n. 108. Amsterdam: North-Holland Publishing Co.
Ebbinghaus, Hans Dieter, Fernandez-Prida, J., Garrido, Manuel, Lascar, Daniel and Rodriguez-Artalejo, Mario, eds. 1989. Logic Colloquium ’87, Proceedings of the Colloquium held in Granada Spain, 20-25 July 1987. Studies in Logic and the Foundations of Mathematics n. 129. Amsterdam: North-Holland Publishing Co.
Larrazabal, Jesús M., Lascar, Daniel and Mints, Grigori E., eds. 1998. Logic Colloquium ’96 – Proceedings of the Colloquium Held in San Sebastián, Spain, July 9–15, 1996. Cambridge: Cambridge University Press, doi:10.1017/9781316716816.
Lascar, Daniel. 1975. “Définissabilité dans les théories stables.” Logique et Analyse 18(71–72): 489–507.
Lascar, Daniel, van Dalen, Dirk and Smiley, Timothy J., eds. 1982. Logic Colloquium ’80. Amsterdam: North-Holland Publishing Co.