Computational logic and set theory : Applying Formalized Logic to Analysis /

QR Code

Computational logic and set theory : Applying Formalized Logic to Analysis /

Bibliographic Details
Format:	Book
Language:	English
Published:	c2011.
Online Access:	Ver documento en línea

Similar Items

Logic, computers and sets /
by: Wang, Hao 1921-1995
Published: (1970)

Set theory and logic /
by: Fraenkel, Abraham Adolf 1891-1965, et al.
Published: (1966)

Set theory and logic
by: Stoll, Robert Roth, et al.
Published: (1963)

Set theory and logic
by: Stoll, Robert R.
Published: (1963)

Sets, logic and axiomatic theories /
by: Stoll, Robert Roth, et al.
Published: (1961)

Sets, logic and axiomatic theories
by: Stoll, Robert R.
Published: (1961)

Sets and logic /
by: Hanna, Samuel C., et al.
Published: (1971)

Mathematical logic and foundations of set theory proceedings of an international colloquium
Published: (1970)

The Computational complexity of logical theories /
by: Ferrante, Jeanne 1949-, et al.
Published: (1964)

Logic, sets, and recursion /
by: Causey, Robert L.
Published: (2006)

Logic, sets, and recursion /
by: Causey, Robert L.

Applied logic for computer scientists : computational deduction and formal proofs /
by: Ayala-Rincón, Mauricio
Published: (2017)

Applied logic for computer scientists : Computational deduction and formal proofs.

Logic, foundations of mathematics, and computability theory
Published: (1975)

Mathematics of Fuzzy Sets and Fuzzy Logic /
by: Bede, Barnabas.
Published: (2013)

Computability and logic /
by: Boolos, George
Published: (1980)

Theories in logic /
by: Windelband, Wilhelm, 1848-1915
Published: (1961)

Mathematical logic and foundations of set theory : proceedings of an International Colloquium held under the auspices of the Israel Academy of Sciences an Humanities, Jerusalem, 11-14 november, 1968.
by: Bar, Hillel Yehoshua, et al.
Published: (1970)

An introduction to computer logic /
by: Irwin, J. David 1939-, et al.
Published: (1975)

Computer logic desing
by: Mano, M. Morris
Published: (1972)

Digital Logic for Computing /
by: Seiffertt, John.
Published: (2017)

Computer logic design /
by: Mano, M. Morris, et al.
Published: (1972)

Digital logic for computing /

Digital logic for computing /

Computer logic : the functional design of digital computers /
by: Flores, Iván, et al.
Published: (1960)

Introduction to logical theory /
by: Strawson, Peter F., et al.
Published: (1952)

Foundations of the logical theory of scientific knowledge (complex logic) /
by: Zinoviev, Aleksandr 1922-, et al.
Published: (1973)

Sets and Logic 1 / C. A. R. Bailey
by: Bailey, C. A. R.

Sets and Logic 2 / C. A. R. Bailey
by: Bailey, C. A. R.

Introduction to mathematical logic : set theory, computable functions, model theory /
by: Malitz, Jerome, et al.
Published: (1979)

Essential logic for computer science /
by: Page, Rex L. 1944-
Published: (2018)

Discrete structures, logic, and computability /
by: Hein, James L., et al.
Published: (1995)

Logical design of digital computers
by: Phister, Montgomery 1926-, et al.
Published: (1958)

Computer science and multiple-valued logic theory and applications
by: Rine, David C.
Published: (1977)

Digital logic and computer design.
by: Mano M., Morris
Published: (1979)

Formal logic /
by: Maritain, Jacques 1882-1973, et al.
Published: (1946)

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers /
by: Keisler, H. Jerome, et al.
Published: (1979)

Completeness theory for propositional logics /
Published: (2008)

Contemporary readings in logical theory /
by: Copi, Irving M., et al.
Published: (1967)

Introduction to logic and switching theory /
by: Biswas, Nripendra Nath 1928-, et al.
Published: (1975)