Proof Theory and Logic Programming (inbunden, eng)
This book offers a principled view of programming, showing how computation arises from logic. It explores different logical and proof-theore...
863 kr
995 kr
inkl. moms
Bara 3 kvar
Skickas inom 3 - 4 vardagar
EAN: 9781009561297
Specifikation
Böcker
- Format Inbunden
- Antal sidor 334
- Språk Engelska
- Förlag Cambridge University Press
- Utgivningsdatum 2025-12-18
- ISBN 9781009561297