default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Bulletin of Symbolic Logic, Volume 5
Volume 5, Number 1, March 1999
- Wilfried Sieg:
Hilbert's programs: 1917-1922. 1-44
- Reed Solomon:
Ordered groups: a case study in reverse mathematics. 45-58
Volume 5, Number 2, June 1999
- Alexander S. Kechris:
New directions in descriptive set theory. 161-174 - Alfred Tarski, Steven Givant:
Tarski's system of geometry. 175-214
- Peter W. O'Hearn, David J. Pym:
The logic of bunched implications. 215-244 - Orna Kupferman, Moshe Y. Vardi:
Church's problem revisited. 245-263 - Joel David Hamkins
:
Gap forcing: Generalizing the Lévy-Solovay theorem. 264-272
Volume 5, Number 3, September 1999
- Gabriel Uzquiano:
Models of second-order Zermelo set theory. 289-302 - Paolo Mancosu:
Between Russell and Hilbert: Behmann on the foundations of mathematics. 303-330 - Richard Zach:
Completeness before Post: Bernays, Hilbert, and the development of propositional logic. 331-366
- Stanley S. Wainer:
Accessible recursive functions. 367-388
Volume 5, Number 4, December 1999
- Volker Peckhaus:
19th century logic between philosophy and mathematics. 433-450 - I. Susan Russinoff:
The syllogism's final solution. 451-469
- Jindrich Zapletal:
Terminal notions. 470-478
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.
last updated on 2025-12-04 22:08 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
