Sommaire du Fascicule no. 1

Erratum: 1995-1996 Annual Meeting of the Association for Symbolic Logic

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Errata: Sagüillo and 1996-97 Annual Meeting of the Association for Symbolic Logic

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Sixth Asian Logic Conference

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Set Theory Generated by Abelian Group Theory

Eklof, Paul C.

Text on Project Euclid
PDF
Alt PDF
p. 1-16

Project Euclid
A Model-Theoretic Approach to Ordinal Analysis

Avigad, Jeremy ; Sommer, Richard

Text on Project Euclid
PDF
Alt PDF
p. 17-52

Project Euclid
On the Decision Problem for Two-Variable First-Order Logic

Grädel, Erich ; Kolaitis, Phokion G. ; Vardi, Moshe Y.

Text on Project Euclid
PDF
Alt PDF
p. 53-69

Project Euclid
In Memoriam: Paul Erdös, 1913-1996

Baumgartner, James E.

Text on Project Euclid
PDF
Alt PDF
p. 70-72

Project Euclid
1995 European Summer Meeting of the Association for Symbolic Logic

Text on Project Euclid
PDF
Alt PDF
p. 73-147

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 149-152

Project Euclid
Step by Recursive Step: Church's Analysis of Effective Calculability

Sieg, Wilfried

Text on Project Euclid
PDF
Alt PDF
p. 154-180

Project Euclid
The Impact of the Lambda Calculus in Logic and Computer Science

Barendregt, Henk

Text on Project Euclid
PDF
Alt PDF
p. 181-215

Project Euclid
Logical Consequence Revisited

Sagüillo, José M.

Text on Project Euclid
PDF
Alt PDF
p. 216-241

Project Euclid
1996 European Summer Meeting of the Association for Symbolic Logic

Text on Project Euclid
PDF
Alt PDF
p. 242-277

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 278-279

Project Euclid
The Mathematical Import of Zermelo's Well-Ordering Theorem

Kanamori, Akihiro

Text on Project Euclid
PDF
Alt PDF
p. 281-311

Project Euclid
Programs, Grammars and Arguments: A Personal View of Some Connections between Computation, Language and Logic

Lambek, J.

Text on Project Euclid
PDF
Alt PDF
p. 312-328

Project Euclid
New Dichotomies for Borel Equivalence Relations

Hjorth, Greg ; Kechris, Alexander S.

Text on Project Euclid
PDF
Alt PDF
p. 329-346

Project Euclid
Games and Definability for FPC

McCusker, Guy

Text on Project Euclid
PDF
Alt PDF
p. 347-362

Project Euclid
Australasian Association for Logic 31st Annual Conference

Text on Project Euclid
PDF
Alt PDF
p. 363-366

Project Euclid
1996-1997 Winter Meeting of the Association for Symbolic Logic

Text on Project Euclid
PDF
Alt PDF
p. 367-377

Project Euclid
1996-97 Annual Meeting of the Association for Symbolic Logic

Text on Project Euclid
PDF
Alt PDF
p. 378-396

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 397-400

Project Euclid
Domains for Computation in Mathematics, Physics and Exact Real Arithmetic

Edalat, Abbas

Text on Project Euclid
PDF
Alt PDF
p. 401-452

Project Euclid
An Elementary Approach to the Fine Structure of $L$

Friedman, Sy D. ; Koepke, Peter

Text on Project Euclid
PDF
Alt PDF
p. 453-468

Project Euclid
An Application of Category-Theoretic Semantics to the Characterisation of Complexity Classes Using Higher-Order Function Algebras

Hofmann, Martin

Text on Project Euclid
PDF
Alt PDF
p. 469-486

Project Euclid
7th Scandinavian Logic Symposium

Text on Project Euclid
PDF
Alt PDF
p. 487-488

Project Euclid
Association for Symbolic Logic

Text on Project Euclid
PDF
Alt PDF
p. 489-532

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 533-536

Project Euclid