Logic Colloquium '88, Proceedings of the Colloquium held in Padova - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Elsevier

9780444874559

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Intuitionistic formal spaces and their neighbourhood

Logic Colloquium '88, Proceedings of the Colloquium held in Padova - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70272-6 ◽

1989 ◽

pp. 261-285 ◽

Cited By ~ 4

Author(s):

Giovanni Sambin

Download Full-text

The Π12-Singleton Conjecture: An Introduction

Logic Colloquium '88, Proceedings of the Colloquium held in Padova - Studies in Logic and the Foundations of Mathematics ◽

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

1989 ◽

pp. 113-116

Author(s):

D. Friedman

Download Full-text

A Lefschetz Principle for Integral Closures

Logic Colloquium '88, Proceedings of the Colloquium held in Padova - Studies in Logic and the Foundations of Mathematics ◽

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

1989 ◽

pp. 53-59

Author(s):

Angus Macintyre

Keyword(s):

Lefschetz Principle ◽

Integral Closures

Download Full-text

LTF - A Logic Teaching Framework

Logic Colloquium '88, Proceedings of the Colloquium held in Padova - Studies in Logic and the Foundations of Mathematics ◽

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

1989 ◽

pp. 393-403

Author(s):

Duncan J Watt

Download Full-text

European Summer Meeting of the Association for Symbolic Logic Padova, 1988

Logic Colloquium '88, Proceedings of the Colloquium held in Padova - Studies in Logic and the Foundations of Mathematics ◽

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

1989 ◽

pp. v-vi

Author(s):

Ruggero Ferro ◽

Cinzia Bonotto ◽

Silvio Valentini ◽

Alberto Zanardo

Keyword(s):

Symbolic Logic

Download Full-text

Edited by

Logic Colloquium '88, Proceedings of the Colloquium held in Padova - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70255-6 ◽

1989 ◽

pp. ii-iii

Download Full-text

The Descriptive Set Theory of σ - Ideals of Compact Sets

Logic Colloquium '88, Proceedings of the Colloquium held in Padova - Studies in Logic and the Foundations of Mathematics ◽

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

1989 ◽

pp. 117-138

Author(s):

Alexander S. Kechris

Keyword(s):

Set Theory ◽

Descriptive Set Theory ◽

Compact Sets ◽

Descriptive Set

Download Full-text

Trends in Logic

Logic Colloquium '88, Proceedings of the Colloquium held in Padova - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70277-5 ◽

1989 ◽

pp. 365-367

Author(s):

Angus Macintyre

Download Full-text

The C*-Algebras of Three-Valued Logic

Logic Colloquium '88, Proceedings of the Colloquium held in Padova - Studies in Logic and the Foundations of Mathematics ◽

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

1989 ◽

pp. 61-77 ◽

Cited By ~ 9

Author(s):

Danele Mundici

Keyword(s):

C Algebras

Download Full-text

Remarks on Logic in Mathematics and in Computer Science

Logic Colloquium '88, Proceedings of the Colloquium held in Padova - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70279-9 ◽

1989 ◽

pp. 371-373

Author(s):

Giuseppe Longo

Keyword(s):

Computer Science

Download Full-text

Logic Colloquium '88, Proceedings of the Colloquium held in Padova - Studies in Logic and the Foundations of MathematicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Elsevier

Intuitionistic formal spaces and their neighbourhood

The Π12-Singleton Conjecture: An Introduction

A Lefschetz Principle for Integral Closures

LTF - A Logic Teaching Framework

European Summer Meeting of the Association for Symbolic Logic Padova, 1988

Edited by

The Descriptive Set Theory of σ - Ideals of Compact Sets

Trends in Logic

The C*-Algebras of Three-Valued Logic

Remarks on Logic in Mathematics and in Computer Science

Logic Colloquium '88, Proceedings of the Colloquium held in Padova - Studies in Logic and the Foundations of Mathematics
Latest Publications