Introduccion a la lógica y a la metodología de las ciencias deductivas /

Guardado en:
Detalles Bibliográficos
Autor principal: Tarski, Alfred
Otros Autores: Bachiller, T.R (tr.), Fuentes, J.R (tr.)
Formato: Libro
Lenguaje:Español
Publicado: Madrid : Espasa-Calpe, 1977
Edición:3ª. ed.
Materias:
Aporte de:Registro referencial: Solicitar el recurso aquí
LEADER 01700nam a2200337a 44500
001 UBP09407
003 AR-CdUBP
005 20220310155012.0
008 041206s1977 ag f 000 spa d
020 |a 84-239-6480-9 
040 |a AR-CdUBP  |b spa 
041 |a spa 
100 |a Tarski, Alfred 
245 1 0 |a Introduccion a la lógica y a la metodología de las ciencias deductivas /   |c Alfred Tarski ; traducción de T.R. Bachiller y J.R. Fuentes. 
250 |a 3ª. ed.   |b revisada conforme a la tercera inglesa por O. Chateaubriand y M.A. Dickman 
260 |a Madrid :   |b Espasa-Calpe,   |c 1977 
300 |a 285 p. ;   |c 20 cm. 
504 |a Bibliografía: p.271-285. 
505 0 |a Primera parte. Elementos de lógica. Método deductivo. I. Sobre el uso de variables. II. Sobre el cálculo proposicional. III. Sobre la teoría de la identidad. IV. Sobre la teoría de clases. V. Sobre la teoría de relaciones. VI. Sobre el método deductivo. Segunda parte. Aplicaciones de la lÓgica y de la metodología a la construcción de teorías matemáticas. VII. Construcción de una teoría matemática: leyes sobre la ordenación de números. VIII. Construcción de una teoría matemática: leyes sobre la adición y sustracción. IX Consideraciones metodológicas sobre la teoría construida. X. Extesnión de la teoría construida. Fundamentos de la aritmética de los números reales. 
650 4 |a LOGICA SIMBOLICA 
650 4 |a LOGICA MATEMATICA 
650 4 |a LOGICA FORMAL 
653 |a LOGICA 
700 1 |a Bachiller, T.R.  |e tr. 
700 1 |a Fuentes, J.R.  |e tr. 
930 |a LOGICA 
931 |a 09407  |b UBP 
942 |2 cdu  |c BK 
945 |a JPG 
984 |a 164  |b T177 
999 |c 24796  |d 24796