Author(s): Venema, Yde; Rijke, Maarten de; Blackburn, Patrick
Series: Cambridge tracts in theoretical computer science 53
Edition: 4. print. with corr
Publisher: Cambridge University Press
Year: 2010
Language: English
Pages: 554
City: Cambridge
Tags: Modallogik.;Math logic & foundations;QA 9-10 Math - philosophy/logic