Proof Theory and Logic Programming

Proof Theory and Logic Programming

Autor: Dale Miller
Editorial: Cambridge University Press
Fecha de publicación: 2025
ISBN: 9781009561297

Comprar el libro

0

Paga con Klarna
Garantía de devolución de 14 días
Shows how computation can be understood as proof search across classical, intuitionistic, and linear logics via sequent calculus.

También te podría gustar

Comprar el libro0