Logic for Computer Scientists [electronic resource] / by Uwe Schöning.
Material type: Computer fileSeries: Progress in Computer Science and Applied Logic (PCS) ; 8Publication details: Boston, MA : Birkhäuser Boston, 2008.Description: v.: digitalISBN:- 9780817647636
- QA9 S36 2008
Item type | Current library | Call number | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|---|---|
Libro Electrónico | Biblioteca Digital Colección Digital | QA9 S36 2008 (Browse shelf(Opens below)) | BDIG00003118 | Link to resource | 1 | Available | SpringerLink | BDIG00003118 |
Browsing Biblioteca Digital shelves, Shelving location: Colección Digital Close shelf browser (Hides shelf browser)
QA9 C37 2008 Analysis and Synthesis of Logics | QA9 G33 2006 Mathematical Problems from Applied Logic I Logics for the XXIst Century / | QA9 R38 2006 A Concise Introduction to Mathematical Logic | QA9 S36 2008 Logic for Computer Scientists | QA9 S75 2008 A Course on Mathematical Logic | QA9.4 A38 2007 Algebraic and Proof-theoretic Aspects of Non-classical Logics | QA9.45 L38 2006 Function Algebras on Finite Sets |
There are no comments on this title.
Log in to your account to post a comment.