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.