Zoekresultaten
Resultaat 1 - 1 (van 1)
Kazushige Terui Labelled tableau calculi generating simple models for substructural logics
Non-fictie
Engels | 19 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 1999
Gedrukt boek