TY - BOOK AU - Shapiro,Stewart TI - The limits of logic: higher-order logic and the Löwenheim-Skolem theorem T2 - The international research library of philosophy SN - 1855217317 PY - 1996/// CY - Aldershot (England) PB - Dartmouth KW - Logica KW - sbaa N1 - Contiene indice ER -