TY - BOOK AU - Hintikka,Jaakko TI - The principles of mathematics revisited AV - QA8.4 H567P PY - 1998/// CY - Cambridge, Mass. PB - Cambridge Univ. Press KW - MATHEMATICS KW - PHILOSOPHY KW - FIRST-ORDER LOGIC ER -