Hybrid logic and its proof-theory Torben Brauner
Publication details: Dordrecht: Springer, 2010Description: xiii, 231 p. 23 cmISBN:- 9789400734357
- 511.3
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
Carti | IMAR | II 37178 (Browse shelf(Opens below)) | 1 | Available | 0032575 |
Browsing IMAR shelves Close shelf browser (Hides shelf browser)
II 37176 Advanced in Mathematics: Invited Contributions to the Seventh Congress of Romanian Mathematicians. Brasov, 2011 | II 37177 Recent trends in analysis | II 37177 Recent trends in analysis | II 37178 Hybrid logic and its proof-theory | II 37179 Collected works | II 37179 Collected works | II 37179 Collected works |
eng
Contine Bibliografie si Index
There are no comments on this title.
Log in to your account to post a comment.