Reviews
Martin Davis. Engines of logic. Mathematicians and the origin of the computer. Paperbound reprint with altered title of BSL VII 65. W. W. Norton & Company, New York and London 2001, xii + 257 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, p. 104
-
- Article
- Export citation
Sven Ove Hansson. The structure of values and norms. Cambridge studies in probability, induction, and decision theory. Cambridge University Press, Cambridge, New York, etc., 2001, xiii + 314 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 531-533
-
- Article
- Export citation
Gaisi Takeuti. Incompleteness theorems and versus . Logic Colloquium '96, Proceedings of the colloquium held in San Sebastián, Spain, July 9–15, 1996, edited by J. M. Larrazabal, D. Lascar, and G. Mints, Lecture notes in logic, no. 12, Springer, Berlin, Heidelberg, New York, etc., 1998, pp. 247–261. - Gaisi Takeuti. Gödel sentences of bounded arithmetic. The journal of symbolic logic, vol. 65 (2000), pp. 1338–1346.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 433-435
-
- Article
- Export citation
Thomas Jech. Singular cardinal problem: Shelah's theorem on 2ℵω. Bulletin of the London Mathematical Society, vol. 24 (1992), pp. 127–139.
-
- Published online by Cambridge University Press:
- 15 January 2014, p. 308
-
- Article
- Export citation
Wolfgang Burr. Fragments of Heyting arithmetic. The journal of symbolic logic, vol. 65 (2000), pp. 1223–1240.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 533-534
-
- Article
- Export citation
Yoshihiro Abe. Weakly normal filters and the closed unbounded filter on Pkλ. Proceedings of the American Mathematical Society, vol. 104 (1998), pp. 1226–1234. - Yoshihiro Abe. Weakly normal filters and large cardinals. Tsukuba journal of mathematics, vol. 16 (1992), pp. 487–494. - Yoshihiro Abe. Weakly normal ideals on Pkλ and the singular cardinal hypothesis. Fundamenta mathematicae, vol. 143 (1993), pp. 97–106. - Yoshihiro Abe. Saturation of fundamental ideals on Pkλ. Journal of the Mathematical Society of Japan, vol. 48 (1996), pp. 511–524. - Yoshihiro Abe. Strongly normal ideals on Pkλ and the Sup-function. opology and its applications, vol. 74 (1996), pp. 97–107. - Yoshihiro Abe. Combinatorics for small ideals on Pkλ. Mathematical logic quarterly, vol. 43 (1997), pp. 541–549. - Yoshihiro Abe and Masahiro Shioya. Regularity of ultrafilters and fixed points of elementary embeddings. Tsukuba journal of mathematics, vol. 22 (1998), pp. 31–37.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 309-311
-
- Article
- Export citation
Anita Burdman Feferman. From Trotsky to Gödel. The life of Jean van Heijenoort. Paperbound reprint with altered title of JSL LVIII 1465. A K Peters, Natick, Mass., 2001, xv + 415 pp.
-
- Published online by Cambridge University Press:
- 15 January 2014, p. 104
-
- Article
- Export citation
Andreas Weiermann. How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study. The journal of symbolic logic, vol. 63 (1998), pp. 1348–1370.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 435-436
-
- Article
- Export citation
Ulrich Kohlenbach. Relative constructivity. The journal of symbolic logic, vol. 63 (1998), pp. 1218–1238.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 436-437
-
- Article
- Export citation
Obituary
In Memoriam: Willard van Orman Quine 1908–2000
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 105-110
-
- Article
-
- You have access
- Export citation
Reviews
Thomas Strahm. Polynomial time operations in explicit mathematics. The journal of symbolic logic, vol. 62 (1997), pp. 575–594. - Andrea Cantini. Feasible operations and applicative theories based on λη. Mathematical logic quarterly, vol. 46 (2000), pp. 291–312.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 534-535
-
- Article
- Export citation
Other
2001–2002 Winter Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 312-318
-
- Article
- Export citation
Reviews
Thomas Strahm. First steps into metapredicativity in explicit mathematics. Sets and proofs, Invited papers from Logic Colloquium '97—European meeting of the Association for Symbolic Logic, Leeds, July 1997, edited by S. Barry Cooper and John K. Truss, London Mathematical Society lecture note series, no. 258, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1999, pp. 383–402.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 535-536
-
- Article
- Export citation
Meeting Report
Symbolic Logic. Logic Colloquium
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 111-180
-
- Article
- Export citation
Other
8th Workshop on Logic, Language, Information and Computation (WoLLIC '2001)
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 319-320
-
- Article
- Export citation
Reviews
Wilfried Buchholz. Notation systems for infinitary derivations. Archive for mathematical logic, vol. 30 no. 5–6 (1991), pp. 277–296. - Wilfried Buchholz. Explaining Gentzen's consistency proof within infinitary proof theory. Computational logic and proof theory, 5th Kurt Gödel colloquium, KGC '97, Vienna, Austria, August 25–29, 1997, Proceedings, edited by Georg Gottlob, Alexander Leitsch, and Daniele Mundici, Lecture notes in computer science, vol. 1289, Springer, Berlin, Heidelberg, New York, etc., 1997, pp. 4–17. - Sergei Tupailo. Finitary reductions for local predicativity, I: recursively regular ordinals. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Háajek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., etc., 2000, pp. 465–499.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 437-439
-
- Article
- Export citation
Toshiyasu Arai. Consistency proof via pointwise induction. Archive for mathematical logic, vol. 37 no. 3 (1998), pp. 149–165.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 536-537
-
- Article
- Export citation
Jeremy Avigad. A realizability interpretation for classical arithmetic. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 57–90.
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 439-440
-
- Article
- Export citation
Meeting Report
Fourth International Symposium on Theoretical Aspects of Computer Software (TACS2001)
-
- Published online by Cambridge University Press:
- 15 January 2014, p. 321
-
- Article
- Export citation
Other
Notices
-
- Published online by Cambridge University Press:
- 15 January 2014, pp. 181-184
-
- Article
- Export citation