Logic Colloquium 1985: Orsay, France

Logic Colloquium '85, Orsay, France. Elsevier 1987, ISBN 0-444-70211-3 BibTeX

@proceedings{DBLP:conf/logicColl/1985,
  title     = {Logic Colloquium '85, Orsay, France},
  booktitle = {Logic Colloquium},
  publisher = {Elsevier},
  year      = {1987},
  isbn      = {0-444-70211-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

A. Burdman Feferman, Solomon Feferman: Jean van Heijenoort (1912-1986). 1-8 BibTeX
Jean-Yves Girard: La mouche dans la bouteille. 9-12 BibTeX
Ph. de Rouilhan: Jean van Heijenoort. 13-16 BibTeX
G. Ahlbrandt: Almost strongly minimal totally categorial theories. 17-32 BibTeX
Andreas Baudisch: On Lascar rank in non-multidimensional omega-stable theories. 33-52 BibTeX
Steven Buechler: "Geometrical" stability theory. 53-66 BibTeX
Gregory L. Cherlin: Homogeneous directed graphs. The imprimitive case. 67-88 BibTeX
Bruno Courcelle: Proofs of partial correctness for iterative and recursive computations. 89-110 BibTeX
Jean van Heijenoort: Système et Métasystème chez Russell. 111-122 BibTeX
Thierry Coquand, Gérard P. Huet: Concepts mathématiques et informatiques formalisés dans le calcul des constructions. 123-146 BibTeX
D. Isaacson: Arithmetical truth and hidden higher-order concepts. 147-170 BibTeX
J. Jaeger: Some proof-theoretic contributions to theories of sets. 171-192 BibTeX
Kenneth L. Manders: Logic and conceptual relationships in mathematics. 193-212 BibTeX
Peter Päppinghaus: Pi₂-models of extensions of Kripke-Platek set theory. 213-232 BibTeX
U. Hrushovski, Anand Pillay: Weakly normal groups. 233-244 BibTeX
Bruno Poizat: A propos de groues stables. 245-266 BibTeX
Marie-Françoise Roy: Logique et géométrie algébrique réelle. 267-280 BibTeX
Andre Scedrov: Some aspects of categorial semantics: sheves and glueing. 281-302 BibTeX
Ulf R. Schmerl: Critères d'indépendence d'équations diophantiennes de fragments de l'alrithmétique. 303- BibTeX