Cargando…

An examination of a decision procedure

Detalles Bibliográficos
Autor principal:	Oglesby, Francis C.
Formato:	Libro
Publicado:	Providence, Rhode Island : American Mathematical Society, 1962
Colección:	Memoirs of American Mathematical Society ; 44
Materias:	Cálculo Lógica matemática Lógica simbólica

Ejemplares similares

?Qué es la lógica matemática?
Publicado: (1988)

Introducción a la lógica formal
por: Deaño Gamallo, Alfredo
Publicado: (1978)

Introducción a las lógicas no clásicas /
por: Peña, Lorenzo
Publicado: (1993)

Lógica simbólica /
por: Garrido, Manuel
Publicado: (2001)

Logic ; Techniques of formal reasoning
por: Kalish, Donald
Publicado: (1964)

Lógica de enunciados : algunos aspectos básicos
por: Herrera Madrigal, José
Publicado: (1995)

Fundamentos de lógica simbólica
por: Ambrose, Alice
Publicado: (1968)

Lógica matemática
por: Solís Daun, Julio Ernesto
Publicado: (1995)

Lógica simbólica
por: Garrido, Manuel
Publicado: (1991)

Introduction to elementary mathematical logic
por: Stolyar, Abram Aronovich
Publicado: (1983)

El juego de la lógica y otros escritos
por: Carroll, Lewis, 1832-1898
Publicado: (1972)

Eslabón interdisciplinario I : introducción a la lógica simbólica. Teoría de los conjuntos y relaciones
por: González, Dolores

Computability, complexity, logic
por: Börger, Egon 1946-
Publicado: (1989)

Taller de lógica matemática : análisis lógico
por: Zubieta Russi, Gonzalo
Publicado: (1993)

A concise introduction to pure mathematics /
por: Liebeck, M. W. (Martin W.), 1954-
Publicado: (2006)

The uncertain reasoner's companion : a mathematical perspective /
por: Paris, J. B. (Jeff B.)
Publicado: (1994)

Lógica matemática elemental
por: Zubieta Russi, Francisco
Publicado: (1977)

What is mathematical logic
Publicado: (1990)

An outline of mathematical logic : fundamental results and notions explained with all details
por: Grzegorczyk, Andrzej
Publicado: (1974)

Course of mathematical logic
por: Fraíssé, Roland
Publicado: (1974)

First order mathematical logic /
por: Margaris, Angelo
Publicado: (1990)

Popular lectures on mathematical logic
por: Wang, Hao, 1921-
Publicado: (1993)

Primer curso de lógica matemática
por: Suppes, Patrick, 1922-2014
Publicado: (1979)

La máquina y las demostraciones : matemáticas, lógica e informática
por: Lolli, Gabriele, 1942-
Publicado: (1991)

Handbook of mathematical logic
Publicado: (1977)

Manual de lógica para estudiantes de matemáticas
por: Zubieta Russi, Gonzalo
Publicado: (1971)

Forma y modalidad : una introducción al concepto de consecuencia lógica
por: Gómez Torrente, Mario
Publicado: (2000)

Lógica simbólica para todos : (lógica elemental, modal, epistémica, deóntica, temporal y semántica de los mundos posibles) /
por: Redmond, Walter Bernard
Publicado: (1999)

Obras completas /
por: Gödel, Kurt
Publicado: (1981)

Pensamiento metódico
por: Lorenzen, Paul, 1915-1994
Publicado: (1982)

Pensamiento metódico
por: Lorenzen, Paul, 1915-1994
Publicado: (1973)

Morality decision and social organization : Toward a logic of ethics
por: Menger, Karl, 1902-1985
Publicado: (1974)

A mathematical introduction to logic
por: Enderton, Herbert B.

Una introducción matemática a la lógica
por: Enderton, Herbert B.

Logique, sémantique, métamathématique /
por: Tarski, Alfred
Publicado: (1972)

El pensamiento lógico-matemático : elementos de heurística y apodíctica demostrativa /
por: Sagüillo Fernández-Vega, José Miguel
Publicado: (2008)

First course in mathematical logic
por: Suppes, Patrick, 1922-2014
Publicado: (2002)

Introduction to mathematical logic
por: Mendelson, Elliott
Publicado: (2015)

Elementos de lógica matemática /
por: Gortari, Elí de, 1918-1991
Publicado: (1983)

Logic and structure /
por: Dalen, D. van (Dirk), 1932-

Cannot write session to /tmp/vufind_sessions/sess_gli5q27ppk6sdgllf63lvppn8a