Sommaire

Notices

Text on Project Euclid
PDF
Alt PDF
p. 573-580

Project Euclid
Association for Symbolic Logic

Text on Project Euclid
PDF
Alt PDF
p. 525-572

Project Euclid
XI Latin American Symposium on Mathematical Logic

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

Project Euclid
Australasian Association for Logic 29th Annual Conference

Text on Project Euclid
PDF
Alt PDF
p. 485-494

Project Euclid
1999 Spring Meeting of the Association for Symbolic Logic

Text on Project Euclid
PDF
Alt PDF
p. 479-484

Project Euclid
Terminal Notions

Zapletal, Jindřich

Text on Project Euclid
PDF
Alt PDF
p. 470-478

Project Euclid
The Syllogism's Final Solution

Russinoff, I. Susan

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

Project Euclid
19th Century Logic between Philosophy and Mathematics

Peckhaus, Volker

Text on Project Euclid
PDF
Alt PDF
p. 433-450

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 426-430

Project Euclid
6th Workshop on Logic, Language, Information and Computation (WoLLIC '99)

Text on Project Euclid
PDF
Alt PDF
p. 424-425

Project Euclid
5th Workshop on Logic, Language, Information and Computation (WoLLIC '98)

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

Project Euclid
1998-99 Annual Meeting of the Association for Symbolic Logic

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

Project Euclid
In Memoriam: Nelson Goodman, 1906-1998

Ullian, Joseph S.

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

Project Euclid
In Memoriam: Albert G. Dragalin, 1941-1998

Artemov, S. ; Kushner, B. ; Mints, G. ; Nogina, E. ; Troelstra, A.

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

Project Euclid
Accessible Recursive Functions

Wainer, Stanley S.

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

Project Euclid
Completeness before Post: Bernays, Hilbert, and the Development of Propositional Logic

Zach, Richard

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

Project Euclid
Between Russell and Hilbert: Behmann on the Foundations of Mathematics

Mancosu, Paolo

Text on Project Euclid
PDF
Alt PDF
p. 303-330

Project Euclid
Models of Second-Order Zermelo Set Theory

Uzquiano, Gabriel

Text on Project Euclid
PDF
Alt PDF
p. 289-302

Project Euclid
Notices

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

Project Euclid
1998-1999 Winter Meeting of the Association for Symbolic Logic

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

Project Euclid
Gap Forcing: Generalizing the Lévy-Solovay Theorem

Hamkins, Joel David

Text on Project Euclid
PDF
Alt PDF
p. 264-272

Project Euclid
Church's Problem Revisited

Kupferman, Orna ; Vardi, Moshe Y.

Text on Project Euclid
PDF
Alt PDF
p. 245-263

Project Euclid
The Logic of Bunched Implications

O'Hearn, Peter W. ; Pym, David J.

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

Project Euclid
Tarski's System of Geometry

Tarski, Alfred ; Givant, Steven

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

Project Euclid
New Directions in Descriptive Set Theory

Kechris, Alexander S.

Text on Project Euclid
PDF
Alt PDF
p. 161-174

Project Euclid
Erratum: Australasian Association for Logic 1997 Annual Conference

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Notices

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

Project Euclid
1998 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '98

Text on Project Euclid
PDF
Alt PDF
p. 59-153

Project Euclid
Ordered Groups: A Case Study in Reverse Mathematics

Solomon, Reed

Text on Project Euclid
PDF
Alt PDF
p. 45-58

Project Euclid
Hilbert's Programs: 1917-1922

Sieg, Wilfried

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

Project Euclid