Refine Your Search
Book List
1
-
Admissibility of logical inference rules [electronic resource] / Vladimir V. Rybakov.
- 511.3
- Rybakov, Vladimir V. 1961-
- Elsevier,
- 1997.
- Amsterdam ; New York :