TY - BOOK AU - Rosser,John Barkley TI - Logic for mathematicians T2 - International series in pure and applied mathematics U1 - 164 PY - 1953/// CY - New York, N.Y. PB - McGraw-Hill KW - LOGICA SIMBOLICA Y MATEMATICA N1 - Bibliografía: p. 523-536 ER -