Proof Theory and Logic Programming
Autor:
Dale Miller
Dostępność:
Dostępna u dostawcy
Wysyłamy za 14-21 dni
337.09
zł
Shows how computation can be understood as proof search across classical, intuitionistic, and linear...
