MPG.eBooks - Search Results - "Théorie"

Cover Image

1

Tableau Methods for Propositional Logic and Term Logic

by Jarmużek, Tomasz
Published 2021

Peter Lang International Academic Publishers

Subjects: “...proof theory...”