Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

The Bulletin of Symbolic Logic, Volume 3

> 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 3, Number 1, March 1997

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Eklof97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Eklof97
Paul C. Eklof:
Set theory generated by Abelian group theory. 1-16
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/AvigadS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/AvigadS97
Jeremy Avigad, Richard Sommer:
A model-theoretic approach to ordinal analysis. 17-52

Communications

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/GradelKV97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/GradelKV97
Erich Grädel, Phokion G. Kolaitis, Moshe Y. Vardi:
On the decision problem for two-variable first-order logic. 53-69

Volume 3, Number 2, June 1997

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Shore97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Shore97
Richard A. Shore:
Alonzo Church. 153-

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Sieg97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Sieg97
Wilfried Sieg:
Step by recursive step: Church's analysis of effective calculability. 154-180
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Barendregt97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Barendregt97
Henk Barendregt:
The impact of the lambda calculus in logic and computer science. 181-215
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Saguillo97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Saguillo97
José M. Sagüillo:
Logical consequence revisited. 216-241

Volume 3, Number 3, September 1997

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Kanamori97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Kanamori97
Akihiro Kanamori:
The mathematical import of Zermelo's well-ordering theorem. 281-311
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Lambek97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Lambek97
Jim Lambek:
Programs, grammars and arguments: a personal view of some connections between computation, language and logic. 312-328

Communications

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/HjorthK97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/HjorthK97
Greg Hjorth, Alexander S. Kechris:
New dichotomies for Borel equivalence relations. 329-346
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/McCusker97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/McCusker97
Guy McCusker:
Games and definability for FPC. 347-362

Volume 3, Number 4, December 1997

Articles

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Edalat97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Edalat97
Abbas Edalat:
Domains for computation in mathematics, physics and exact real arithmetic. 401-452

Communications

- view
  authority control:
- export record
  dblp key:
  - journals/bsl/FriedmanK97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/FriedmanK97
Sy D. Friedman, Peter Koepke:
An elementary approach to the fine structure of L. 453-468
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/Hofmann97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/Hofmann97
Martin Hofmann:
An application of category-theoretic semantics to the characterisation of complexity classes using higher-order function algebras. 469-486

a service of

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.