Proof Theory and Logic Programming
Computation as Proof Search
(Autor) Dale Miller
Formato:
Hardcover
£60,00
Precio: £58,20
(3% off)
Generally dispatched in 1 to 2 days
Information
Editorial:
Cambridge University Press
Formato:
Hardcover
Número de páginas:
None
Idioma:
en
ISBN:
9781009561297
Año de publicación:
2025
Fecha publicación:
18 de Diciembre de 2025