Analytic Tableaux for Higher-Order Logic with Choice
Julian Backes, Chad Edward BrownVolume:
47
Language:
english
Pages:
29
DOI:
10.1007/s10817-011-9233-2
Date:
December, 2011
File:
PDF, 1024 KB
english, 2011