Primer curso de lógica matemática /

Saved in:

Bibliographic Details
Main Author:	Suppes, Patrick
Other Authors:	Linés Escardó, Enrique (traductor)
Format:	Book
Language:	Spanish English
Published:	Barcelona : Reverté, 1988.
Subjects:	Lógica simbólica y matemática Cálculo de predicados
Notas Contenido:	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

MARC


LEADER	00000nam a2200000 a 4500
001	000009224
003	CO-BoSNA
005	20260105151528.0
008	060210s1988^^^^sp^^^^^fr^^^^^000^0^spa^d
040			\|a CO-BoSNA \|b spa
041	1		\|a spa \|h eng
082	0	4	\|a 511.3 \|b S959p \|2 22
100	1		\|a Suppes, Patrick
245	1	0	\|a Primer curso de lógica matemática / \|c Patrick Suppes, Shirley Hill ; traducción Enrique Linés Escardó.
260			\|a Barcelona : \|b Reverté, \|c 1988.
300			\|a ix, 283 páginas : ; \|c 22 cm.
500			\|a Incluye índice alfabético
505	0		\|a 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
534			\|t First course in mathematical logic
650	1	7	\|a Lógica simbólica y matemática \|2 Armarc
650	1	7	\|a Cálculo de predicados \|2 Armarc
700	1		\|a Linés Escardó, Enrique \|e traductor
952			\|0 0 \|1 0 \|4 6 \|6 511_300000000000000_S959P \|7 0 \|8 GENER \|9 63897 \|a 25512 \|b 25512 \|d 2010-10-12 \|i 131877 \|l 0 \|o 511.3 S959p \|p 259512003974 \|r 2026-01-05 15:15:28 \|t Ej. 1 \|w 2026-01-05 \|y BOOK \|z Km. 7 Vía Bogotá - Mosquera
999			\|c 13223 \|d 13223
942			\|6 511_300000000000000__S959P