TY - JOUR AU - Robinson, Abraham TI - Outline of an Introduction to Mathematical Logic IV JO - Canadian mathematical bulletin PY - 1959 SP - 33 EP - 42 VL - 2 IS - 1 UR - http://geodesic.mathdoc.fr/articles/10.4153/CMB-1959-008-2/ DO - 10.4153/CMB-1959-008-2 ID - 10_4153_CMB_1959_008_2 ER -