Mathematical Logic [electronic resource] : Foundations for Information Science / by Wei Li.
Record details
- ISBN: 9783764399771
- Physical Description: online resource.
- Publisher: Basel : Birkhäuser Basel, 2010.
Search for related items by subject
Subject: | Computer science. Logic, Symbolic and mathematical. Computer Science. Mathematical Logic and Formal Languages. Mathematical Logic and Foundations. |
Search for related items by series
Electronic resources
LDR | 01480nam a22003975i 4500 | ||
---|---|---|---|
001 | 31354 | ||
003 | CONS | ||
005 | 20131219053230.0 | ||
007 | cr nn 008mamaa | ||
008 | 100715s2010 sz | s |||| 0|eng d | ||
020 | . | ‡a9783764399771 ‡9978-3-7643-9977-1 | |
024 | 7 | . | ‡a10.1007/978-3-7643-9977-1 ‡2doi |
035 | . | ‡a(DE-He213)978-3-7643-9977-1 | |
050 | 4. | ‡aQA8.9-QA10.3 | |
072 | 7. | ‡aUYA ‡2bicssc | |
072 | 7. | ‡aMAT018000 ‡2bisacsh | |
072 | 7. | ‡aCOM051010 ‡2bisacsh | |
100 | 1 | . | ‡aLi, Wei. ‡eauthor. |
245 | 1 | 0. | ‡aMathematical Logic ‡h[electronic resource] : ‡bFoundations for Information Science / ‡cby Wei Li. |
264 | 1. | ‡aBasel : ‡bBirkhäuser Basel, ‡c2010. | |
300 | . | ‡bonline resource. | |
336 | . | ‡atext ‡btxt ‡2rdacontent | |
337 | . | ‡acomputer ‡bc ‡2rdamedia | |
338 | . | ‡aonline resource ‡bcr ‡2rdacarrier | |
347 | . | ‡atext file ‡bPDF ‡2rda | |
490 | 1 | . | ‡aProgress in Computer Science and Applied Logic (PCS) ; ‡v25 |
650 | 0. | ‡aComputer science. | |
650 | 0. | ‡aLogic, Symbolic and mathematical. | |
650 | 1 | 4. | ‡aComputer Science. |
650 | 2 | 4. | ‡aMathematical Logic and Formal Languages. |
650 | 2 | 4. | ‡aMathematical Logic and Foundations. |
710 | 2 | . | ‡aSpringerLink (Online service) |
773 | 0 | . | ‡tSpringer eBooks |
776 | 0 | 8. | ‡iPrinted edition: ‡z9783764399764 |
830 | 0. | ‡aProgress in Computer Science and Applied Logic (PCS) ; ‡v25 | |
856 | 4 | 0. | ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-7643-9977-1 ‡yTexto completo ‡9CONS |
950 | . | ‡aComputer Science (Springer-11645) | |
901 | . | ‡a31354 ‡b ‡c31354 ‡tbiblio ‡sSystem Local |