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