Cargando…

Two Applications of Logic to Mathematics /

Mostrar otras versiones (2)

Detalles Bibliográficos
Autor principal:	Takeuti, Gaisi, 1926-2017 (Autor)
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Princeton, New Jersey : Princeton University Press, 1978.
Colección:	Book collections on Project MUSE.
Temas:	Logic, Symbolic and mathematical. Algebra, Boolean. MATHEMATICS > General. MATHEMATICS > Logic. Algebre de Boole. Logique symbolique et mathematique. Electronic books.
Acceso en línea:	Texto completo

Ejemplares similares

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

Algebraic methods of mathematical logic
por: Rieger, Ladislav, 1916-1963
Publicado: (1967)

Lógica matemática /
por: Mora Espinosa, Carlos Fernando, et al.
Publicado: (2019)

Logic, Computation, Hierarchies.
Publicado: (2014)

Two Applications of Logic to Mathematics /
por: Takeuti, Gaisi
Publicado: (2015)

Logic, Computation, Hierarchies.
Publicado: (2014)

Boolean functions : theory, algorithms, and applications /
por: Crama, Yves, 1958-
Publicado: (2011)

A tour through mathematical logic /
por: Wolf, Robert S.
Publicado: (2005)

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

Axioms for lattices and boolean algebras /
por: Padmanabhan, R. (Ranganathan), 1938-
Publicado: (2008)

Axioms for lattices and boolean algebras /
por: Padmanabhan, R. (Ranganathan), 1938-
Publicado: (2008)

Recent Progress in the Boolean Domain.
por: Steinbach, Bernd
Publicado: (2014)

Mathematical logic /
por: Chiswell, Ian, 1948-
Publicado: (2007)

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

Lógica matemática /
por: Mora Espinosa, Carlos Fernando, et al.
Publicado: (2019)

The Continued Exercise of Reason : Public Addresses by George Boole /
por: Boole, George, 1815-1864
Publicado: (2018)

Boolean function complexity /
Publicado: (1992)

Computing Boolean statistical models /
por: Oliveira, P. M. C. de (Paulo Murilo Castro)
Publicado: (1991)

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

Logic with trees : an introduction to symbolic logic /
por: Howson, Colin
Publicado: (1997)

Logic and algebraic structures in quantum computing /
Publicado: (2016)

Studies in logic /
Publicado: (1983)

Mechanical logic in three-dimensional space /
por: Auletta, Gennaro
Publicado: (2013)

Logical dynamics of information and interaction /
por: Benthem, Johan van, 1949-
Publicado: (2011)

Boolean logic, expressions and theories : an overview /
Publicado: (2020)

Elementary Logic
por: QUINE, W. V.
Publicado: (1980)

The logic of digital circuits /
Publicado: (2016)

Boolean functions : theory, fundamentals and engineering applications /
Publicado: (2015)

Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995 /
Publicado: (2016)

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

Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008 /
Publicado: (2010)

Mathematical logic in Asia : proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005 /
Publicado: (2006)

Kurt Gödel : collected works.
por: Gödel, Kurt
Publicado: (2014)

Mathematics and computation : a theory revolutionizing technology and science /
por: Wigderson, Avi
Publicado: (2019)

Boolean Functions : Topics in Asynchronicity.
por: Vlad, Serban E.
Publicado: (2019)

Proceedings of the 7th & 8th Asian Logic Conferences : Hsi-Tou, Taiwan, 6-10 June 1999, Chongqing, China, 29 August-2 September 2002 /
Publicado: (2003)

Two-valued iterative systems of mathematical logic. (am-5).
por: Emil L. Post
Publicado: (2016)

Introduction to mathematical logic.
por: Church, Alonzo, 1903-1995
Publicado: (1956)

Deducibility and decidability /
por: Gill, R. R. Rockingham, 1944-
Publicado: (1990)

Mathematics and plausible reasoning.
por: Pólya, George, 1887-1985
Publicado: (1968)