Szabo, Manfred Egon.

    Algebra of proofs / M. E. Szabo. Second printing.

    Amsterdam [etc.] : North-Holland Publishing Company, 1980. XII, 297 stron ; 23 cm.
    (Studies in Logic and the Foundations of Mathematics ; vol. 88)
    (Studies in Logic and the Foundations of Mathematics ISSN 0049-237X vol. 88)
    ISBN 0-7204-2200     ISBN 07204-2286-8


Logika kombinatoryczna.
Teoria dowodu.
Kategorie (matematyka).

   
BU.121763