Gödels reformulation of Gentzen’s first consistency proof for arithmetic: the no-counterexample interpretation (2005)

Cached

Download Links

by W. W. Tait , W. W. Tait
Venue:The. Bulletin of Symbolic Logic
Citations:2 - 0 self