Conditional and preferential logics proof methods and theorem proving /

Completeness theory for propositional logics
Autor: Pogorzelski, Witold, 1944-
Vydáno: (2008)

Perspectives in logic logical foundations of proof complexity /
Autor: Cook, Stephen, 1948-
Vydáno: (2010)

Ways of proof theory
Autor: Schindler, Ralf
Vydáno: (2010)

The nuts and bolts of proofs
Autor: Cupillari, Antonella
Vydáno: (2005)

Limit theorems for associated random fields and related systems
Autor: Bulinskiĭ, A. V. (Aleksandr Vadimovich)
Vydáno: (2007)

Charming proofs a journey into elegant mathematics /
Autor: Alsina, Claudi
Vydáno: (2010)

Information theory and the central limit theorem
Autor: Johnson, Oliver (Oliver Thomas)
Vydáno: (2004)

Gödel's incompleteness theorems
Autor: Smullyan, Raymond M.
Vydáno: (1992)

The index theorem and the heat equation method
Autor: Yu, Yanlin
Vydáno: (2001)

Memoirs of a proof theorist Gödel and other logicians /
Autor: Takeuti, Gaisi, 1926-
Vydáno: (2003)

Platonic wholes and quantum ontology /
Autor: Woszczek, Marek, 1980-
Vydáno: (2015)

Tracking reason proof, consequence, and truth /
Autor: Azzouni, Jody
Vydáno: (2006)

Logic for concurrency and synchronisation
Vydáno: (2003)

Logic and theism arguments for and against beliefs in God /
Autor: Sobel, Jordan Howard
Vydáno: (2004)

Selectors
Autor: Jayne, John E. (John Eben), 1943-
Vydáno: (2002)

Probabilistic applications of Tauberian theorems
Autor: I͡Akymiv, A. L. (Arsen Li͡ubomirovich)
Vydáno: (2005)

Concepts of proof in mathematics, philosophy, and computer science /
Vydáno: (2016)

Concentration of measure for the analysis of randomized algorithms
Autor: Dubhashi, Devdatt
Vydáno: (2009)

The elementary theory of groups : a guide through the proofs of the Tarski conjectures /
Autor: Fine, Benjamin, 1948-
Vydáno: (2014)

Lectures on Chern-Weil theory and Witten deformations
Autor: Zhang, Weiping
Vydáno: (2001)

A middle way to God
Autor: Hallett, Garth
Vydáno: (2000)

Zonotopes : from guaranteed state-estimation to control /
Vydáno: (2013)

Log-gases and random matrices
Autor: Forrester, Peter (Peter John)
Vydáno: (2010)

Impossibility the limits of science and the science of limits /
Autor: Barrow, John D., 1952-
Vydáno: (1998)

The existence of God /
Autor: Matson, Wallace I.
Vydáno: (1965)

The fingerprint of God : recent scientific discoveries reveal the ... /
Autor: Ross, Hugh
Vydáno: (1989)

The Fire in the equations : science, religion and the search for God /
Autor: Ferguson, Kitty
Vydáno: (1994)

Lectures on the Curry-Howard isomorphism
Autor: Sørensen, Morten Heine
Vydáno: (2006)

Control of quantum systems : theory and methods /
Autor: Cong, Shuang
Vydáno: (2014)

Nonlinear estimation and applications to industrial systems control
Vydáno: (2012)

Advanced topics in nonlinear control systems
Vydáno: (2001)

From Pythagoras to Einstein
Autor: Friedrichs, K. O.
Vydáno: (1965)

Rare event simulation using Monte Carlo methods
Vydáno: (2009)

Automatic indexing and abstracting of document texts
Autor: Moens, Marie-Francine, 1957-
Vydáno: (2000)

Meditations on first philosophy with selections from the Objections and replies /
Autor: Descartes, René, 1596-1650
Vydáno: (2008)

God? a debate between a Christian and an atheist /
Autor: Craig, William Lane
Vydáno: (2004)