The book is currently out of stock

Ein tableaubasierter Theorembeweiser für die intuitionistische Logik

Authors

Oliver Bittel

Parameters

Categories

Computers, IT, Programming

Series: Berichte der Gesellschaft für Mathematik und Datenverarbeitung

Book purchase

Ein tableaubasierter Theorembeweiser für die intuitionistische Logik, Oliver Bittel

Language
Released: 1991

We’ll notify you via email once we track it down.

Payment methods