Narrow your search

Library

KU Leuven (2)


Resource type

book (2)


Language

English (2)


Year
From To Submit

2001 (2)

Listing 1 - 2 of 2
Sort by

Book
Analytic tableaux and related methods. 1 : Model logics
Authors: ---
Year: 2001 Publisher: Dordrecht Kluwer Academic

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Analytic tableaux and related methods. 2 : Non-classical logics
Authors: ---
Year: 2001 Publisher: Dordrecht Kluwer Academic

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Listing 1 - 2 of 2
Sort by


Copyright ©2024 SemperTool