Imagen de Portada

Algebraic methods of mathematical logic /

Guardado en:

Autor Principal:	Rieger, Ladislav, 1916-1963.
Formato:	Libro
Idioma:	English Czech
Publicado:	Prague : New York : Academia ; Academic Press, 1967.
Materias:	Logic, Symbolic and mathematical. Algebra, Boolean.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Mathematical logic /
por: Kleene, Stephen Cole, 1909-1994.
Publicado: (2002)

Monadic symmetric Boolean algebras /
por: Abad, Manuel.
Publicado: (1989)

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

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

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

Mathematical logic for computer science /
por: Ben-Ari, M., 1948-
Publicado: (1993)

Introduction to mathematical logic /
por: Mendelson, Elliott.
Publicado: (1987)

A course in mathematical logic /
por: Manin, IU. I.
Publicado: (1977)

A course in mathematical logic /
por: Bell, J. L.
Publicado: (1977)

Handbook of mathematical logic /
Publicado: (1977)

Elements of mathematical logic /
por: Novikov, P. S.
Publicado: (1964)

Boolean constructions in universal algebras /
por: Pinus, A. G.
Publicado: (1993)

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

Mathematical Problems from Applied Logic II Logics for the XXIst Century /
por: Gabbay, Dov M.
Publicado: (2007)

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

Mathematical problems from applied logic I : logics for the XXIst century /
Publicado: (2006)

Proceedings of the IX Latin American Symposium on Mathematical Logic.
Publicado: (1993)

The two-valued iterative systems of mathematical logic /
por: Post, Emil Leon, 1897-1954.
Publicado: (1941)

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

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

Probability theory on boolean algebras of events /
por: Onicescu, Octav, 1892-1983.
Publicado: (1976)

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

Boolean methods in operations research and related areas /
por: Hammer, P. L., 1936-
Publicado: (1968)

Logic : techniques of formal reasoning /
por: Kalish, Donald.
Publicado: (1964)

Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /
por: Beth, Evert Willem.
Publicado: (1962)

Logic and structure /
por: Dalen, D. van 1932-
Publicado: (1994)

Logic and structure /
por: Dalen, D. van 1932-
Publicado: (2013)

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

Notes on logic /
por: Lyndon, Roger C.
Publicado: (1966)

Elementary logic /
por: Mates, Benson, 1919-
Publicado: (1965)

Logic and its applications /
por: Burke, Edmund, Ph. D.
Publicado: (1996)

The semantic foundations of logic /
por: Epstein, Richard L., 1947-
Publicado: (1995)

L'algèbre de Boole et son utilisation /
por: Flegg, Graham.
Publicado: (1967)

Principes et applications de l'analyse booléenne /
por: Carvallo, Michel.
Publicado: (1965)

Algèbre de Boole /
por: Kuntzmann, Jean, 1912-
Publicado: (1965)

An introduction to modern logic : an elementary textbook of symbolic logic /
por: Halberstadt, William Harold, 1930-
Publicado: (1960)

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

Advanced logic for applications /
por: Grandy, Richard E.
Publicado: (1977)

Logic for computer science /
por: Reeves, Steve, 1957-
Publicado: (1990)