Košík
tovar
(prázdne)
Kontakt
Účet
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.
prečítať 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.
Skryť popis
- Nakladateľ: Springer
- Kód:
- Rok vydania: 2010
- Jazyk: Angličtina
- Väzba: Paperback
- Počet strán: 670
- Šírka balenia: 15.5 cm
- Výška balenia: 23.5 cm
- Hĺbka balenia: 3.6 cm
- Váha balenia: 1.1 kg
Recenzie