000 00727nam a22002170004500
001 86236
090 _a86236
100 _a20130703d1980 k y0pory5003 ba
101 0 _aeng
102 _aUS
200 1 _aLogic techniques of formal reasoning
_fDonald Kalish, Richard Montague, Gary Mar
205 _a2nd ed
210 _aLondres
_cHarcourt Brace Jovanovich
_dcop. 1980
215 _axvi, [1], 520 p.
675 _a1
_vBN
_zpor
700 1 _9150585
_aKalish,
_bDonald,
_f1919-2000
701 1 _9175656
_aMontague,
_bRichard
_4070
701 1 _9166071
_aMar,
_bGary,
_f1952-
_4070
801 _aPT
_bUNLFCSH
_c20130703
_gRPC
942 _n0
_cMON
999 _a82778
_c2021-07-08
_bUNL-FCSH - GLOBAL
_dUNLFCSH2015040208510685268