000 00645nlm a2200253 4500
001 130
010 _a1-881526-11-9
090 _a130
100 _a20080923d1994 k||y0pory50 ba
101 0 _aeng
102 _aUS
200 1 _aHyperproof
_bDocumento electrónico
_fJon Barwise, John Etchemendy
210 _aStanford, US
_cCSLI Publications
_dcop. 1994
215 _a1 disquete
_d10 cm
606 _aInformática
606 _aLógica matemática
680 _aQA76
700 _aBarwise
_bJon
701 _954505
_aEtchemendy
_bJohn
_4070
801 0 _gRPC
_aPT
942 _2lcc
_cM
_n0