Ein Tableaubasierter Theorembeweiser für die intuitionistische Logik., Gesellschaft für Mathematik und Datenverarbeitung mbH, Berichte der Gesellschaft für Mathematik und Datenverarbeitung
5 Angebote vergleichen
| Preise | 2013 | 2014 | 2015 |
|---|---|---|---|
| Schnitt | € 21,99 | € 40,28 | € 40,28 |
| Nachfrage |
1
Ein Tableaubasierter Theorembeweiser für die intuitionistische Logik. Gesellschaft für Mathematik und Datenverarbeitung mbH, Berichte der Gesellschaft für Mathematik und Datenverarbeitung (1991)
DE USISBN: 9783486221435 bzw. 3486221434, in Deutsch, München , Wien : Oldenbourg, gebraucht.
Mosakowski & Stiasny GbR, [3737242].
184 S. , 23 cm kart.Versand erfolgt am folgenden Werktag / mit Rechnung / ex-library /.
184 S. , 23 cm kart.Versand erfolgt am folgenden Werktag / mit Rechnung / ex-library /.
2
Ein Tableaubasierter Theorembeweiser für die intuitionistische Logik. Gesellschaft für Mathematik und Datenverarbeitung mbH, Berichte der Gesellschaft für Mathematik und Datenverarbeitung (1991)
DE USISBN: 9783486221435 bzw. 3486221434, in Deutsch, München , Wien : Oldenbourg, gebraucht.
Mosakowski & Stiasny GbR, [3737242].
184 S. , 23 cm kart.Versand erfolgt am folgenden Werktag / mit Rechnung / ex-library /.
184 S. , 23 cm kart.Versand erfolgt am folgenden Werktag / mit Rechnung / ex-library /.
3
Ein Tableaubasierter Theorembeweiser für die intuitionistische Logik. Gesellschaft für Mathematik und Datenverarbeitung mbH, Berichte der Gesellschaft für Mathematik und Datenverarbeitung
DE USISBN: 3486221434 bzw. 9783486221435, in Deutsch, München , Wien : Oldenbourg, 1991. gebraucht.
Lieferung aus: Deutschland, Versandart: STD, Versand nach: DE.
Von Händler/Antiquariat, Mosakowski & Stiasny GbR, [94444].
Versand erfolgt am folgenden Werktag / mit Rechnung / ex-library /, 184 S. , 23 cm kart.
Von Händler/Antiquariat, Mosakowski & Stiasny GbR, [94444].
Versand erfolgt am folgenden Werktag / mit Rechnung / ex-library /, 184 S. , 23 cm kart.
4
Ein Tableaubasierter Theorembeweiser für die intuitionistische Logik (1991)
DE PB USISBN: 9783486221435 bzw. 3486221434, in Deutsch, 184 Seiten, Oldenbourg Wissenschaftsverlag, Taschenbuch, gebraucht.
Lieferung aus: Deutschland, Versandfertig in 1 - 2 Werktagen.
Von Händler/Antiquariat, fachbuecher-weltversand.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, fachbuecher-weltversand.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
Ein tableaubasierter Theorembeweiser für die intuitionistische Logik. Berichte der Gesellschaft für Mathematik und Datenverarbeitung Nr. 198 (1991)
DE USISBN: 9783486221435 bzw. 3486221434, in Deutsch, München, Oldenbourg, gebraucht.
Antiquariat Axel Mehlig, [3406281].
(184 S.), kartoniert mit BibliotheksstempelnLiteraturverz. S. 179 - 182.
(184 S.), kartoniert mit BibliotheksstempelnLiteraturverz. S. 179 - 182.
Lade…