1. Buss Samuel , Bounded arithmetic, Ph.D. thesis , Princeton University, 06 1985, a revision of this thesis was published by Bibliopolis in 1986.
2. Friedman Harvey , FOM:73:Hilbert's program wide open?, FOM e-mail list: http://www.math.psu.edu/simpson/fom, 12 20 1999.
3. Metamathematics of First-Order Arithmetic