000			00987nam a22002297a 4500
003			PE-LiUTP
005			20181024094151.0
008			150604t1995 sp ||||| |||| 00| 0 spa d
020			_a8429151796
040			_aUTP _bspa _cUTP _erda
082			_221 _a511.3 _bF43 / 1995
100			_915470 _aFerrando, J. C. _eautor
245			_aMatemática discreta _cJ. C. Ferrando, V. Gregori
250			_aSegunda edición
260			_aBarcelona _bReverté _c1995
300			_axxv, 300 páginas
505			_aIntroducción a ala lógica -- Teoría de conjuntos -- Leyes de composición interna: Grupos anillos y cuerpos -- Álgebra de Boole -- Métodos combinatorios, recursividad grafos -- Máquinas y autómatas finitos -- Teoría de Ramsey -- Conjuntos borrosos, códigos lineales y máquinas de turing -- Lógica de predicados y sistemas formales.
650			_915471 _aLógica simbólica
650			_915472 _aLógica matemática
650			_983 _aMatemáticas
942			_2ddc _cLIBR _kC-07316
999			_c26687 _d26687