Cover Image
Read Now

1
by Sørensen, Morten Heine
Published 2006
Elsevier
“... logics and control operators - Account of dialogue games for classical and intuitionistic logic...”