E-book
A Modern Perspective on Type Theory [electronic resource] : From its Origins until Today / by Fairouz Kamareddine, Twan Laan, Rob Nederpelt.
Record details
- ISBN: 9781402023354
- Physical Description: XIV, 360 p. online resource.
- Publisher: Dordrecht : Springer Netherlands, 2005.
Search for related items by subject
| Subject: | Mathematics. Logic. Computer science. Logic, Symbolic and mathematical. Mathematics. Mathematical Logic and Foundations. Mathematics of Computing. Logic. |
Search for related items by series
Electronic resources
| LDR | 01649nam a22004575i 4500 | ||
|---|---|---|---|
| 001 | 11792 | ||
| 003 | CONS | ||
| 005 | 20140119041411.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 100301s2005 ne | s |||| 0|eng d | ||
| 020 | . | ‡a9781402023354 ‡9978-1-4020-2335-4 | |
| 024 | 7 | . | ‡a10.1007/1-4020-2335-9 ‡2doi |
| 035 | . | ‡a(DE-He213)978-1-4020-2335-4 | |
| 050 | 4. | ‡aQA8.9-10.3 | |
| 072 | 7. | ‡aPBC ‡2bicssc | |
| 072 | 7. | ‡aPBCD ‡2bicssc | |
| 072 | 7. | ‡aMAT018000 ‡2bisacsh | |
| 100 | 1 | . | ‡aKamareddine, Fairouz. ‡eauthor. |
| 245 | 1 | 2. | ‡aA Modern Perspective on Type Theory ‡h[electronic resource] : ‡bFrom its Origins until Today / ‡cby Fairouz Kamareddine, Twan Laan, Rob Nederpelt. |
| 264 | 1. | ‡aDordrecht : ‡bSpringer Netherlands, ‡c2005. | |
| 300 | . | ‡aXIV, 360 p. ‡bonline resource. | |
| 336 | . | ‡atext ‡btxt ‡2rdacontent | |
| 337 | . | ‡acomputer ‡bc ‡2rdamedia | |
| 338 | . | ‡aonline resource ‡bcr ‡2rdacarrier | |
| 347 | . | ‡atext file ‡bPDF ‡2rda | |
| 490 | 1 | . | ‡aApplied Logic Series, ‡x1386-2790 ; ‡v29 |
| 650 | 0. | ‡aMathematics. | |
| 650 | 0. | ‡aLogic. | |
| 650 | 0. | ‡aComputer science. | |
| 650 | 0. | ‡aLogic, Symbolic and mathematical. | |
| 650 | 1 | 4. | ‡aMathematics. |
| 650 | 2 | 4. | ‡aMathematical Logic and Foundations. |
| 650 | 2 | 4. | ‡aMathematics of Computing. |
| 650 | 2 | 4. | ‡aLogic. |
| 700 | 1 | . | ‡aLaan, Twan. ‡eauthor. |
| 700 | 1 | . | ‡aNederpelt, Rob. ‡eauthor. |
| 710 | 2 | . | ‡aSpringerLink (Online service) |
| 773 | 0 | . | ‡tSpringer eBooks |
| 776 | 0 | 8. | ‡iPrinted edition: ‡z9781402023347 |
| 830 | 0. | ‡aApplied Logic Series, ‡x1386-2790 ; ‡v29 | |
| 856 | 4 | 0. | ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/1-4020-2335-9 ‡yTexto completo ‡9CONS |
| 950 | . | ‡aMathematics and Statistics (Springer-11649) | |
| 901 | . | ‡a11792 ‡b ‡c11792 ‡tbiblio ‡sSystem Local | |
