Logic Colloquium '85 - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Elsevier

9780444702111

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Weakly Normal Groups

Logic Colloquium '85 - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70556-7 ◽

1987 ◽

pp. 233-244 ◽

Cited By ~ 29

Author(s):

U. Hrushovski ◽

A. Pillay

Download Full-text

Arithmetical Truth and Hidden Higher-Order Concepts

Logic Colloquium '85 - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70552-x ◽

1987 ◽

pp. 147-169 ◽

Cited By ~ 11

Author(s):

Daniel Isaacson

Keyword(s):

Higher Order ◽

Arithmetical Truth

Download Full-text

Copyright Page

Logic Colloquium '85 - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70537-3 ◽

1987 ◽

pp. iv

Download Full-text

Homogeneous Directed Graphs. The Imprimitive Case

Logic Colloquium '85 - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70548-8 ◽

1987 ◽

pp. 67-88 ◽

Cited By ~ 4

Author(s):

Gregory L. Cherlin

Keyword(s):

Directed Graphs

Download Full-text

Some Aspects of Categorical Semantics: Sheaves and Glueing

Logic Colloquium '85 - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70559-2 ◽

1987 ◽

pp. 281-301 ◽

Cited By ~ 1

Author(s):

Andre Scedrov

Keyword(s):

Categorical Semantics

Download Full-text

Logic and Conceptual Relationships in Mathematics

Logic Colloquium '85 - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70554-3 ◽

1987 ◽

pp. 193-211

Author(s):

Kenneth L. Manders

Keyword(s):

Conceptual Relationships

Download Full-text

Preface

Logic Colloquium '85 - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70539-7 ◽

1987 ◽

pp. vii

Download Full-text

List of Lectures

Logic Colloquium '85 - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70540-3 ◽

1987 ◽

pp. xi-xii

Download Full-text

Concepts Mathématiques et Informatiques Formalisés dans le Calcul des Constructions

Logic Colloquium '85 - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70551-8 ◽

1987 ◽

pp. 123-146 ◽

Cited By ~ 2

Author(s):

Thierry Coquand ◽

Gérard Huet

Download Full-text

Edited by

Logic Colloquium '85 - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(09)70536-1 ◽

1987 ◽

pp. iii

Download Full-text

Logic Colloquium '85 - Studies in Logic and the Foundations of MathematicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Elsevier

Weakly Normal Groups

Arithmetical Truth and Hidden Higher-Order Concepts

Copyright Page

Homogeneous Directed Graphs. The Imprimitive Case

Some Aspects of Categorical Semantics: Sheaves and Glueing

Logic and Conceptual Relationships in Mathematics

Preface

List of Lectures

Concepts Mathématiques et Informatiques Formalisés dans le Calcul des Constructions

Edited by

Logic Colloquium '85 - Studies in Logic and the Foundations of Mathematics
Latest Publications