Proof Theory and Logic Programming
Автор:
Dale Miller
Наличност:
Външен склад
Изпращаме след 9-15 дни
78.43
€
153.39 лв
Shows how computation can be understood as proof search across classical, intuitionistic, and linear...
