Notes on the propositional u-calculus : completeness and related resultsIgor Walukiewicz

Notes on the propositional u-calculus : completeness and related results

Name: Notes on the propositional u-calculus : completeness and related results
Author: Igor Walukiewicz

0 bibliotek1 wydanie · 1995

O książce

Wczytuję…

Notes on the propositional u-calculus : completeness and related results, Igor Walukiewicz — w których bibliotekach | gdziejestksiazka.pl