Volume 8; Issue 1

Bulletin of Symbolic Logic

Volume 8; Issue 1
1

The Problem of Logical Constants

Gomez-Torrente, Mario
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 247 KB
english, 2002
2

Front Matter

Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 197 KB
english, 2002
4

The Problem of Logical Constants

Gomez-Torrente, Mario
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 3.31 MB
english, 2002
5

Fixed Point Logics

Anuj Dawar and Yuri Gurevich
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 1.75 MB
english, 2002
6

Notices

Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 496 KB
english, 2002
7

Back Matter

Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 218 KB
english, 2002
8

Engines of Logic. Mathematicians and the Origin of the Computerby Martin Davis

Review by: John W. Dawson
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 80 KB
english, 2002
9

The Complexity of Linear Logic with Weakeningby Alasdair Urquhart

Review by: Herman Ruge Jervell
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 334 KB
english, 2002
10

Thinking about Mathematics. The Philosophy of Mathematicsby Stewart Shapiro

Review by: Mark Balaguer
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 416 KB
english, 2002
14

In Memoriam: Willard van Orman Quine, 1908-2000

Dagfinn Follesdal and Charles Parsons
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 615 KB
english, 2002
15

Groups and Algebras of Binary Relations

Steven Givant and Hajnal Andreka
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 2.10 MB
english, 2002
16

2001 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '01

Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 6.11 MB
english, 2002
18

From Trotsky to Godel. The Life of Jean van Heijenoortby Anita Burdman Feferman

Review by: H. B. Enderton
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 89 KB
english, 2002
20

Review: Stewart Shapiro, Thinking about Mathematics. The Philosophy of Mathematics

Balaguer, Mark
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 68 KB
english, 2002
21

Fixed Point Logics

Dawar, Anuj, Gurevich, Yuri
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 195 KB
english, 2002
22

Groups and Algebras of Binary Relations

Givant, Steven, Andreka, Hajnal
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 273 KB
english, 2002
23

In Memoriam: Willard van Orman Quine, 1908-2000

Follesdal, Dagfinn, Parsons, Charles
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 64 KB
english, 2002
25

[Omnibus Review]

Becker, Howard S.
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 72 KB
english, 2002
26

Review: Alasdair Urquhart, The Complexity of Linear Logic with Weakening

Jervell, Herman Ruge
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 66 KB
english, 2002
27

Review: Martin Davis, Engines of Logic. Mathematicians and the Origin of the Computer

Dawson, John W.
Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 43 KB
english, 2002
28

BSL volume 8 issue 1 Cover and Front matter

Journal:
Bulletin of Symbolic Logic
Year:
2002
Language:
english
File:
PDF, 4.19 MB
english, 2002