Author(s): Patrick Blackburn, Maarten de Rijke, Yde Venema
Series: Cambridge Tracts in Theoretical Computer Science 53
Publisher: Cambridge University Press
Year: 0
Language: English
Pages: 572
Tags: Математика;Математическая логика;