Welcome to the Kids' Library!

Admissibility of logical inference rules

Rybakov, Vladimir V. (Vladimir Vladimir), 1961-
Amsterdam ; New York : Elsevier, 1997. 1997

Beyond wavelets

San Diego, Calif. : Academic Press, 2003. 2003

Cafe : an industrial-strength algebraic formal method

Amsterdam ; New York : Elsevier, 2000. 2000

Computable structures and the hyperarithmetical hierarchy

Ash, C. J.
Amsterdam ; New York : Elsevier, 2000. 2000

From Peirce to Skolem : a neglected chapter in the history of logic

Brady, Geraldine.
Amsterdam ; New York : North-Holland/Elsevier Science BV, 2000. 2000

Handbook of computability theory

Amsterdam ; New York : Elsevier, 1999. 1999

Handbook of process algebra

Amsterdam ; New York : Elsevier, 2001. 2001

Handbook of proof theory

New York : Elsevier, 1998. 1998

Handbook of the logic of argument and inference : the turn towards the practical

Amsterdam ; Boston : North Holland/Elsevier, 2002. 2002

Logic and automata : history and perspectives

Amsterdam : Amsterdam University Press, ©2008. 2008

Logical frameworks for truth and abstraction : an axiomatic study

Cantini, Andrea.
Amsterdam ; New York : Elsevier Science B.V., 1996. 1996

The many valued and non-monotonic turn in logic

Amsterdam ; London : North Holland, 2007. 2007

Mathematical logic

Turing, Alan, 1912-1954.
Amsterdam ; New York : Elsevier Science, 2001. 2001

Multiscale wavelet methods for partial differential equations

San Diego : Academic Press, ©1997. 1997

Numerical analysis of wavelet methods

Cohen, Albert, 1965-
Amsterdam ; Boston : Elsevier, 2003. 2003

The nuts and bolts of proofs

Cupillari, Antonella.
Amsterdam ; Boston : Elsevier Academic Press, [2005]. 2005

Quantum theoretic machines : what is thought from the point of view of physics

Stern, August, 1945-
Amsterdam ; New York : Elsevier, 2000. 2000

Real analysis : with an introduction to wavelets and applications

Amsterdam ; Boston : Elsevier Academic Press, ©2005. 2005

Relation algebras by games

Hirsch, R. (Robin)
Amsterdam ; Boston : North Holland/Elsevier, 2002. 2002

Residuated lattices : an algebraic glimpse at substructural logics

Amsterdam ; Boston : Elsevier, 2007. 2007