Bulletin of Symbolic Logic

Review: , Incompleteness Theorems and $S^i_2$ versus $S^{i+1}_2$; Gaisi Takeuti, Gödel Sentences of Bounded Arithmetic

Arnold Beckmann

Article information

Source
Bull. Symbolic Logic Volume 8, Number 3 (2002), 433-435.

Dates
First available: 20 June 2007

Beckmann, Arnold. Review: , Incompleteness Theorems and $S^i_2$ versus $S^{i+1}_2$ ; Gaisi Takeuti, Gödel Sentences of Bounded Arithmetic . Bulletin of Symbolic Logic 8 (2002), no. 3, 433--435. doi:10.2178/bsl/1182353902. http://projecteuclid.org/euclid.bsl/1182353902.