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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Elsevier

9780444868763

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Continuous Truth I Non-constructive Objects

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

10.1016/s0049-237x(08)71816-0 ◽

1984 ◽

pp. 161-180 ◽

Cited By ~ 4

Author(s):

Michael P. Fourman

Download Full-text

Undecidability of Rational Function Fields in Nonzero Characteristic

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

10.1016/s0049-237x(08)71810-x ◽

1984 ◽

pp. 85-95 ◽

Cited By ~ 7

Author(s):

Gregory L. Cherlin

Keyword(s):

Rational Function ◽

Function Fields ◽

Nonzero Characteristic

Download Full-text

Remarks on Tarski's problem concerning (R, +, *, exp)

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

10.1016/s0049-237x(08)71811-1 ◽

1984 ◽

pp. 97-121 ◽

Cited By ~ 21

Author(s):

Lou van den Dries

Download Full-text

Heyting-Valued Semantics

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

10.1016/s0049-237x(08)71817-2 ◽

1984 ◽

pp. 181-208 ◽

Cited By ~ 8

Author(s):

R.J. Grayson

Download Full-text

Preface

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

10.1016/s0049-237x(08)71808-1 ◽

1984 ◽

pp. v

Author(s):

G. Lolli ◽

G. Longo ◽

A. Marja

Download Full-text

Algebraic Logic and Diagonal Phenomena

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

10.1016/s0049-237x(08)71814-7 ◽

1984 ◽

pp. 135-144

Author(s):

Roberto Magari

Keyword(s):

Algebraic Logic

Download Full-text

Strong Saturation and the Foundations of Stability Theory

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

10.1016/s0049-237x(08)71809-3 ◽

1984 ◽

pp. 71-84

Author(s):

John T. Baldwin

Keyword(s):

Stability Theory

Download Full-text

Lambda Calculus kHV its Hovels

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

10.1016/s0049-237x(08)71818-4 ◽

1984 ◽

pp. 209-239 ◽

Cited By ~ 35

Author(s):

Henk Barendregt

Keyword(s):

Lambda Calculus

Download Full-text

Model Theoretic Issues in Theoretical Computer Science, Part I: Relational Data Bases and Abstract Data Types

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

10.1016/s0049-237x(08)71821-4 ◽

1984 ◽

pp. 303-343 ◽

Cited By ~ 6

Author(s):

J.A. Makowsky

Keyword(s):

Computer Science ◽

Theoretical Computer Science ◽

Relational Data ◽

Abstract Data Types ◽

Data Types ◽

Data Bases ◽

Theoretical Computer ◽

Abstract Data ◽

Relational Data Bases ◽

Science Part

Download Full-text

Edited by

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

10.1016/s0049-237x(08)71823-8 ◽

1984 ◽

pp. iii

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Elsevier

Continuous Truth I Non-constructive Objects

Undecidability of Rational Function Fields in Nonzero Characteristic

Remarks on Tarski's problem concerning (R, +, *, exp)

Heyting-Valued Semantics

Preface

Algebraic Logic and Diagonal Phenomena

Strong Saturation and the Foundations of Stability Theory

Lambda Calculus kHV its Hovels

Model Theoretic Issues in Theoretical Computer Science, Part I: Relational Data Bases and Abstract Data Types

Edited by

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