Das Buch ist derzeit nicht auf Lager

Ein tableaubasierter Theorembeweiser für die intuitionistische Logik

Autoren

Oliver Bittel

Parameter

ISBN: 9783486221435
Verlag: Oldenbourg

Kategorien

Deine Änderungsvorschläge

Buchvariante

1991

Buchkauf

Dieses Buch ist derzeit nicht auf Lager.