


default search action
The Bulletin of Symbolic Logic, Volume 4
Volume 4, Number 1, March 1998
- Wilfrid Hodges:

An editor recalls some hopeless papers. 1-16 - Byunghan Kim, Anand Pillay:

From stability to simplicity. 17-36
- Ilijas Farah

:
Completely additive liftings. 37-54
Volume 4, Number 2, June 1998
- C. Anthony Anderson:

Alonzo Church's contributions to philosophy and intensional logic. 129-171 - Herbert B. Enderton:

Alonzo Church and the Reviews. 172-180 - Richard Tieszen:

G\"odel's path from the incompleteness theorems (1931) to phenomenology (1961). 181-203
- Marcia J. Groszek, Theodore A. Slaman:

A basis theorem for perfect sets. 204-209
Volume 4, Number 3, September 1998
- Erik Palmgren:

Developments in constructive nonstandard analysis. 233-272 - Stewart Shapiro:

Incompleteness, mechanism, and optimism. 273-302 - Jaakko Hintikka:

Truth definitions, Skolem functions and axiomatic set theory. 303-337
Volume 4, Number 4, December 1998
- Martin Grohe:

Finite variable logics in descriptive complexity theory. 345-398 - Juan Barba:

Construction of truth predicates: approximation versus revision. 399-417
- Sara Negri, Jan von Plato:

Cut elimination in the presence of axioms. 418-435

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














