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

Código QR

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

Detalles Bibliográficos
Formato:	Libro
Lenguaje:	English
Publicado:	c2011.
Acceso en línea:	Ver documento en línea

Ejemplares similares

Logic, computers and sets /
por: Wang, Hao 1921-1995
Publicado: (1970)

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

Set theory and logic
por: Stoll, Robert Roth, et al.
Publicado: (1963)

Set theory and logic
por: Stoll, Robert R.
Publicado: (1963)

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

Sets, logic and axiomatic theories
por: Stoll, Robert R.
Publicado: (1961)

Sets and logic /
por: Hanna, Samuel C., et al.
Publicado: (1971)

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

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

Logic, sets, and recursion /
por: Causey, Robert L.
Publicado: (2006)

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

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

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

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

Mathematics of Fuzzy Sets and Fuzzy Logic /
por: Bede, Barnabas.
Publicado: (2013)

Computability and logic /
por: Boolos, George
Publicado: (1980)

Theories in logic /
por: Windelband, Wilhelm, 1848-1915
Publicado: (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.
por: Bar, Hillel Yehoshua, et al.
Publicado: (1970)

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

Computer logic desing
por: Mano, M. Morris
Publicado: (1972)

Digital Logic for Computing /
por: Seiffertt, John.
Publicado: (2017)

Computer logic design /
por: Mano, M. Morris, et al.
Publicado: (1972)

Digital logic for computing /

Digital logic for computing /

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

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

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

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

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

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

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

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

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

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

Digital logic and computer design.
por: Mano M., Morris
Publicado: (1979)

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

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

Completeness theory for propositional logics /
Publicado: (2008)

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

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