Dependence Logic Theory And Applications,samson Abramsky,juha Kontinen,jouko Vaananen,heribert VollmerSamson Abramsky, Juha Kontinen & 2 more2016PDF3.5 MBEN
Computation, Logic, Games, and Quantum FoundationsAdam Brandenburger, H. Jerome Keisler (auth.) & 3 more2013PDF15 MBEN