Cargando…

An examination of a decision procedure /

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Oglesby, Francis C.
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Providence, R.I. : American Mathematical Society, 1962.
Colección:	Memoirs of the American Mathematical Society ; no. 44.
Temas:	Predicate calculus. Logic, Symbolic and mathematical. Calcul des prédicats. Logique symbolique et mathématique. Logic, Symbolic and mathematical Predicate calculus Beweis Entscheidungstheorie Prädikatenlogik Prüfung
Acceso en línea:	Texto completo

Ejemplares similares

Subsystems of second order arithmetic /
por: Simpson, Stephen G. (Stephen George), 1945-
Publicado: (2009)

Modern theories of higher level predicates : second intentions in the Neuzeit /
por: Hickman, Larry A., 1942-
Publicado: (1980)

Two papers on the predicate calculus /
por: Kleene, Stephen Cole, 1909-1994
Publicado: (1952)

Logic Colloquium '90 : ASL Summer Meeting in Helsinki /
Publicado: (2017)

Truth and Predication.
por: Davidson, Donald

Mathematics and mathematical logic : new research /
Publicado: (2010)

A hierarchy of formulas in set theory /
por: Lévy, Azriel, 1934-
Publicado: (1965)

The calculi of Lambda-conversion /
por: Alonzo Church
Publicado: (1941)

Philosophy of mathematics in the twentieth century : selected essays /
por: Parsons, Charles, 1933-
Publicado: (2014)

The foundations of mathematics /
por: Stewart, Ian, 1945-, et al.
Publicado: (2015)

Formalism and beyond : on the nature of mathematical discourse /
Publicado: (2014)

Analysis and logic /
Publicado: (2002)

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

The mathematics of logic : a guide to completeness theorems and their applications /
por: Kaye, Richard (Richard W.)
Publicado: (2007)

The mathematics of logic : a guide to completeness theorems and their applications /
por: Kaye, Richard (Richard W.)
Publicado: (2007)

Bridge to abstract mathematics /
por: Oberste-Vorth, Ralph W., 1959-
Publicado: (2012)

Bridge to abstract mathematics /
por: Oberste-Vorth, Ralph W., 1959-
Publicado: (2012)

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

Non-standard analysis /
por: Robinson, Abraham, 1918-1974
Publicado: (1996)

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory /
por: Gödel, Kurt
Publicado: (1940)

An introduction to non-classical logic : from if to is /
por: Priest, Graham
Publicado: (2008)

Philosophy of mathematics in the twentieth century : selected essays /
por: Parsons, Charles, 1933-
Publicado: (2014)

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

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

Handbook of Mathematical Logic.
por: Barwise, Jon
Publicado: (1989)

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

In the Light of Logic.
por: Feferman, Solomon
Publicado: (1999)

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

Introduction to Mathematical Structures and Proofs.
por: Banchoff, Thomas F.
Publicado: (1996)

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)

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)

Formalism and beyond : on the nature of mathematical discourse /
Publicado: (2014)

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

Computability and logic.
por: Boolos, George
Publicado: (2002)

Foundations without foundationalism : a case for second-order logic /
por: Shapiro, Stewart, 1951-
Publicado: (1991)

Foundations without foundationalism : a case for second-order logic /
por: Shapiro, Stewart, 1951-
Publicado: (1991)

The adventure of reason : interplay between philosophy of mathematics and mathematical logic, 1900-1940 /
por: Mancosu, Paolo
Publicado: (2010)

Methods and Applications of Mathematical Logic.
por: Carnielli, Walter A.
Publicado: (1988)

Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas /
Publicado: (2007)

Cannot write session to /tmp/vufind_sessions/sess_t1i0spmflc3aufidit5u5enk9a