Skip to content

Gentzenizing Schroeder - Heister's natural extension of natural deduction

by Arnon Avron

Writing a summary for young readers…

For young readers

Book data: Open Library