000			01296nam a2200277Ia 4500
999			_c31994 _d31994
003			PE-LiUNFV
005			20231019154509.0
008			191011s9999||||xx |||||||||||||| ||und||
020			_a8428310297
040			_a0724 _bspa _cjmz _erda
082			_a511.3 _bF44
100			_aFeys, Robert _910456 _d1889-1961
245		0	_aLos símbolos de la lógica matemática _cRobert Feys y Frederic B. Fitch
247			_aDictionary of symbols of mathematical logic
250			_aPrimera edición
260			_aMadrid _bParaninfo _c1980
300			_a189 páginas _c22 cm.
440			_947238 _aLógica y Teoría de la Ciencia
505			_aPreliminares 1. Cálculo proposicional 2. El cálculo funcional de primer orden 3. Cálculos funcionales de orden superior, la teoría de tipos 4. Lógica combinatoria 5. Cálculo de clases 6. Cálculo de relaciones 7. La aritmética formalizada como disciplina independiente 8. Los números según se definen en sistemas de lógica 9. Metamatemática Índices
650		0	_919875 _aCálculo
650		0	_917232 _aLógica simbólica y matemática
650		0	_923739 _aFunciones (Matemáticas)
700	1		_947237 _aFitch, Frederic B. _d1908-1987 _q(Frederic Brenton),
700			_947239 _aRosique Puerta, Guillermo _eTraducción
942			_cLIBR _2ddc