00684nam0-22002651i-450-99000085672040332120001010000085672FED01000085672(Aleph)000085672FED0100008567220001010d--------km-y0itay50------baitay-------001yyCours de calcul differentielParisHermannCartan,Henri<1904-2008>31875ITUNINARICAUNIMARCBK99000085672040332102 2 A 163003FINBNFINBNCours de calcul différentiel82387UNINAING0100837nam0-22003131i-450-9900010680004033210-7204-2286-8000106800FED01000106800(Aleph)000106800FED0100010680020000920d1978----km-y0itay50------baengAlgebra of proofsM.E. SzaboAmsterdamNorth-Holland1978xii, 297 p.23 cmStudies in logic and the foundations of mathematicsvol. 88LogicaRicorsività 160Szabo,Manfred Egon50846ITUNINARICAUNIMARCBK9900010680004033217-20610795FI1FI1Algebra of proofs340145UNINAING01