Bounded variable logics and counting : a study in finite models / Martin Otto
Type de document : Livre numériqueCollection : Lecture notes in logic, 9Langue : anglais.Éditeur : Berlin : Springer-Verlag, 1997ISBN: 3540620370.ISSN: 1431-5459.Sujet MSC : 03C13, Mathematical logic and foundations - Model theory, Model theory of finite structures03C75, Mathematical logic and foundations - Model theory, Other infinitary logic
03C80, Mathematical logic and foundations - Model theory, Logic with extra quantifiers and operators
03D15, Computability and recursion theory, Complexity of computation (including implicit computational complexity)
68Q15, Computer science - Theory of computing, Complexity classesEn-ligne : OA - accès libre | MathSciNet
No physical items for this record
There are no comments on this title.