Wei, Jin,
Overview
| Works: | 2 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Continuous Logic and Proof Theory for First-Order Lukasiewicz Logic /
by:
Wei, Jin,; University of Pennsylvania., Mathematics.
(Electronic resources)
Subjects