Cover Image

28th IEEE international symposium on multiple-value logic : May 27-29, 1998 Fukuoka, Japan

Corporate Authors:	International Symposium on Multiple-Value Logic Fukuoka, Japan), Institute of Electrical and Electronics Engineers
Format:	Book
Language:	English
Published:	California : IEEE Computer Society, 1998
Subjects:	Logic, Symbolic and mathematical

Similar Items

27th International Symposium on Multiple-Valued Logic: May 28-30, 1997, Antigonish, Nova Scotia, Canada: proceedings/
Published: (1997)

Many-Valued logics/
by: Rosser, John Barkley, 1907-
Published: (1952)

25th International Symposium on Multiple-Valued Logic : May 23-25, 1995, Bloomington, Indiana /
Published: (1995)

Mathematical logic in the 20th century /
Published: (2003)

Philosophical problems of many-valued logic/
by: Zinovʹev, A. A.
Published: (1963)

Automated deduction in multiple-valued logics/
by: Hahnle, Reiner
Published: (1993)

Proceedings of the third Scandinavian logic symposium/
Published: (1975)

Proceedings of the second Scandinavian logic symposium/
Published: (1971)

Mathematical logic in the 20th century/
Published: (2003)

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

Many-Valued logics/
by: Rosser, John Barkley, 1907-
Published: (1958)

Logic: an introductory course/
by: Newton-Smith, W. H.
Published: (1985)

Popular lectures on mathematical logic /
by: Wang, Hao
Published: (1981)

Formal logic/
by: Lorenzen, Paul, 1915-1994
Published: (1965)

Introduction to logic/
by: Suppes, Patrick, 1922-
Published: (1957)

Introduction to logic/
by: Suppes, Patrick, 1922-
Published: (1957)

Principles of logic and logic programming/
by: Μητακίδης, Γιώργος, 1945-
Published: (1996)

Principles of logic and logic programming/
by: Μετακίδης, Γιώργος, 1945-
Published: (1996)

Ω-Bibliography of mathematical logic/
Published: (1987)

The logical problem of induction/
by: Wright, G. H. von 1916-
Published: (1957)

Advances in linear logic /
Published: (1995)

The essence of logic/
by: Kelly, John J., -1995
Published: (1997)

Logic Colloquium ʹ73 : proceedings of the Logic Colloquim Bristol, July 1973 /
Published: (1975)

The elements of mathematical logic/
by: Rosenbloom, Paul C.
Published: (1950)

Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 /
Published: (2012)

Logic/
by: Hodges, Wilfrid, 1941-
Published: (1991)

Logic with trees : an introduction to symbolic logic /
by: Howson, Colin.
Published: (1997)

Logic/
by: Earle, Nick
Published: (1973)

Logic Colloquium ʹ80 : papers intended for the European Summer Meeting of the Association for Symbolic Logic
Published: (1982)

Logic colloquium ʹ69 : proceedings of the Summer School and Colloquim in mathematical, logic, Manchester, August 1969 /
Published: (1971)

Symbolic logic and the game of logic/
by: Carroll, Lewis, 1832-1898
Published: (1958)

Modern logic : a text in elementary symbolic logic /
by: Forbes, Graeme
Published: (1994)

Combinatory logic /
by: Curry, Haskell B.
Published: (1958)

Algebraic logic/
by: Halmos, Paul R., 1916-2006
Published: (1962)

Combinatory logic/
by: Curry, Haskell B.
Published: (1958)

The logic book
by: Bergmann, Merrie
Published: (1998)

Algebraic logic/
by: Halmos, Paul R., 1916-2006
Published: (1962)

Model-theoretic constructions in many-valued modal logic/
by: Ελευθερίου, Παντελής Ε.
Published: (2002)

In the light of logic /
by: Feferman, Solomon.
Published: (1998)

Mathematical logic /
by: Chiswell, Ian, 1948-
Published: (2007)

Cannot write session to /tmp/vufind_sessions/sess_nhsg28kk8prgk5k96kotkdv614