Cargando…

An outline of mathematical logic : fundamental results and notions explained with all details

Detalles Bibliográficos
Autor principal:	Grzegorczyk, Andrzej
Formato:	Libro
Publicado:	Boston : D. Reidel Publishing, 1974
Materias:	Lógica matemática

Ejemplares similares

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

What is mathematical logic
Publicado: (1990)

Handbook of mathematical logic
Publicado: (1977)

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

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

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

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

Foundations of mathematical logic
por: Curry, Haskell B. 1900-1982 (Haskell Brooks)
Publicado: (1977)

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

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

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

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

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

Logic, sets, and recursion
por: Causey, Robert L.
Publicado: (2006)

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

Notes on logic and set theory /
por: Johnstone, P. T.
Publicado: (1987)

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

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

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)

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

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

How to read and do proofs : an introduction to mathematical thought processes /
por: Solow, Daniel
Publicado: (1990)

Admissibility of logical inference rules
por: Rybakov, Vladimir V. (Vladimir Vladimir), 1961-
Publicado: (1997)

Mathematics and plausible reasoning /
por: Polya, George, 1887-
Publicado: (1990)

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

Modal logic
por: Chagrov, Alexander
Publicado: (1997)

Introducción al intuicionismo
por: Heyting, A
Publicado: (1976)

Matemáticas y razonamiento plausible
por: Polya, George, 1887-1985
Publicado: (1966)

El desarrollo de la lógica matemática /
por: Nidditch, P.H
Publicado: (1995)

Tools and techniques in modal logic
por: Kracht, Marcus
Publicado: (1999)

Introducción al razonamiento matemático /
por: Castaño Perea, Jaime Andrés

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

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

An introduction to fuzzy logic for practical applications
por: Tanaka, Kazuo, 1962-
Publicado: (1997)

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

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

The limits of logic : higher-order logic and the Löwenheim-Skolem theorem /
Publicado: (1996)

First-order logic /
por: Smullyan, Raymond M.
Publicado: (1995)

The mathematical analysis of logic
por: Boole, George, 1815-1864
Publicado: (1965)

Cannot write session to /tmp/vufind_sessions/sess_qkcl11bq6s944kb9oo9nk22mkr