Reductive Logic and Proof-search
Pym, Ritter
Reductive Logic and Proof-search - Oxford University PressOxford University Press 2007
9780191712012
EBOOK
Reductive Logic and Proof-search - Oxford University PressOxford University Press 2007
9780191712012
EBOOK
