A. Bezboruah

Publication Activity (10 Years)

Years Active: 1976-1976
Publications (10 Years): 0

Publications

A. Bezboruah, John C. Shepherdson
Godel's Second Incompleteness Theorem for Q. J. Symb. Log. 41 (2) (1976)