Set theory and the continuum hypothesis von Cohen, Paul J. 1934-2007

Introduction à la logique théorie de la démonstration ; cours et exercices corrigés von David, René 1906-1990, Nour, Karim, Raffalli, Christophe

Generalized quantifiers and computation 9th European Summer School in Logic, Language, and Information, ESSLLI '97 Workshop, Aix-en-Provence, France, August 11 - 22, 1997 ; revised...

Category theory and computer science 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995 ; proceedings

Inhaltsverzeichnis

Logic programming and automated reasoning 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994 ; proceedings

Deductive databases and logic programming von Das, Subrata Kumar

First-order logic and automated theorem proving von Fitting, Melvin

Theoretical aspects of reasoning about knowledge proceedings of the third conference (TARK 1990) ; March 4 - 7, 1990, Pacific Grove, Calif.

Truth, deduction, and computation logic and semantics for computer science von Davis, Ruth E.

The universal turing machine a half-century survey

A theory of heuristic information in game-tree search von Tzeng, Chun-Hung

Automata, languages and programming 12th colloquium, Nafplion, Greece, July 15 - 19, 1985

The computer modelling of mathematical reasoning von Bundy, Alan

Theoretical computer science 7th Italian conference, ICTCS 2001, Torino, Italy, October 4 - 6, 2001 ; proceedings

Logical reasoning with diagrams

Types for proofs and programs International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993 ; selected papers

Higher order algebra, logic, and term rewriting first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993 ; selected papers

Isabelle a generic theorem prover von Paulson, Lawrence C.

A mathematical introduction to logic von Enderton, Herbert B.

A mathematical introduction to logic von Enderton, Herbert B.