Data/hora: 17/06/2024 16:41:56

Biblioteca(s): 	Embrapa Agricultura Digital.	
Data corrente: 	05/01/1993	
Data da última atualização: 	23/01/2008	
Autoria: 	ROBINSON, J. A.	
Título: 	Logic: form and function: the mechanization of deductive reasoning.	
Ano de publicação: 	1979	
Fonte/Imprenta: 	New York: Elsevier North Holland, 1979.	
Páginas: 	312p.	
Série: 	(Artificial Intelligence Series).	
ISBN: 	0-444-19467-3	
Idioma: 	Inglês	
Conteúdo: 	Logic: form and content; Formulas: syntax and intuitive semantics; Boolean analysis of sentences; Infinitive finitary trees and boolean compactness; Semantic analysis of sentences and terms; Logical consequence: sequents and proofs; Logical equivalence: substitutivity and variants; Normal forms of sentences and sequents; Herbrand models and maps; Quad notation for clausal sequents; Unification; Resolution; Resolution on the computer; Historical notes; Appedix; Index. 	
Palavras-Chave: 	Lógica matemática.	
Categoria do assunto: 	--	
Registro original: 	Embrapa Agricultura Digital (CNPTIA)	
Exemplares: 	CNPTIA - (1396-1) - ADC - LV - -- - 511.3 - ROB - 1987.00039 - DIS