Cargando…

Admissibility of logical inference rules

Detalles Bibliográficos
Autor principal:	Rybakov, Vladimir V. (Vladimir Vladimir), 1961-
Formato:	Libro
Lenguaje:	English
Publicado:	Amsterdam : Elsevier, 1997.
Colección:	Studies in logic and the foundations of mathematics ; 136
Materias:	Lógica simbólica y matemática. Inferencia.

Ejemplares similares

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

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

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

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

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

Elements of intuitionism
por: Dummett, Michael, 1925-2011
Publicado: (1977)

Primer curso de lógica matemática /
por: Suppes, Patrick, 1922-2014

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

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

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

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

Lógica y algoritmos : Con aplicaciones a las ciencias de la computación e información
por: Korfhage, Robert R.
Publicado: (1974)

Elementary logic /
por: Mates, Benson, 1919-
Publicado: (1965)

Symbolic logic
por: Copi, Irving M.
Publicado: (1970)

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

The elements of formal logic /
por: Hughes, G. E. (George Edward), 1918-
Publicado: (1965)

Introduction to symbolic logic and its applications /
por: Carnap, Rudolf, 1891-1970
Publicado: (1958)

First-order logic : an introduction
por: Cauman, Leigh S.
Publicado: (1998)

Symbolic logic and the game of logic /
por: Carroll, Lewis, 1832-1898
Publicado: (1958)

What is mathematical logic
Publicado: (1990)

Handbook of mathematical logic
Publicado: (1977)

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

Logic and knowledge : essays, 1901-1950 /
por: Russell, Bertrand, 1872-1970
Publicado: (1956)

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

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

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

Introduccion al lenguaje de la matemática
por: Fregoso, Arturo
Publicado: (1972)

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

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

Logic, language and computation
Publicado: (1996)

Lógica /
Publicado: (1974)

Infinito, transfinito, finito
por: García Bacca, Juan David 1901-
Publicado: (1984)

El sentido de la nueva lógica
por: Quine, W. V. (Willard Van Orman)
Publicado: (1958)

Logic for mathematicians
por: Hamilton, A. G., 1943-
Publicado: (1988)

Fundamentals of symbolic logic
por: Ambrose, Alice, 1906-
Publicado: (1962)

Principia mathematica : to *56
por: Whitehead, Alfred North, 1861-1947
Publicado: (1962)

El teorema de G"del
por: Nagel, Ernest, 1901-
Publicado: (1970)

The haskell road to logic, maths and programming /
por: Doets, H. C.‏
Publicado: (2012)

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

Mathematical logic and the foundations of mathematics : an introductory survey /
por: Kneebone, G. T.
Publicado: (1963)

Cannot write session to /tmp/vufind_sessions/sess_epte23as10s9d5ca244l2ua5u1