Classical lambek logic (1995)

Cached

Download Links

by Jörg Hudelmaier , Peter Schroeder-heister
Venue:TABLEAUX'95: Proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, number 918 in LNCS
Citations:1 - 0 self