J. Posegga – författare
Visar alla böcker från författaren J. Posegga. Handla med fri frakt och snabb leverans.
3 produkter
Handbook of Tableau Methods
Av M. D'Agostino, Dov M. Gabbay m. fl.
Inbunden, 1999
2180 kr
Lägg i varukorg
Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised in many different ways. Traditionally, a logic is presented via the following three components: 1. an intuitive non-formal motivation, perhaps tie it in to …
Handbook of Tableau Methods
Av M. D'Agostino, Dov M. Gabbay m. fl.
Häftad, 2010
2183 kr
Lägg i varukorg
Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised in many different ways. Traditionally, a logic is presented via the following three components: 1. an intuitive non-formal motivation, perhaps tie it in to …
Handbook of Tableau Methods
Av J. Posegga, Reiner Hahnle m. fl.
E-bok, 2013
2925 kr
Lägg i varukorg
Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised in many different ways. Traditionally, a logic is presented via the following three components: 1. an intuitive non-formal motivation, perhaps tie it in to …
