Kleene: Introduction to Metamathematics First published seventy years ago, Stephen Cole Kleene’s Introduction to Metamathematics (North-Holland, 1952; reprinted Ishi Press 2009: pp. 550) held the field for a while as a survey treatment of first-order logic (without going much past the completeness …