## Classical lambek logic (1995)

### Cached

### Download Links

- [ls.informatik.uni-tuebingen.de]
- [www-ls.informatik.uni-tuebingen.de]
- DBLP

### Other Repositories/Bibliography

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 |