-
12The Association for Symbolic Logic publishes analytical reviews of selected books and articles in the field of symbolic logic. The reviews were published in The Journal of Symbolic Logic from the founding of the Journal in 1936 until the end of 1999. The Association moved the reviews to this Bulletin, beginning in 2000. The Reviews Section is edited by Steve Awodey (Managing Editor), John Baldwin, John (review)Bulletin of Symbolic Logic 16 (1). 2010.
-
32On formal and informal provabilityIn Ø. Linnebo O. Bueno (ed.), New Waves in Philosophy of Mathematics, . pp. 263--299. 2009.