A first course in type theory [
| Main Author: | |
|---|---|
| Format: | Electronic Book |
| Language: | English |
| Published: |
New York :
Learning Press ,
2012
|
| Subjects: | |
| Online Access: | Learning Press |
Internet
Learning PressBadak Bibliographic & Index Unit
| Call Number: |
QA8 4 S56 2012 |
|---|
| Accession | Item Category | Format | Status | Notes |
|---|
| 1000162709 | Electronic Resource | Electronic Book | Available |