Perspectives in logic logical foundations of proof complexity /

Concepts of proof in mathematics, philosophy, and computer science /
Publié: (2016)

Foundations of complex systems emergence, information and prediction /
par: Nicolis, G., 1939-
Publié: (2012)

Aspects of complexity minicourses in algorithmics, complexity and computational algebra : mathematics workshop, Kaikoura, January 7-15, 2000 /
Publié: (2001)

Theory of automata, formal languages and computation
par: Xavier, S. P. Eugene
Publié: (2005)

Computability, complexity, and languages : fundamentals of theoretical computer science /
par: Davis, Martin, 1928-
Publié: (1994)

Advanced topics on cellular self-organizing nets and chaotic nonlinear dynamics to model and control complex systems
Publié: (2008)

Foundations of complex systems nonlinear dynamics statistical physics, information and prediction /
par: Nicolis, G., 1939-
Publié: (2007)

Theory of computational complexity /
par: Du, Dingzhu, et autres
Publié: (2014)

Randomness and complexity from Leibniz to Chaitin /
Publié: (2007)

Logic for concurrency and synchronisation
Publié: (2003)

Introduction to automata theory, languages, and computation /
par: Hopcroft, John E.
Publié: (2001)

Introduction to automata theory, languages, and computation /
par: Hopcroft, John E., 1939-
Publié: (1979)

Symbolic logic syntax, semantics, and proof /
par: Agler, David W., 1982-
Publié: (2013)

Mathematical logic
par: Tourlakis, George J.
Publié: (2003)

Advances in network complexity
Publié: (2013)

Computational science - ICCS 2022 : 22nd international conference, London, UK, June 21-23, 2022 : proceedings. Part III /
Publié: (2022)

Logic and theism arguments for and against beliefs in God /
par: Sobel, Jordan Howard
Publié: (2004)

Mathematical logic
par: Chiswell, Ian, 1948-
Publié: (2007)

Intermediate logic
par: Bostock, David
Publié: (1997)

A nonlinear dynamics perspective of Wolfram's new kind of science.
par: Chua, Leon O., 1936-
Publié: (2009)

A nonlinear dynamics perspective of Wolfram's new kind of science
par: Chua, Leon O., 1936-
Publié: (2013)

Logic with trees an introduction to symbolic logic /
par: Howson, Colin
Publié: (1997)

Studies in logic
Publié: (1983)

In the light of logic
par: Feferman, Solomon
Publié: (1998)

Mathematical logic
par: Quine, W. V. (Willard Van Orman)
Publié: (1981)

Logic and the foundations of game and decision theory (LOFT 7)
Publié: (2008)

Set theory and its logic
par: Quine, W. V. (Willard Van Orman)
Publié: (1969)

The elements of mathematical logic.
par: Rosenbloom, Paul C.
Publié: (1950)

Can markets compute equilibria?
par: Monroe, Hunter
Publié: (2009)

A first course in mathematical logic and set theory /
par: O'Leary, Michael L.
Publié: (2016)

Fundamentals of logic : An intrduction to Aristotelian and Sympolic, induction, and the avoidance of every day fallacies /
par: Kupperman, Joel
Publié: (1966)

Classical mathematical logic the semantic foundations of logic /
par: Epstein, Richard L.
Publié: (2011)

Formal models, languages and applications
Publié: (2006)

Logical dynamics of information and interaction
par: Benthem, J. F. A. K. van, 1949-
Publié: (2011)

Computational complexity and statistical physics
Publié: (2006)

Mathematical logic in the 20th century
Publié: (2003)