Košík
zboží
(prázdné)
Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. There are several types of proof theoretical methodologies, Hilbert style, Gentzen style, goal directed style, labelled deductive system style, and so on.
číst celé
Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. There are several types of proof theoretical methodologies, Hilbert style, Gentzen style, goal directed style, labelled deductive system style, and so on.
schovat popis
- Nakladatel: Springer
- Kód:
- Rok vydání: 2010
- Jazyk: Angličtina
- Vazba: Brožovaná
- Počet stran: 670
- Šířka balení: 15.5 cm
- Výška balení: 23.5 cm
- Hloubka balení: 3.6 cm
- Váha balení: 1.1 kg
Recenze