Completeness theory for propositional logics
Main Author: | Pogorzelski, Witold, 1944- |
---|---|
Corporate Author: | ebrary, Inc. |
Other Authors: | Wojtylak, Piotr. |
Format: | Book |
Language: | English |
Published: |
Basel ; Boston :
Birkhθauser,
c2008.
|
Series: | Studies in universal logic
|
Subjects: | |
Online Access: | http://site.ebrary.com/lib/ucy/Doc?id=10501479 |
Similar Items
-
The incompleteness phenomenon : a new course in mathematical logic /
by: Goldstern, Martin
Published: (1995) -
Symbolic logic and mechanical theorem proving /
by: Chang, Chin-Liang, 1937-
Published: (1987) -
Les theoremes d'incompletude de Godel /
by: Smullyan, Raymond M.
Published: (1993) -
̂Gōdel's proof /
by: Nagel, Ernest, 1901-1985.
Published: (2001) -
Godel's theorem in focus/
Published: (1988)