Ein Tableaubasierter Theorembeweiser für die intuitionistische Logik
von Oliver Bittel
Taschenbuch
Jetzt kaufen
Durch das Verwenden dieser Links unterstützt du READO. Wir erhalten eine Vermittlungsprovision, ohne dass dir zusätzliche Kosten entstehen.
Haupt-Genre
N/A
Sub-Genre
N/A
Format
Taschenbuch
Seitenzahl
184
Preis
43.00 €
Haupt-Genre
N/A
Sub-Genre
N/A
Format
Taschenbuch
Seitenzahl
184
Preis
43.00 €