From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction

Bulletin of the Section of Logic, Tom 46, Numer 1-2 (2017) s. 65-74
Jan von Plato

 

Checked:  

do góry

Czy na pewno chcesz usunąć artykuł?

Register

Username:
E-mail:
Password:
Confirm password:
Sign in

Sign in

Username:
Password:
Forgot password