Cargando…

Deducibility and decidability /

Mostrar otras versiones (1)

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Gill, R. R. Rockingham, 1944-
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	London ; New York : Routledge, 1990.
Temas:	Logic, Symbolic and mathematical. Decidability (Mathematical logic) Logique symbolique et mathématique. Décidabilité (Logique mathématique) PHILOSOPHY > Logic. Mathematical logic
Acceso en línea:	Texto completo

Ejemplares similares

Deducibility and Decidability.
por: Gill, R. R. Rockingham
Publicado: (1990)

Language and godels theorem : a revised edition.
por: Tice, Bradley S.
Publicado: (2012)

Induction, bounding, weak combinatorial principles, and the homogeneous model theorem /
por: Hirschfeldt, Denis Roman, et al.
Publicado: (2017)

Decision problems for equational theories of relation algebras /
por: Andréka, H.
Publicado: (1997)

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

Studies in logic /
Publicado: (1983)

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

Decidability and Boolean representations /
por: Burris, Stanley, et al.
Publicado: (1981)

Something To Reckon With : the Logic of Terms.
por: Englebretsen, George
Publicado: (1996)

The continuum companion to philosophical logic /
Publicado: (2011)

Mathematical logic /
por: Quine, W. V. (Willard Van Orman)
Publicado: (1981)

Mathematical logic /
por: Quine, W. V. (Willard Van Orman)
Publicado: (1981)

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

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

Neutrosophic logic : the revolutionary logic in science and philosophy : proceedings of the national symposium /
por: Smarandache, Florentin, et al.
Publicado: (2018)

Logic With Trees : an Introduction to Symbolic Logic.
por: Howson, Colin
Publicado: (1997)

Studies in Logic' by Members of the Johns Hopkins University (1883).
Publicado: (1983)

El triángulo lógico. Una ecuación didáctica emergente para aprender metodología de la investigación.
por: Jiménez, Isabel Cristina
Publicado: (2020)

Zhong zhi xue : zhong zhi luo ji, zhong zhi ji he lun, zhong zhi gai lü kun /
por: Smarandache, Florentin
Publicado: (2003)

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

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

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

Tractatus logico-philosophicus /
por: Wittgenstein, Ludwig, 1889-1951
Publicado: (2021)

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

Intermediate logic /
por: Bostock, David
Publicado: (1997)

Intermediate logic /
por: Bostock, David
Publicado: (1997)

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

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

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)

Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic /
Publicado: (1982)

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

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

Universal logic through the looking-glass : reflections on logical pluralism in the light of culture /
por: Fu, Tzu-Keng
Publicado: (2015)

Neutrosophic computing and machine learning : book series. vol 4
Publicado: (2018)

Collected works.
por: Gödel, Kurt
Publicado: (1986)

Philosophical Approaches to the Foundations of Logic and Mathematics In Honor of Stanisław Krajewski.
por: Trepczyński, Marcin
Publicado: (2021)

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

Diamond : a paradox logic /
por: Hellerstein, N. S. (Nathaniel S.)
Publicado: (2010)

Logic Colloquium 2006 /
Publicado: (2009)

A first course in logic : an introduction to model theory, proof theory, computability, and complexity /
por: Hedman, Shawn
Publicado: (2004)

Cannot write session to /tmp/vufind_sessions/sess_1baaiisisbii2hkrmblkpvpbi4