Hybrid Logic and its Proof-Theory

Publikation: Bog/antologi/afhandling/rapportBogForskningpeer review

OriginalsprogEngelsk
ForlagSpringer Science+Business Media
Antal sider231
ISBN (Trykt)978-94-007-0001-7
StatusUdgivet - 2011
NavnApplied Logic Series
Vol/bind37
ISSN1386-2790

Citer dette

Braüner, T. (2011). Hybrid Logic and its Proof-Theory. Springer Science+Business Media. Applied Logic Series, Bind. 37
Braüner, Torben. / Hybrid Logic and its Proof-Theory. Springer Science+Business Media, 2011. 231 s. (Applied Logic Series, Bind 37).
@book{8b6f92de74d6432bac2420f604ae7cbc,
title = "Hybrid Logic and its Proof-Theory",
author = "Torben Bra{\"u}ner",
year = "2011",
language = "English",
isbn = "978-94-007-0001-7",
publisher = "Springer Science+Business Media",
address = "Germany",

}

Braüner, T 2011, Hybrid Logic and its Proof-Theory. Applied Logic Series, bind 37, Springer Science+Business Media.

Hybrid Logic and its Proof-Theory. / Braüner, Torben.

Springer Science+Business Media, 2011. 231 s.

Publikation: Bog/antologi/afhandling/rapportBogForskningpeer review

TY - BOOK

T1 - Hybrid Logic and its Proof-Theory

AU - Braüner, Torben

PY - 2011

Y1 - 2011

M3 - Book

SN - 978-94-007-0001-7

BT - Hybrid Logic and its Proof-Theory

PB - Springer Science+Business Media

ER -

Braüner T. Hybrid Logic and its Proof-Theory. Springer Science+Business Media, 2011. 231 s. (Applied Logic Series, Bind 37).