Cargando…
Bounded variable logics and counting: a study in finite models
This study introduces some central ideas and lines of research in finite model theory, particularly bounded variable infinitary logics.
Autor principal: | Otto, Martin |
---|---|
Lenguaje: | eng |
Publicado: |
Cambridge University Press
2017
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/2264009 |
Ejemplares similares
-
Strict finitism and the logic of mathematical applications
por: Ye, Feng
Publicado: (2011) -
Bounded arithmetic, propositional logic and complexity theory
por: Krajicek, Jan
Publicado: (1995) -
Synthesis of finite state machines: logic optimization
por: Villa, Tiziano, et al.
Publicado: (1997) -
Proceedings of the NATO Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic
por: Sauer, N, et al.
Publicado: (1993) -
Function algebras on finite sets: basic course on many-valued logic and clone theory
por: Lau, Dietlinde
Publicado: (2006)