Hintikka, Jaakko The principles of mathematics revisited - Cambridge : Cambridge Univ. Press, 1998 - 288 Subjects--Topical Terms: MATHEMATICS--PHILOSOPHYFIRST-ORDER LOGIC LC Class. No.: QA8.4 / H567P