Reductive Logic and Proof-search : Proof Theory, Semantics, and Control

Autor:	Pym, David J., author, Ritter, Eike, author
Databáze:	Oxford Scholarship Online
Externí odkaz:	https://doi.org/10.1093/acprof:oso/9780198526339.001.0001 Zobrazit plný text záznamu