TY - BOOK AU - Hilbert,D. AU - Ackermann,W. AU - Hammand,Lewis M AU - Leckie,George G AU - Steinhardt,F AU - Luce,Robert E TI - Principles of mathematical logic U1 - 164 PY - 1950/// CY - New York PB - Chelsea Pub. KW - Logic, Symbolic and mathematical N1 - Translation of: Grundzuge der theoretischen Logik; Includes bibliographical references and index ER -