Logic and games on automatic structures : playing with quantifiers and decompositions :: Łukasz Kaiser :: ISBN 9783642228063 :: Springer 2011 :: OBNB, the Open British National Bibliography

Publication Data

Title Logic and games on automatic structures : playing with quantifiers and decompositions
Author Łukasz Kaiser
Contributor European Foundation for Logic, Language, and Information
Publisher Springer
Publication date 2011
Publication location Heidelberg
Language English

Descriptive Notes

Based on the author's thesis (Ph.D) which was joint winner of the Beth prize in 2009.

Topics

Logic
Game theory
Sequential machine theory

Catalogue Data

OBNB ID GBB193380
ISBN 10 3642228062
ISBN 13 9783642228063
Type BibliographicResource, Book
Dewey Classification 005.131

ISBD

P1053 xii, 118 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Logic and games on automatic structures : playing with quantifiers and decompositions by Łukasz Kaiser. ISBN 9783642228063. Published by Springer in 2011. Publication and catalogue information, links to buy online and reader comments.