by Charles Steinhorn (Editor), JavierEsparza (Editor), Christian Michaux (Editor)
Surveys of current research in logical aspects of computer science that apply finite and infinite model-theoretic methods.
Format: Paperback
Pages: 356
Publisher: Cambridge University Press
Published: 10 Mar 2011
ISBN 10: 0521718201
ISBN 13: 9780521718202