Perspectives in logic logical foundations of proof complexity /

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

Foundations of complex systems emergence, information and prediction /
od: Nicolis, G., 1939-
Izdano: (2012)

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

Theory of automata, formal languages and computation
od: Xavier, S. P. Eugene
Izdano: (2005)

Computability, complexity, and languages : fundamentals of theoretical computer science /
od: Davis, Martin, 1928-
Izdano: (1994)

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

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

Theory of computational complexity /
od: Du, Dingzhu, et al.
Izdano: (2014)

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

Logic for concurrency and synchronisation
Izdano: (2003)

Introduction to automata theory, languages, and computation /
od: Hopcroft, John E., 1939-
Izdano: (1979)

Introduction to automata theory, languages, and computation /
od: Hopcroft, John E.
Izdano: (2001)

Symbolic logic syntax, semantics, and proof /
od: Agler, David W., 1982-
Izdano: (2013)

Advances in network complexity
Izdano: (2013)

Mathematical logic
od: Tourlakis, George J.
Izdano: (2003)

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

Logic and theism arguments for and against beliefs in God /
od: Sobel, Jordan Howard
Izdano: (2004)

Mathematical logic
od: Chiswell, Ian, 1948-
Izdano: (2007)

Intermediate logic
od: Bostock, David
Izdano: (1997)

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

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

Logic with trees an introduction to symbolic logic /
od: Howson, Colin
Izdano: (1997)

Studies in logic
Izdano: (1983)

Mathematical logic
od: Quine, W. V. (Willard Van Orman)
Izdano: (1981)

In the light of logic
od: Feferman, Solomon
Izdano: (1998)

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

Set theory and its logic
od: Quine, W. V. (Willard Van Orman)
Izdano: (1969)

The elements of mathematical logic.
od: Rosenbloom, Paul C.
Izdano: (1950)

Can markets compute equilibria?
od: Monroe, Hunter
Izdano: (2009)

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

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

Classical mathematical logic the semantic foundations of logic /
od: Epstein, Richard L.
Izdano: (2011)

Formal models, languages and applications
Izdano: (2006)

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

Computational complexity and statistical physics
Izdano: (2006)

Mathematical logic in the 20th century
Izdano: (2003)