default search action

combined dblp search
author search
venue search
publication search

ask others

The Bulletin of Symbolic Logic, Volume 8

> Home > Journals > The Bulletin of Symbolic Logic

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 8, Number 1, March 2002

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Gomez-Torrene02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Gomez-Torrene02
Mario Gómez-Torrene:
The problem of logical constants. 1-37

Communications

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/GivantA02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/GivantA02
Steven Givant, Hajnal Andréka:
Groups and algebras of nary relations. 38-64
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/DawarG02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/DawarG02
Anuj Dawar, Yuri Gurevich:
Fixed point logics. 65-88

Volume 8, Number 2, June 2002

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/KamareddineLN02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/KamareddineLN02
Fairouz Kamareddine, Twan Laan, Rob Nederpelt:
Types in logic and mathematics before 1940. 185-245
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Schroeder-Heister02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Schroeder-Heister02
Peter Schroeder-Heister:
Resolution and the origins of structural reasoning: early proof-theoretic ideas of Hertz and Gentzen. 246-265

Communications

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Birkedal02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Birkedal02
Lars Birkedal:
A general notion of realizability. 266-282
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Ben-YaacovTW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Ben-YaacovTW02
Itay Ben-Yaacov, Ivan Tomasic, Frank O. Wagner:
The group configuration in simple theories and its applications. 283-298

Volume 8, Number 3, September 2002

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/AttenD02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/AttenD02
Mark van Atten, Dirk van Dalen:
Arguments for the continuity principle. 329-347
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/HirschHM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/HirschHM02
Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux:
Provability with finitely many variables. 348-379
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Rosen02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Rosen02
Eric Rosen:
Some aspects of model theory and finite structures. 380-403
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Hintikka02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Hintikka02
Jaakko Hintikka:
Hyperclassical logic (a.k.a. IF logic) and its implications for logical theory. 404-423

Volume 8, Issue 4, December, 2002

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Harizanov02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Harizanov02
Valentina S. Harizanov:
Computability-theoretic complexity of countable structures. 457-477
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Taylor02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Taylor02
R. Gregory Taylor:
Zermelo's Cantorian theory of systems of infinitely long propositions. 478-515

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.