Cargando…

Logic and complexity

Detalles Bibliográficos
Autores principales:	Bridges, Douglas S, Calude, Cristian S, Lassaigne, Richard
Lenguaje:	eng
Publicado:	Springer 2002
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/2692600

Ejemplares similares

Finite versus infinite: contributions to an eternal dilemma
por: Bridges, Douglas S, et al.
Publicado: (2000)

Lattice functions and equations
por: Bridges, Douglas S, et al.
Publicado: (2001)

Theories of computational complexity
por: Calude, C
Publicado: (1988)

Computability, complexity, logic
por: Börger, Egon
Publicado: (1989)

Logical Foundations of Proof Complexity
por: Cook, Stephen, et al.
Publicado: (2010)

The computational complexity of logical theories
por: Ferrante, Jeanne, et al.
Publicado: (1979)

Classical Mathematical Logic: The Semantic Foundations of Logic
por: Epstein, Richard L, et al.
Publicado: (2011)

Bounded arithmetic, propositional logic and complexity theory
por: Krajicek, Jan
Publicado: (1995)

Logical thinking in the pyramidal schema of concepts: the logical and mathematical elements
por: Geldsetzer, Lutz, et al.
Publicado: (2014)

Computability and Logic
por: Boolos, George S, et al.
Publicado: (2002)

Computability and logic
por: Boolos, George S, et al.
Publicado: (2007)

Computability and Logic
por: Boolos, George S, et al.
Publicado: (2007)

Fourteen papers on logic, algebra, complex variables and topology
por: Abramov, L M, et al.
Publicado: (1965)

Conference on Logical Methods
por: Crossley, John, et al.
Publicado: (1993)

Logical foundations of mathematics and computational complexity: a gentle introduction
por: Pudlák, Pavel
Publicado: (2013)

Towards an arithmetical logic: the arithmetical foundations of logic
por: Gauthier, Yvon
Publicado: (2015)

Logic, action and cognition: essays in philosophical logic
por: Ejerhed, Eva, et al.
Publicado: (1997)

Handbook of logic in artificial intelligence and logic programming
por: Hogger, C J, et al.
Publicado: (1994)

Handbook of logic in artificial intelligence and logic programming
por: Hogger, C L, et al.
Publicado: (1994)

Phenomenology, Logic, and the Philosophy of Mathematics
por: Tieszen, Richard
Publicado: (2005)

The theory of gambling and statistical logic
por: Epstein, Richard A
Publicado: (1995)

The Theory of Gambling and Statistical Logic
por: Epstein, Richard A
Publicado: (2009)

Functions and generality of logic: reflections on Dedekind's and Frege's logicisms
por: Benis-Sinaceur, Hourya, et al.
Publicado: (2015)

Logicism renewed: logical foundations for mathematics and computer science
por: Gilmore, Paul C
Publicado: (2005)

Logic colloquium '99: lecture notes in logic 17
por: Van Eijck, Jan, et al.
Publicado: (2004)

Logic colloquium '02: lecture notes in logic 27
por: Chatzidakis, ZoÃ©, et al.
Publicado: (2006)

Rethinking logic: logic in relation to mathematics, evolution, and method
por: Cellucci, Carlo
Publicado: (2014)

Logic and algebra
por: Zhang, Yi
Publicado: (2002)

Internal logic
por: Hintikka, Jaakko, et al.
Publicado: (2010)

Logical labyrinths
por: Smullyan, Raymond
Publicado: (2008)

Logic Symposia
por: Müller, Gert, et al.
Publicado: (1981)

Symposium on Logic
por: Parikh, Rohit
Publicado: (1975)

Logic and structure
por: Dalen, Dirk
Publicado: (1983)

Mathematical logic
por: Ebbinghaus, H -D, et al.
Publicado: (1994)

Sets and logic
por: Hanna, Samuel C, et al.
Publicado: (1971)

Introduction to logic
por: Suppes, Patrick
Publicado: (1957)

Symbolic logic
por: Venn, John
Publicado: (1971)

Fuzzy logic
por: Smets, P
Publicado: (1995)

Fuzzy logic
por: Baldwin, J F
Publicado: (1996)

Logic and structure
por: Dan Dalen, Dirk
Publicado: (1997)

Cannot write session to /tmp/vufind_sessions/sess_uru2upkivaifq55v5h2g3ocr0t