DMCA

A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning (2000)

Cached

Download Links

by Domenico Cantone , Calogero G. Zarba , Viale A. Doria
Citations:1 - 0 self