Quantifiers : Logics, Models and Computation : Volume One
Subtitle: Surveys
Publisher: Springer Netherlands
Published: 2010
Language: eng
Number of pages: 424
ISBN-13: 9789048145393
Subjects: Logic, symbolic and mathematical