Cargando…

Teoría de modelos

Detalles Bibliográficos
Autor principal:	Manzano, María
Formato:	Libro
Lenguaje:	Spanish
Publicado:	Madrid : Alianza, 1989.
Colección:	Alianza universidad textos.
Materias:	Teoría de modelos. Lógica matemática.

Ejemplares similares

A shorter model theory
por: Hodges, Wilfrid
Publicado: (1997)

Model Theory
por: Chang, Chen Chung, 1927-
Publicado: (1990)

Una introducción constructiva a la teoría de modelos
por: Sanmartín Esplugues, José
Publicado: (1977)

Beginning model theory : the completeness theorem and some consequences
por: Bridge, Jene
Publicado: (1977)

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

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

El concepto de modelo : introducción a una epistemología materialista de las matemáticas
por: Badiou, Alain
Publicado: (2009)

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

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

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

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

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

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)

Handbook of mathematical logic
Publicado: (1977)

El concepto de modelo : bases para una epistemología materialista de las matemáticas
por: Badiou, Alain
Publicado: (1978)

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

Handbook of proof theory /
Publicado: (1998)

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

Admissible sets and structures : an approach to definability theory
por: Barwise, Jon
Publicado: (1975)

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

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

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

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

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

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

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

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

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

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

Análisis de algoritmos y teoría de grafos
por: Abellanas, M.
Publicado: (1991)

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

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

An examination of a decision procedure
por: Oglesby, Francis C.
Publicado: (1962)

Introducción a la lógica deductiva y teoría de los conjuntos /
por: Salazar Resines, Javier
Publicado: (1970)

Introducción a la lógica deductiva y teoría de los conjuntos
por: Salazar Resines, Javier
Publicado: (1971)

Bertrand Russell y los orígenes de las "paradojas" de la teoría de conjuntos /
por: Garciadiego Dantan, Alejandro Ricardo
Publicado: (1992)

Cannot write session to /tmp/vufind_sessions/sess_mv2a35cbv9tiquuhpi45fmim4b