1635 results in Bulletin of Symbolic Logic
Construction of Truth Predicates: Approximation Versus Revision
-
- Journal:
- Bulletin of Symbolic Logic / Volume 4 / Issue 4 / December 1998
- Published online by Cambridge University Press:
- 15 January 2014, pp. 399-417
- Print publication:
- December 1998
-
- Article
- Export citation
BSL volume 4 issue 4 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 4 / Issue 4 / December 1998
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b3
- Print publication:
- December 1998
-
- Article
-
- You have access
- Export citation
Australasian Association for Logic 1997 Annual Conference
-
- Journal:
- Bulletin of Symbolic Logic / Volume 4 / Issue 4 / December 1998
- Published online by Cambridge University Press:
- 15 January 2014, pp. 459-464
- Print publication:
- December 1998
-
- Article
- Export citation
Cut Elimination in the Presence of Axioms
-
- Journal:
- Bulletin of Symbolic Logic / Volume 4 / Issue 4 / December 1998
- Published online by Cambridge University Press:
- 15 January 2014, pp. 418-435
- Print publication:
- December 1998
-
- Article
- Export citation
1995–1996 Winter Meeting of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 4 / Issue 4 / December 1998
- Published online by Cambridge University Press:
- 15 January 2014, pp. 436-442
- Print publication:
- December 1998
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 4 / Issue 4 / December 1998
- Published online by Cambridge University Press:
- 15 January 2014, pp. 511-516
- Print publication:
- December 1998
-
- Article
- Export citation
Finite Variable Logics in Descriptive Complexity Theory
-
- Journal:
- Bulletin of Symbolic Logic / Volume 4 / Issue 4 / December 1998
- Published online by Cambridge University Press:
- 15 January 2014, pp. 345-398
- Print publication:
- December 1998
-
- Article
- Export citation
1997–98 Annual Meeting of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 4 / Issue 4 / December 1998
- Published online by Cambridge University Press:
- 15 January 2014, pp. 443-458
- Print publication:
- December 1998
-
- Article
- Export citation
Developments in Constructive Nonstandard Analysis
-
- Journal:
- Bulletin of Symbolic Logic / Volume 4 / Issue 3 / September 1998
- Published online by Cambridge University Press:
- 15 January 2014, pp. 233-272
- Print publication:
- September 1998
-
- Article
- Export citation
Incompleteness, Mechanism, and Optimism
-
- Journal:
- Bulletin of Symbolic Logic / Volume 4 / Issue 3 / September 1998
- Published online by Cambridge University Press:
- 15 January 2014, pp. 273-302
- Print publication:
- September 1998
-
- Article
- Export citation
Truth Definitions, Skolem Functions and Axiomatic Set Theory
-
- Journal:
- Bulletin of Symbolic Logic / Volume 4 / Issue 3 / September 1998
- Published online by Cambridge University Press:
- 15 January 2014, pp. 303-337
- Print publication:
- September 1998
-
- Article
- Export citation
In Memoriam: Richard (Routley) Sylvan 1935-1996
-
- Journal:
- Bulletin of Symbolic Logic / Volume 4 / Issue 3 / September 1998
- Published online by Cambridge University Press:
- 15 January 2014, pp. 338-340
- Print publication:
- September 1998
-
- Article
-
- You have access
- Export citation
BSL volume 4 issue 3 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 4 / Issue 3 / September 1998
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b3
- Print publication:
- September 1998
-
- Article
-
- You have access
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 4 / Issue 3 / September 1998
- Published online by Cambridge University Press:
- 15 January 2014, pp. 341-344
- Print publication:
- September 1998
-
- Article
- Export citation
BSL volume 4 issue 3 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 4 / Issue 3 / September 1998
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f6
- Print publication:
- September 1998
-
- Article
-
- You have access
- Export citation
1998 Spring Meeting of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 4 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 15 January 2014, pp. 210-216
- Print publication:
- June 1998
-
- Article
- Export citation
4th Workshop on Logic, Language, Information and Computation (WoLLIC '97)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 4 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 15 January 2014, pp. 225-226
- Print publication:
- June 1998
-
- Article
- Export citation
BSL volume 4 issue 2 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 4 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b3
- Print publication:
- June 1998
-
- Article
-
- You have access
- Export citation
Alonzo Church and the Reviews
-
- Journal:
- Bulletin of Symbolic Logic / Volume 4 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 15 January 2014, pp. 172-180
- Print publication:
- June 1998
-
- Article
- Export citation
1997–1998 Winter Meeting of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 4 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 15 January 2014, pp. 217-224
- Print publication:
- June 1998
-
- Article
- Export citation