Dependence logic : a new approach to independence friendly logic

Jouko Väänänen
Bok · Engelsk · 2007

Utgitt	Cambridge : Cambridge University Press , 2007
Omfang	225 s.
Emner	Symbolsk logikk
ISBN	9780521700153. - 9780521876599