Imagen de Portada

Algebraic logic /

Guardado en:

Autor Principal:	Gindikin, S. G.
Formato:	Libro
Idioma:	English Russian
Publicado:	New York : Springer-Verlag, c1985.
Series:	Problem books in mathematics
Materias:	Algebraic logic.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Algebraic logic.
por: Halmos, Paul R. 1916-2006.
Publicado: (1962)

Studies in algebraic logic /
Publicado: (1974)

A general algebraic semantics for senten[t]ial logics /
por: Font, Josep Maria, 1954-
Publicado: (1996)

Matrices de Morgan caractéristiques pour le calcul propositionnel classique ; Algèbres monadiques /
por: Monteiro, Antonio A. R. 1907-1980.
Publicado: (1974)

Universal algebra, algebraic logic, and databases /
por: Plotkin, B. I.
Publicado: (1994)

Algebraic methods of mathematical logic /
por: Rieger, Ladislav, 1916-1963.
Publicado: (1967)

Algebraic and logic programming : 4th international confernence, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings /
Publicado: (1994)

Selected topics in algebra and its interrelations with logic, number theory and algebraic geometry /
por: Bucur, Ionel, 1930-1976.
Publicado: (1984)

Logically motivated varieties with decidable finite algebras /
por: Idziak, Pawel.
Publicado: (1989)

Proceedings of the Conference "Algebra and Logic," Zagreb, 1984 /
Publicado: (1985)

Proceedings of the Conference "Algebra and Logic," Sarajevo 1987 /
Publicado: (1989)

Proceedings of the Conference "Algebra and Logic", Cetinje, 1986 /
Publicado: (1987)

Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory /
por: Lau, Dietlinde.
Publicado: (2006)

Algebra and logic.
Publicado: (1968)

Algebraic systems /
por: Mal´tsev, A. I. 1909-1967.
Publicado: (1973)

Logic, logic, and logic /
por: Boolos, George.
Publicado: (1998)

Algebra and logic.
Publicado: (1968)

Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory /
por: Lau, Dietlinde.
Publicado: (2006)

Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebra /
por: Cox, David.
Publicado: (2007)

Principles of logic and logic programming /
por: Metakides, George, 1945-
Publicado: (1996)

Meta-logics and logic programming /
Publicado: (1995)

Fundamentals of Algebraic Graph Transformation
por: Ehrig, Hartmut.
Publicado: (2006)

Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings /
por: Anai, Hirokazu.
Publicado: (2007)

Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers /
por: Bozapalidis, Symeon.
Publicado: (2007)

Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings /
por: Fiadeiro, José Luiz.
Publicado: (2005)

Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings /
por: Mossakowski, Till.
Publicado: (2007)

Applied logic /
por: Hansen, Kaj Børge.
Publicado: (1996)

Álgebra /
por: Cárdenas, Javier León.
Publicado: (2014)

Álgebra /
por: Carpinteyro Vigil, Eduardo.
Publicado: (2014)

Álgebra /
por: Kaufmann, Jerome E.
Publicado: (2013)

From logic to logic programming /
por: Doets, Kees.
Publicado: (1994)

From logic to logic programming /
por: Doets, Kees.
Publicado: (1994)

Logic for mathematicians /
por: Hamilton, A. G., 1943-
Publicado: (1988)

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
por: Benthem, Johan.
Publicado: (2006)

Logic and objects /
por: McCabe, F. G. 1953-
Publicado: (1992)

Valued Fields
por: Engler, Antonio J.
Publicado: (2005)

Reasoning and logic /
por: Angell, Richard B.
Publicado: (1964)

Introduction to logic /
por: Packard, Dennis J.
Publicado: (1980)

Fundamentals of logic /
por: Smullyan, Arthur.
Publicado: (1962)

Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers /
por: Fiadeiro, José Luiz.
Publicado: (2005)