aam a22 4500 50004 50004 17473 OSt 20210623100123.0 a0000001988 sp 0000000000spa00 84-291-5150-8 RDA 511.3 S959 6747 Suppes, Patrick Primer curso de lógica matemática Introducción a la lógica matematica 14291 España : 14383 Reverté 14389 1988 283 p. Incluye índice Simbolización de proposiciones -- Inferencia lógica -- Certeza y validez -- Tablas de certeza -- Términos predicados y cuantificadores universales -- Especificación universal y leyes de identidad -- Un sistema matemático simple: Axiomas de la adición -- Generalización universal 21511 Lógica matemática 20304 Lógica simbólica y matemática 35389 Hill, Shirley 45443 coaut. 33806 Linés Escardó, Enrique 32251 trad. BK ddc 0 0 ddc 0 0 General CO-MdCUA CO-MdCUA Sala general - Primer piso 2016-05-18 0 511.3 S959 28119 2016-05-18 00:00:00 Ejemplar 1 2016-05-18 BK 0 0 ddc 0 0 General CO-MdCUA CO-MdCUA Sala general - Primer piso 2016-05-18 0 511.3 S959 28120 2016-05-18 00:00:00 Ejemplar 2 2016-05-18 BK