Algebraic methods of mathematical logic.

Algebraic methods of mathematical logic. Translated by Michael Basch.

Saved in:

Bibliographic Details
Main Author:	Rieger, Ladislav, 1916-1963
Format:	Book
Language:	English
Published:	Prague, New York, Academia; Academic Press, 1967.
Subjects:	Logic, Symbolic and mathematical. Algebra, Boolean.

Similar Items

An algebraic introduction to mathematical logic
by: Barnes, Donald W.
Published: (1975)

Logic as algebra
by: Halmos, Paul R. (Paul Richard), 1916-2006
Published: (1998)

Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia
Published: (1975)

Mathematical logic
by: Monk, J. Donald (James Donald), 1930-
Published: (1976)

Mathematical logic
by: Ebbinghaus, Heinz-Dieter, 1939-
Published: (1984)

Mathematical logic
by: Ebbinghaus, Heinz-Dieter, 1939-, et al.
Published: (2021)

Handbook of mathematical logic
Published: (1976)

An introduction to mathematical logic
by: Robison, Gerson B., 1909-
Published: (1969)

Introduction to mathematical logic.
by: Mendelson, Elliott
Published: (1964)

An introduction to mathematical logic
by: Hodel, Richard E.
Published: (1995)

Elements of mathematical logic. (Model theory)
by: Kreisel, Georg
Published: (1971)

Ernst Schröder on algebra and logic
by: Schröder, Ernst, 1841-1902
Published: (2022)

A course in mathematical logic
by: Manin, I︠U︡. I.
Published: (1977)

Popular lectures on mathematical logic
by: Wang, Hao, 1921-
Published: (1980)

Mathematical logic: a first course
by: Robbin, Joel W.
Published: (1969)

A course in mathematical logic for mathematicians
by: Manin, I︠U︡. I.
Published: (2010)

Aspects of mathematical logic. III ciclo. Varenna, 9-17 settembre 1968. Coordinatore: prof. E. Casari.
Published: (1969)

Classical and fuzzy concepts in mathematical logic and applications
by: Reghiș, Mircea
Published: (1998)

Logic : mathematics, language, computer science, and philosophy
by: Swart, H. C. M. de
Published: (1993)

Logic and foundations of mathematics
Published: (1968)

Logic and structure
by: Dahlen, Dirk van, 1932-
Published: (1980)

Logic for mathematicians
by: Hamilton, A. G., 1943-
Published: (1978)

An introduction to mathematical logic and type theory : to truth through proof
by: Andrews, P. B. (Peter Bruce), 1937-
Published: (1986)

Introduction to symbolic logic,
by: Basson, A. H.
Published: (1960)

First-order logic
by: Smullyan, Raymond M.
Published: (1968)

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

Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory
by: Hailperin, Theodore
Published: (1976)

A new approach to logic
by: Katz, Robert, 1922-
Published: (1977)

Logic colloquium '73 : proceedings
Published: (1975)

Mathematical intuitionism : introduction to proof theory
by: Dragalin, Alʹbert Grigorʹevich
Published: (1988)

Introduction to mathematical structures and proofs
by: Gerstein, Larry J.
Published: (1996)

Mathematics and plausible reasoning.
by: Polya, George, 1887-
Published: (1954)

Logic, Computation, Hierarchies.
Published: (2014)

Logic Symposia, Hakone, 1979, 1980 : proceedings of a conference held in Gōra Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
Published: (1981)

Entailment : the logic of relevance and necessity
by: Anderson, Alan Ross
Published: (1975)

A first course in formal logic and its applications in computer science
by: Dowsing, Roy
Published: (1986)

Logic functions and equations : fundamentals and applications using the XBOOLE-Monitor
by: Steinbach, Bernd
Published: (2022)

Foundations without foundationalism : a case for second-order logic
by: Shapiro, Stewart, 1951-
Published: (1991)

How to read and do proofs : an introduction to mathematical thought process
by: Solow, Daniel
Published: (1982)

Mathematical foundations of programming
by: Beckman, Frank S.
Published: (1980)