Cargando…

Algebraic methods of mathematical logic

Algebraic Methods of Mathematical Logic.

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Rieger, Ladislav, 1916-1963
Formato:	Electrónico eBook
Idioma:	Inglés Indeterminado
Publicado:	Prague, New York, Academia; Academic Press, 1967.
Temas:	Logic, Symbolic and mathematical. Algebra, Boolean. Logique symbolique et math�ematique. Alg�ebre de Boole. MATHEMATICS > Logic. Algebra, Boolean Logic, Symbolic and mathematical Mathematische Logik
Acceso en línea:	Texto completo

Ejemplares similares

Boolean systems topics in asynchronicity /
por: Vlad, �Serban E., 1959-
Publicado: (2023)

Hausdorff gaps and limits /
por: Frankiewicz, Ryszard
Publicado: (1994)

Simplified independence proofs : Boolean valued models of set theory /
por: Rosser, J. Barkley (John Barkley), 1907-1989
Publicado: (1969)

Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory /
por: Hailperin, Theodore
Publicado: (1986)

Bent functions : results and applications to cryptography /
por: Tokareva, Natalia
Publicado: (2015)

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

Probability algebras and stochastic spaces
por: Kappos, Demetrios A. (Demetrios Andreou), 1904-
Publicado: (1969)

Two Applications of Logic to Mathematics /
por: Takeuti, Gaisi, 1926-2017
Publicado: (1978)

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

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

Complete theories.
por: Robinson, Abraham, 1918-1974
Publicado: (1956)

Two applications of logic to mathematics /
por: Takeuti, Gaisi, 1926-2017
Publicado: (1978)

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

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

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

Intuitionism and proof theory : Proceedings of the summer conference ; Aug 1968 /
Publicado: (1970)

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

Mathematical interpretation of formal systems
Publicado: (1955)

A survey of mathematical logic /
Publicado: (1963)

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

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

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

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

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

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

The logical systems of Lesniewski.
por: Luschei, Eugene C.
Publicado: (1962)

Constructive order types
por: Crossley, John N.
Publicado: (1969)

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

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

Nomological statements and admissible operations /
Publicado: (1954)

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

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

Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 /
Publicado: (1986)

Intuitionism : an introduction /
Publicado: (1956)

The algebraic theory of switching circuits
por: Moisil, Grigore C.
Publicado: (1969)

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

Cryptographic Boolean functions and applications /
por: Cusick, Thomas W., 1943-
Publicado: (2009)

Cryptographic Boolean functions and applications /
por: Cusick, Thomas W., 1943-, et al.
Publicado: (2017)

Handbook of mathematical logic /
Publicado: (1977)

A mathematical introduction to logic /
por: Enderton, Herbert B.
Publicado: (2001)

Cannot write session to /tmp/vufind_sessions/sess_roggrrvbad2jp9c4iit83u33iq