Szczegóły obiektu: From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction

Podobne obiekty

tile.noImage
tile.noImage
tile.noImage
tile.noImage
tile.noImage
tile.noImage
tile.noImage
Używamy plików cookies, by nieustannie zwiększać komfort przeglądania naszej strony internetowej. W celu uzyskania szczegółowych informacji, prosimy o zapoznanie się z dokumentem Polityki Prywatności