Model-theoretic constructions in many-valued modal logic/

Main Author:	Ελευθερίου, Παντελής Ε.
Format:	Book
Language:	English
Published:	Athens: [s.n.], 2002
Subjects:	Model theory Logic, Symbolic and mathematical

Similar Items

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

Modal logic
by: Chagrov, Alexander
Published: (1997)

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

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

Mathematical logic : an introduction to model theory /
by: Lightstone, A. H.
Published: (1978)

Displaying modal logic/
by: Wansing, Heinrich
Published: (1998)

Model theory/
by: Hodges, Wilfrid, 1941-
Published: (1993)

A course in model theory: an introduction to contemporary mathematical logic/
by: Poizat, Bruno
Published: (2000)

The logical and set-theoretical foundations of mathematics /
by: Zulauf, A.
Published: (1969)

Model theory/
by: Chang, Chen Chung, 1927-
Published: (1990)

Finite model theory/
by: Ebbinghaus, Heinz-Dieter, 1939-
Published: (1999)

Institution-independent model theory /
by: Diaconescu, Razvan
Published: (2008)

Théorie des modéles en logique mathématique/
by: Daigneault, Aubert
Published: (1967)

Modal logics and philosophy
by: Girle, Rod.
Published: (2009)

Games, logic and constructive sets/
Published: (2003)

Set theory and logic/
by: Stoll, Robert R.
Published: (1963)

Fundamentals of mathematical logic /
by: Hinman, Peter G.
Published: (2005)

Fundamentals of mathematical logic /
by: Hinman, Peter G
Published: (2005)

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

Lattices to logic/
by: Dubisch, Roy, 1917-
Published: (1964)

Lattices to logic /
by: Dubisch, Roy
Published: (1964)

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

Complete theories/
by: Robinson, Abraham, 1918-1974
Published: (1977)

Introduction to mathematical logic: set theory, computable functions, model theory/
by: Malitz, Jerome
Published: (1979)

Descriptive Complexity and Finite Models : proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University /
Published: (1997)

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

Conceptual models in mathematics: sets, logic and probability/
by: Hirst, Keith Edwin
Published: (1971)

A mathematical introduction to logic /
by: Enderton, Herbert B.
Published: (1972)

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

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

Lectures in logic and set theory /
by: Tourlakis, George J.
Published: (2003)

Set theory and logic/
by: Fraenkel, Abraham Adolf, 1891-1965
Published: (1966)

Set theory and logic/
by: Stoll, Robert Roth
Published: (1963)

Set theory and logic/
by: Stoll, Robert Roth
Published: (1961)

Notes on logic and set theory/
by: Johnstone, P. T.
Published: (1987)

Set theory and logic/
by: Stoll, Robert Roth
Published: (1979)

Set theory, logic, and their limitations/
by: Machover, Moshe
Published: (1996)

Introduction to logic and sets /
by: Christian, Robert R.
Published: (1965)

Proof, logic and formalization /
by: Detlefsen, Michael
Published: (1992)

Logical number theory I : an introduction /
by: Smorynski, Craig
Published: (1991)

Cannot write session to /tmp/vufind_sessions/sess_qgiecuqkqd07qijorlape108k2