000			01510nam a2200553 a 4500
003			AR-ReUNN
005			20260702144638.0
008			260701s1995 sp |||||||||||||||||spa
020			_a84-309-2604-6
100	1		_aGarrido, Manuel _9350
245	1	0	_aLógica simbólica
250			_a3a ed.
264		1	_aMadrid _bTecnos _c1995
300			_a502 páginas
650		4	_aLenguaje Formal _915501
650		4	_aGarrido, Manuel _985506
650		4	_aEnunciados _936538
650		4	_aDeduccion _944910
650		4	_aConsecuencia _985507
650		4	_aConectores _96632
650		4	_aCalculo _916562
650		4	_aTautologias _985508
650		4	_aEstrategias _9337
650		4	_aTablas Semanticas _985509
650		4	_aRegla Derivada _985510
650		4	_aPredicados _948131
650		4	_aCuantificadores _979599
650		4	_aModelos _99559
650		4	_aLeyes _96094
650		4	_aSilogistica _985511
650		4	_aRelaciones _932224
650		4	_aLogica _96523
650		4	_aIdentidad _99193
650		4	_aDescripciones _936352
650		4	_aAxiomas _952925
650		4	_aMetodo Axiomatico _915500
650		4	_aSistemas Axiomaticos _985512
650		4	_aMetalogica _985513
650		4	_aAutomatizacion _916435
650		4	_aRazonamiento _9354
650		4	_aMaquinas de Turing _985514
650		4	_aMetodos Booleanos _985515
650		4	_aConocimiento _95671
650		4	_aMatematicas _96356
650		4	_aHistoria _924
942			_cLIB
035			_a(FIL)38684
001			160067
999			_c160067 _d160067
040			_aAR-ReUNN _bspa _cAR-ReUNN _eaacr2