default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Bulletin of Symbolic Logic, Volume 1
Volume 1, Number 1, March 1995
- Richard A. Shore:
The Bulletin of Symbolic Logic. 1-3 - Guidelines for logic education. 4-8
- Joseph R. Shoenfield:
The mathematical work of S. C. Kleene. 9-43 - Charles D. Parsons:
Platonism and mathematical intuition in Kurt Gödel's thought. 44-74
- John R. Steel:
HODL(R) is a core model below \Theta. 75-84
Volume 1, Number 2, June 1995
- Dirk van Dalen:
Herman Weyl's intuitionistic mathematics. 145-169 - Noa Goldring:
Measures: back and forth between point sets and large sets. 170-188
- Steffen Lempp, Manuel Lerman:
A general framework for priority arguments. 189-201
Volume 1, Number 3, September 1995
- Martin Davis:
American logic in the 1920s. 273-278 - Chris Freiling:
How to compute antiderivatives. 279-316
- George Boolos:
Frege's theorem and the Peano postulates. 317-326 - Itay Neeman:
Optimal proofs of determinacy. 327-339
Volume 1, Number 4, December 1995
- Ronald B. Jensen:
Inner models and large cardinals. 393-407 - Thomas Jech:
Singular cardinals and the PCF theory. 408-424 - Alasdair Urquhart:
The complexity of propositional proofs. 425-467
- Michael Rathjen:
Recent advances in ordinal analysis: pi12 - CA and related systems. 468-485
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 2026-07-16 00:35 CEST 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
