Suppes, Patrick
Primer curso de lógica matemática Patrick Suppes, Shirley Hill ; traductor. Enrique Linés Escardó - 283 paginas. 22 X 16
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 --
Firt course in matehmatical logic --
8429151508
Logica matematica
Logica
Proposiciones
511.3 / S959p
Primer curso de lógica matemática Patrick Suppes, Shirley Hill ; traductor. Enrique Linés Escardó - 283 paginas. 22 X 16
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 --
Firt course in matehmatical logic --
8429151508
Logica matematica
Logica
Proposiciones
511.3 / S959p