default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogic Colloquium 1985: Orsay, France
- Logic Colloquium '85, Orsay, France. Elsevier 1987, ISBN 0-444-70211-3
- A. Burdman Feferman, Solomon Feferman:
Jean van Heijenoort (1912-1986). Logic Colloquium 1985: 1-8 - Jean-Yves Girard:
La mouche dans la bouteille. Logic Colloquium 1985: 9-12 - Philippe de Rouilhan:
Jean van Heijenoort. Logic Colloquium 1985: 13-16 - Gisela Ahlbrandt:
Almost strongly minimal totally categorial theories. Logic Colloquium 1985: 17-32 - Andreas Baudisch:
On Lascar rank in non-multidimensional omega-stable theories. Logic Colloquium 1985: 33-52 - Steven Buechler:
"Geometrical" stability theory. Logic Colloquium 1985: 53-66 - Gregory L. Cherlin:
Homogeneous directed graphs. The imprimitive case. Logic Colloquium 1985: 67-88 - Bruno Courcelle:
Proofs of partial correctness for iterative and recursive computations. Logic Colloquium 1985: 89-110 - Jean van Heijenoort:
Système et Métasystème chez Russell. Logic Colloquium 1985: 111-122 - Thierry Coquand, Gérard P. Huet:
Concepts mathématiques et informatiques formalisés dans le calcul des constructions. Logic Colloquium 1985: 123-146 - Daniel Isaacson:
Arithmetical truth and hidden higher-order concepts. Logic Colloquium 1985: 147-170 - Gerhard Jäger:
Some proof-theoretic contributions to theories of sets. Logic Colloquium 1985: 171-192 - Kenneth L. Manders:
Logic and conceptual relationships in mathematics. Logic Colloquium 1985: 193-212 - Peter Päppinghaus:
Pi2-models of extensions of Kripke-Platek set theory. Logic Colloquium 1985: 213-232 - U. Hrushovski, Anand Pillay:
Weakly normal groups. Logic Colloquium 1985: 233-244 - Bruno Poizat:
A propos de groues stables. Logic Colloquium 1985: 245-266 - Marie-Françoise Roy:
Logique et géométrie algébrique réelle. Logic Colloquium 1985: 267-280 - Andre Scedrov:
Some aspects of categorial semantics: sheves and glueing. Logic Colloquium 1985: 281-302 - Ulf R. Schmerl:
Critères d'indépendence d'équations diophantiennes de fragments de l'alrithmétique. Logic Colloquium 1985: 303-
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-04 00:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
