AGDA PROGRAMMING FOR MATHEMATICAL SOFTWARE: Dependently typed functional language for research and teaching
| Country | USA |
| Brand | uxcell |
| Manufacturer | uxcell |
| Binding | Unknown Binding |
| ItemPartNumber | a16121900ux0319 |
| Model | a16121900ux0319 |
| Color | Black |
| Size | 1pcs-1 |
| UPCs | 604267965609 |
| EANs | 0604267965609 |
| ReleaseDate | 0000-00-00 |