Košík
zboží
(prázdné)
Aus dem Inhalt: Ausführliche Einleitung - Sprache 1. Stufe - Baumerzeugung - Tableauerzeugung - Tableauerzeugung und logische Semantik - Nichttheoreme - Reduktionsklassen - Folgerungsrelevante syntaktische Eigenschaften von Formeln.
číst celé
Aus dem Inhalt: Ausführliche Einleitung - Sprache 1. Stufe - Baumerzeugung - Tableauerzeugung - Tableauerzeugung und logische Semantik - Nichttheoreme - Reduktionsklassen - Folgerungsrelevante syntaktische Eigenschaften von Formeln.
schovat popis
- Nakladatel: Peter Lang Ltd. International Academic Publishers
- Kód:
- Rok vydání: 1990
- Jazyk: Němčina
- Vazba: Taschenbuch
- Počet stran: 241
- Šířka balení: 14.8 cm
- Výška balení: 21 cm
- Hloubka balení: 1.7 cm
Recenze