Cargando…

Entrañamiento semántico y derivabilidad formal /

Detalles Bibliográficos
Autor principal: Beth, Evert Willem
Formato: Libro
Lenguaje:Spanish
English
Publicado: Valencia : Revista Teorema, 1978.
Colección:Cuadernos Teorema ; 18.
Materias:

MARC

LEADER 00000cam a2200000Ia 4500
001 ocn801976122
003 OCoLC
005 20151021135158.0
008 130531s1978 sp a a 000 0 spa d
020 |a 8437000548 
020 |a 9788437000541 
040 |a Es-BaCBU  |b cat  |c ESCBC  |d UV# 
041 1 |a spa  |h eng 
050 4 |a BC135  |b B47 E5 1978 
100 1 |a Beth, Evert Willem  |9 419634 
245 1 0 |a Entrañamiento semántico y derivabilidad formal /  |c Evert W. Beth ; introducción y traducción de Manuel Garrido y Rafael Beneyto. 
260 |a Valencia :  |b Revista Teorema,  |c 1978. 
300 |a 54 p. :  |b il. ;  |c 19 cm. 
490 0 |a Cuadernos teorema ;  |v 18 
500 |a Traducción de: Semantic entailment and formal derivability. 
504 |a Incluye notas bibliográficas. 
650 4 |a Lógica simbólica y matemática.  |9 359229 
650 4 |a Semántica (Filosofía). 
830 0 |a Cuadernos Teorema ;  |v 18. 
901 |a Z0  |b UV# 
942 |c LIBRO  |n 1  |6 _ 
999 |c 265093  |d 265093