000 00495nam a2200193 i 4500
001 146446
003 ES-MaACL
005 20230906201533.0
007 t|
008 070910s1973 fr ||||1| fre d
080 _a16(02)
100 1 _aTricot, J.
_9111394
245 1 0 _aTraité de logique formalle /
_cJ. Tricot.
250 _a3ª ed.
260 _aParis :
_bJ. Vrin,
_c1973.
300 _a316 p. ;
_c22 cm.
504 _aBibliografía. Indice.
852 _aES-MaACL
_jG-3497
_bR.113760
999 _c146446
_d146446