W. W. Tait

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005

1 EE W. W. Tait: Gödel's reformulation of Gentzen's first consistency proof for arithmetic: the no-counterexample interpretation. Bulletin of Symbolic Logic 11(2): 225-238 (2005)