000 00811cam-a2200289-a-4500
001 000076761
005 20240105133709.0
008 920212t19881988ne r 000 0 eng d
020 _a90-277-2785-6
035 _a165631
035 _aUIA0076761
040 _aUIASF
_cUIASF
041 0 _aENG
050 4 _aQA 9
_bW746
100 _aWójcicki, Ryszard
245 1 0 _aTheory of logical calculi :
_bbasic theory of consequence operations /
_cRyszard Wójcicki
260 _aDordrecht :
_bKluwer Academic,
_cc1988
300 _axviii, 473 p. ;
_c23 cm
440 0 _aSynthese library / managing editor Jaakko Hintikka ;
_v199
500 _aIncluye índices.
650 0 _aLógica simbólica y matemática.
905 _a01
942 1 _cNEWBFXC1
999 _c75737
_d75737
980 _851
_gRonald RUIZ