1635 results in Bulletin of Symbolic Logic
Marcus Giaquinto. The search for certainty: a philosophical account of foundations of mathematics. Clarendon Press, Oxford, 2002, xii + 286 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 214-216
- Print publication:
- June 2004
-
- Article
- Export citation
Wahrheit und Beweisbarkeit. Kurt Gödel. Dokumente und historische Analysen. edited by Eckehart Köhler et al., Band 1. öbv et hpt, Wien, 2003, 278 pp. - Wahrheit und Beweisbarkeit. Kurt Gödel. Kompendium zum Werk. edited by Bernd Buldt et al., Band 2. öbv et hpt, Wien, 2003, 445 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 228-232
- Print publication:
- June 2004
-
- Article
- Export citation
2003 Annual Conference of the Australasian Association for Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 290-294
- Print publication:
- June 2004
-
- Article
- Export citation
2003-04 Winter Meeting of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 281-289
- Print publication:
- June 2004
-
- Article
- Export citation
2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 234-280
- Print publication:
- June 2004
-
- Article
- Export citation
R. Amadio and P. L. Curien. Domains and lambda-calculi. Cambridge tracts in theoretical computer science, vol. 46. Cambridge University Press, 1998, 500 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 211-213
- Print publication:
- June 2004
-
- Article
- Export citation
Barwise: Infinitary Logic and Admissible Sets
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 1 / March 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 4-36
- Print publication:
- March 2004
-
- Article
- Export citation
Heterogeneous Reasoning and Its Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 1 / March 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 86-106
- Print publication:
- March 2004
-
- Article
- Export citation
Sergio Fajardo and H. Jerome Keisler . Model theory of stochastic processes, Lecture Notes in Logic, vol. 14. Association for Symbolic Logic, A K Peters, Ltd., Natick, Massachusetts, 2002, xii + 136 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 1 / March 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 110-112
- Print publication:
- March 2004
-
- Article
- Export citation
George Boole . The mathematical analysis of logic. Being an essay towards a calculus of deductive reasoning by George Boole — Die mathematische Analyse der Logik. Der Versuch eines Kalküls des deduktiven Schließens von George Boole, Schriftenreihe zur Geistes- und Kulturgeschichte: Texte und Dokumente. Hallescher Verlag, Halle, Saale, 2001, 195 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 1 / March 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 108-109
- Print publication:
- March 2004
-
- Article
- Export citation
BSL volume 10 issue 1 Front Cover and matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 1 / March 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. f1-f2
- Print publication:
- March 2004
-
- Article
-
- You have access
- Export citation
Barwise: Abstract Model Theory and Generalized Quantifiers
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 1 / March 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 37-53
- Print publication:
- March 2004
-
- Article
- Export citation
2003 Annual Meeting of the Association for Symbolic Logic
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 1 / March 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 120-145
- Print publication:
- March 2004
-
- Article
- Export citation
Automata, logics, and infinite games: A guide to current research, edited by Erich Grädel, Wolfgang Thomas, and Thomas Wilke, Lecture Notes in Computer Science, vol. 2500 (Tutorial). Springer-Verlag, Berlin Heidelberg, 2002, viii + 385 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 1 / March 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 114-115
- Print publication:
- March 2004
-
- Article
- Export citation
N. C. A. Da Costa and F. A. Doria . Consequences of an exotic definition for P = NP. Applied Mathematics and Computation, vol. 145 (2003), pp. 655–665.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 1 / March 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 118-119
- Print publication:
- March 2004
-
- Article
- Export citation
Stephen Wolfram . A new kind of science, Wolfram Media, Inc., Champaign, IL, 2002, xiv + 1197 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 1 / March 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 112-114
- Print publication:
- March 2004
-
- Article
- Export citation
Notices
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 1 / March 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 146-151
- Print publication:
- March 2004
-
- Article
- Export citation
Jon Barwise's Papers on Natural Language Semantics
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 1 / March 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 54-85
- Print publication:
- March 2004
-
- Article
- Export citation
John Woods . Paradox and paraconsistency: Conflict resolution in the abstract sciences, Cambridge University Press, Cambridge, New York, 2003, xviii + 362 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 1 / March 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 116-118
- Print publication:
- March 2004
-
- Article
- Export citation
BSL volume 10 issue 1 Cover and Back matter
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 1 / March 2004
- Published online by Cambridge University Press:
- 05 July 2016, pp. b1-b2
- Print publication:
- March 2004
-
- Article
-
- You have access
- Export citation