Loading…

Many-values logics /

Bibliographic Details
Call Number:	Libro Electrónico
Other Authors:	Rosser, J. Barkley (John Barkley), 1907-1989, Turquette, Atwell R. (Atwell Rufus), 1914-
Format:	Electronic eBook
Language:	Inglés
Published:	Dordrecht : Elsevier Science, 1951.
Series:	Studies in logic and the foundations of mathematics ; v. 7.
Subjects:	Many-valued logic. Logique multivalente. Many-valued logic
Online Access:	Texto completo Texto completo Texto completo

Similar Items

The many valued and non-monotonic turn in logic /
Published: (2007)

An introduction to many-valued and fuzzy logic : semantics, algebras, and derivation systems /
by: Bergmann, Merrie
Published: (2008)

Computer science and multiple-valued logic : theory and applications /
Published: (1977)

Constraint solving over multi-valued logics : application to digital circuits /
by: Azevedo, Francisco
Published: (2003)

Matrix logic /
by: Stern, August, 1945-
Published: (1988)

Combinatory logic /
Published: (1958)

Combinatory logic.
Published: (1972)

Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985 /
Published: (1987)

Quantification in nonclassical logic /
by: Gabbay, Dov M., 1945-
Published: (2009)

Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966 /
Published: (1968)

Elements of mathematical logic (Model theory)
by: Kreisel, Georg, et al.
Published: (1967)

A survey of mathematical logic /
Published: (1963)

Admissibility of logical inference rules /
by: Rybakov, Vladimir V. (Vladimir Vladimir), 1961-
Published: (1997)

Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978 /
Published: (1979)

Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 /
Published: (1980)

Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 /
Published: (1977)

Logic Colloquium '77 : proceedings of the colloquium held in Wroc�aw, August 1977 /
Published: (1978)

Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 /
Published: (1989)

Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 /
Published: (1982)

Lectures on the many-body problem.
Published: (1964)

Logic colloquium '73 : proceedings /
Published: (1975)

Proceedings of the Second Scandinavian Logic Symposium
Published: (1971)

Tools and techniques in modal logic /
by: Kracht, Marcus
Published: (1999)

Handbook of mathematical logic /
Published: (1977)

Fuzzy logic and the semantic web /
Published: (2006)

Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 /
Published: (1983)

Handbook of the logic of argument and inference : the turn towards the practical /
Published: (2002)

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

Algebraic methods of mathematical logic
by: Rieger, Ladislav, 1916-1963
Published: (1967)

From Peirce to Skolem : a neglected chapter in the history of logic /
by: Brady, Geraldine
Published: (2000)

Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981 /
Published: (1982)

Nomological statements and admissible operations /
Published: (1954)

Computability, complexity, logic /
by: B�orger, E. (Egon), 1946-
Published: (1989)

Logical frameworks for truth and abstraction : an axiomatic study /
by: Cantini, Andrea
Published: (1996)

An Introduction to Many-Valued and Fuzzy Logic : Semantics, Algebras, and Derivation Systems.
by: Bergmann, Merrie
Published: (2008)

Realizability : an introduction to its categorical side /
by: Oosten, Jaap van
Published: (2008)

Mathematical interpretation of formal systems
Published: (1955)

Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987 /
Published: (1989)

Mathematical logic and formalized theories : a survey of basic concepts and results /
by: Rogers, Robert, 1926-
Published: (1974)

Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 /
Published: (1988)