Cover Image

Primer curso de lógica matemática /

Show other versions (2)
Saved in:
Bibliographic Details
Main Author: Suppes, Patrick
Other Authors: Hill, Shirley, Linés Escardó, Enrique (traductor)
Format: Book
Language: Spanish
English
Published: Bogotá : Reverté, 1988.
Subjects:
Lógica simbólica y matemática
Inferencia (Lógica)
Tablas de verdad
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 000041108
003 CO-BoSNA
005 20260107080726.0
008 060323s1988^^^^sp^ad^^gr^^^^^001^0^spa^d
020 |a 8429151508 
040 |a CO-BoSNA  |b spa 
041 1 |a spa  |h eng 
082 0 4 |a 511.3  |b S959p  |2 23 
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ó. 
246 3 4 |a Introducción a la lógica matemática 
260 |a Bogotá :  |b Reverté,  |c 1988. 
300 |a ix, 283 páginas ;  |c 22 cm. 
500 |a Incluye índice alfabético 
505 2 |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 |p Título original:  |t First course in mathematical logic 
650 1 7 |a Lógica simbólica y matemática  |2 Armarc 
650 2 7 |a Inferencia (Lógica)  |2 Armarc 
650 2 7 |a Tablas de verdad  |2 Armarc 
700 1 |a Hill, Shirley 
700 1 |a Linés Escardó, Enrique,  |e traductor 
952 |0 0  |1 0  |4 5  |6 511_300000000000000_S959P  |7 0  |8 GENER  |9 206279  |a 08082  |b 08082  |d 2016-04-22  |i 185364  |l 0  |o 511.3 S959p  |p 089082009996  |r 2026-01-07 08:07:26  |t Ej. 1  |w 2026-01-07  |y BOOK  |z Calle 30 No. 3E-164, Barranquilla 
952 |0 0  |1 0  |4 5  |6 511_300000000000000_S959P  |7 0  |8 GENER  |9 206280  |a 11209  |b 11209  |d 2006-11-07  |i 122768  |l 0  |o 511.3 S959p  |p 119303010561  |r 2026-01-07 08:07:26  |t Ej. 1  |w 2026-01-07  |y BOOK  |z Autopista sur Cra. 4 No. 53-54, Bogotá 
952 |0 0  |1 0  |4 5  |6 511_300000000000000_S959P  |7 0  |8 GENER  |9 206281  |a 11209  |b 11209  |d 2006-11-07  |i 122768  |l 0  |o 511.3 S959p  |p 119303010564  |r 2026-01-07 08:07:26  |t Ej. 2  |w 2026-01-07  |y BOOK  |z Autopista sur Cra. 4 No. 53-54, Bogotá 
999 |c 41104  |d 41104 
942 |6 511_300000000000000__S959P 

Similar Items