

Proof Theory and Logic Programming
- Undertitel
- Computation as Proof Search
- Författare
- Dale Miller
- ISBN
- 9781009561310
- Språk
- Engelska
- Utgivningsdatum
- 18.12.2025
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator