The Computational Complexity of Logical Theories (Lecture Notes in Mathematics (718), Band 718)

Mathematics

von Jeanne Ferrante

Taschenbuch

ISBN: 978-3-540-09501-9

ISBN-10: 3-540-09501-2

Springer Berlin Heidelberg · 2008