We have over a million books in stock

Bookbot
The book is currently out of stock

Improving proof search in intuitionistic propositional logic

Authors

Parameters

ISBN
9783897227675
Publisher
Logos-Verl.

Categories

Book variant

2001

Book purchase

The book is currently out of stock.