Sommaire du Fascicule no. 1

George Boolos, President of the Association for Symbolic Logic

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Gödel '96 Logical Foundations of Mathematics, Computer Science and Physics Kurt Gödel's Legacy

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Erratum: Frege's Theorem and the Peano Postulates

Boolos, George

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Erratum: Australasian Association for Logic 30th Anniversary Conference

Text on Project Euclid
PDF
Alt PDF


Project Euclid
3rd Workshop on Logic, Language, Information and Computation (WoLLIC'96)

Text on Project Euclid
PDF
Alt PDF


Project Euclid
The Mathematical Development of Set Theory from Cantor to Cohen

Kanamori, Akihiro

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

Project Euclid
Geometry, Calculus and Zil'ber's Conjecture

Peterzil, Ya'Acov ; Starchenko, Sergei

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

Project Euclid
From "Metabelian $\text{Q}$-Vector Spaces" to New $\omega $-Stable Groups

Chapuis, Olivier

Text on Project Euclid
PDF
Alt PDF
p. 84-93

Project Euclid
Two Applications of Inner Model Theory to the Study of $\underset \sim \to{\Sigma}{}_{2}^{1}$ Sets

Hjorth, Greg

Text on Project Euclid
PDF
Alt PDF
p. 94-107

Project Euclid
In Memoriam: Hao Wang, 1921-1995

Parsons, Charles

Text on Project Euclid
PDF
Alt PDF
p. 108-111

Project Euclid
Australasian Association for Logic 30th Anniversary Conference

Text on Project Euclid
PDF
Alt PDF
p. 112-120

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 121-125

Project Euclid
The Discovery of My Completeness Proofs

Henkin, Leon

Text on Project Euclid
PDF
Alt PDF
p. 127-158

Project Euclid
Pure Proof Theory Aims, Methods and Results

Pohlers, Wolfram

Text on Project Euclid
PDF
Alt PDF
p. 159-188

Project Euclid
Hyperfinite Law of Large Numbers

Sun, Yeneng

Text on Project Euclid
PDF
Alt PDF
p. 189-198

Project Euclid
Definability, Automorphisms, and Dynamic Properties of Computably Enumerable Sets

Harrington, Leo ; Soare, Robert I.

Text on Project Euclid
PDF
Alt PDF
p. 199-213

Project Euclid
X Latin American Symposium on Mathematical Logic

Text on Project Euclid
PDF
Alt PDF
p. 214-237

Project Euclid
Notices

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

Project Euclid
Deductive Completeness

Došen, Kosta

Text on Project Euclid
PDF
Alt PDF
p. 243-283

Project Euclid
Computability and Recursion

Soare, Robert I.

Text on Project Euclid
PDF
Alt PDF
p. 284-321

Project Euclid
Linear Logic Proof Games and Optimization

Lincoln, Patrick D. ; Mitchell, John C. ; Scedrov, Andre

Text on Project Euclid
PDF
Alt PDF
p. 322-338

Project Euclid
Analytic Ideals

Solecki, Sławomir

Text on Project Euclid
PDF
Alt PDF
p. 339-348

Project Euclid
A Note on the Completeness of Kozen's Axiomatisation of the Propositional $\mu $-Calculus

Walukiewicz, Igor

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

Project Euclid
In Memoriam: Robin Oliver Gandy, 1919-1995

Moschovakis, Yiannis ; Yates, Mike

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

Project Euclid
In Memoriam: Vladimir Aleksandrovich Smirnov, 1931-1996

Vasyukov, V. L.

Text on Project Euclid
PDF
Alt PDF
p. 371-372

Project Euclid
Notices

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

Project Euclid
Another Use of Set Theory

Dehornoy, Patrick

Text on Project Euclid
PDF
Alt PDF
p. 379-391

Project Euclid
Definability in the Recursively Enumerable Degrees

Nies, André ; Shore, Richard A. ; Slaman, Theodore A.

Text on Project Euclid
PDF
Alt PDF
p. 392-404

Project Euclid
Une Preuve Formelle et Intuitionniste du Théorème de Complétude de la Logique Classique

Krivine, Jean-Louis

Text on Project Euclid
PDF
Alt PDF
p. 405-421

Project Euclid
Almost Everywhere Equivalence of Logics in Finite Model Theory

Hella, Lauri ; Kolaitis, Phokion G. ; Luosto, Kerkko

Text on Project Euclid
PDF
Alt PDF
p. 422-443

Project Euclid
In Memoriam: George Stephen Boolos, 1940-1996

Goldfarb, Warren

Text on Project Euclid
PDF
Alt PDF
p. 444-447

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

Text on Project Euclid
PDF
Alt PDF
p. 448-472

Project Euclid
Association for Symbolic Logic

Text on Project Euclid
PDF
Alt PDF
p. 474-518

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 519-522

Project Euclid
Errata: Došen and X Latin American Symposium on Mathematical Logic

Text on Project Euclid
PDF
Alt PDF
p. 523-524

Project Euclid