A complete deductive system for the u-calculusIgor Walukiewicz

A complete deductive system for the u-calculus

Name: A complete deductive system for the u-calculus
Author: Igor Walukiewicz

0 bibliotek1 wydanie · 1995

O książce

Wczytuję…

A complete deductive system for the u-calculus, Igor Walukiewicz — w których bibliotekach | gdziejestksiazka.pl