A formal analysis of entailment.

Guardat en:
Dades bibliogràfiques
Autor principal: Belnap, Nuel D., 1930-
Format: Llibre
Idioma:English
Publicat: New Haven : Interaction Laboratory, Sociology Dept., Yale University, 1960.
Col·lecció:Technical report (United States. Office of Naval Research)
Matèries:
LEADER 01142nam a2200265 i 4500
001 c000248838
003 CARM
005 00000000000000.0
008 840409s1960 ctu 0 eng d
019 1 |a 9242108  |5 LACONCORD2021 
035 |a (OCoLC)42387962  |5 LACONCORD2021 
082 0 4 |a 164 
100 1 |a Belnap, Nuel D.,  |d 1930- 
245 1 2 |a A formal analysis of entailment. 
260 |a New Haven :  |b Interaction Laboratory, Sociology Dept., Yale University,  |c 1960. 
300 |a 107 l. 
490 1 |a United States. Office of Naval Research. Technical report 
500 |a Cover title. 
500 |a "Prepared under Contract SAR/Nonr 609 (16) Problem solving and social interaction for Office of Naval Research, Group Psychology Branch.". 
500 |a Bibliography: l. 101-107. 
650 0 |a Logic, Symbolic and mathematical. 
830 0 |a Technical report (United States. Office of Naval Research) 
852 8 |b CARM  |h A2:AH08H0  |i F01208  |p 0329149  |f BK 
999 f f |i d459ed14-6c5c-5351-a614-1fde70d7bf4b  |s cb2c42f1-d46f-587e-8e30-eec1d9e32f8e 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e F01208  |f A2:AH08H0  |h Other scheme  |i book  |m 0329149