Torben Brauner – författare
Visar alla böcker från författaren Torben Brauner. Handla med fri frakt och snabb leverans.
4 produkter
Advances in Modal Logic Volume 9
Av Thomas Bolander, Torben Brauner m. fl.
Häftad, 2012
300 kr
Lägg i varukorg
Hybrid Logic and its Proof-Theory
Inbunden, 2010
1096 kr
Lägg i varukorg
This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This is …
Hybrid Logic and its Proof-Theory
E-bok, 2010
1459 kr
Lägg i varukorg
This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This is …
Hybrid Logic and its Proof-Theory
Häftad, 2013
1096 kr
Lägg i varukorg
This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This is …
