1635 results in Bulletin of Symbolic Logic
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 2 / Issue 4 / December 1996
- Published online by Cambridge University Press:
- 15 January 2014, pp. 519-522
- Print publication:
- December 1996
-
- Article
- Export citation
Almost Everywhere Equivalence of Logics in Finite Model Theory
-
- Journal:
- Bulletin of Symbolic Logic / Volume 2 / Issue 4 / December 1996
- Published online by Cambridge University Press:
- 15 January 2014, pp. 422-443
- Print publication:
- December 1996
-
- Article
- Export citation
Errata
-
- Journal:
- Bulletin of Symbolic Logic / Volume 2 / Issue 4 / December 1996
- Published online by Cambridge University Press:
- 15 January 2014, pp. 523-524
- Print publication:
- December 1996
-
- Article
- Export citation
George Boolos President of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 2 / Issue 3 / September 1996
- Published online by Cambridge University Press:
- 15 January 2014, p. 373
- Print publication:
- September 1996
-
- Article
- Export citation
Deductive Completeness
-
- Journal:
- Bulletin of Symbolic Logic / Volume 2 / Issue 3 / September 1996
- Published online by Cambridge University Press:
- 15 January 2014, pp. 243-283
- Print publication:
- September 1996
-
- Article
- Export citation
A Note on the Completeness of Kozen's Axiomatisation of the Propositional μ-Calculus
-
- Journal:
- Bulletin of Symbolic Logic / Volume 2 / Issue 3 / September 1996
- Published online by Cambridge University Press:
- 15 January 2014, pp. 349-366
- Print publication:
- September 1996
-
- Article
- Export citation
BSL volume 2 issue 3 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 2 / Issue 3 / September 1996
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b2
- Print publication:
- September 1996
-
- Article
-
- You have access
- Export citation
In Memoriam: Vladimir Aleksandrovich Smirnov 1931–1996
-
- Journal:
- Bulletin of Symbolic Logic / Volume 2 / Issue 3 / September 1996
- Published online by Cambridge University Press:
- 15 January 2014, pp. 371-372
- Print publication:
- September 1996
-
- Article
-
- You have access
- Export citation
Linear Logic Proof Games and Optimization
-
- Journal:
- Bulletin of Symbolic Logic / Volume 2 / Issue 3 / September 1996
- Published online by Cambridge University Press:
- 15 January 2014, pp. 322-338
- Print publication:
- September 1996
-
- Article
- Export citation
3rd Workshop on Logic, Language, Information and Computation (Wollic'96)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 2 / Issue 3 / September 1996
- Published online by Cambridge University Press:
- 15 January 2014, p. 374
- Print publication:
- September 1996
-
- Article
- Export citation
BSL volume 2 issue 3 Cover and Front matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 2 / Issue 3 / September 1996
- Published online by Cambridge University Press:
- 05 July 2016, pp. f1-f6
- Print publication:
- September 1996
-
- Article
-
- You have access
- Export citation
Analytic Ideals
-
- Journal:
- Bulletin of Symbolic Logic / Volume 2 / Issue 3 / September 1996
- Published online by Cambridge University Press:
- 15 January 2014, pp. 339-348
- Print publication:
- September 1996
-
- Article
- Export citation
Computability and Recursion
-
- Journal:
- Bulletin of Symbolic Logic / Volume 2 / Issue 3 / September 1996
- Published online by Cambridge University Press:
- 15 January 2014, pp. 284-321
- Print publication:
- September 1996
-
- Article
- Export citation
In Memoriam: Robin Oliver Gandy 1919–1995
-
- Journal:
- Bulletin of Symbolic Logic / Volume 2 / Issue 3 / September 1996
- Published online by Cambridge University Press:
- 15 January 2014, pp. 367-370
- Print publication:
- September 1996
-
- Article
-
- You have access
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 2 / Issue 3 / September 1996
- Published online by Cambridge University Press:
- 15 January 2014, pp. 375-377
- Print publication:
- September 1996
-
- Article
- Export citation
X Latin American Symposium on Mathematical Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 2 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 15 January 2014, pp. 214-237
- Print publication:
- June 1996
-
- Article
- Export citation
The Discovery of My Completeness Proofs
-
- Journal:
- Bulletin of Symbolic Logic / Volume 2 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 15 January 2014, pp. 127-158
- Print publication:
- June 1996
-
- Article
- Export citation
Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa
-
- Journal:
- Bulletin of Symbolic Logic / Volume 2 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 15 January 2014, pp. 159-188
- Print publication:
- June 1996
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 2 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 15 January 2014, pp. 238-241
- Print publication:
- June 1996
-
- Article
- Export citation
BSL volume 2 issue 2 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 2 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b2
- Print publication:
- June 1996
-
- Article
-
- You have access
- Export citation