Cargando…

Metamatemática.

Detalles Bibliográficos
Autor principal:	Lorenzen, Paul
Formato:	Libro
Lenguaje:	German
Publicado:	Madrid: Tecnos, [1971]
Colección:	Filosofía y ensayo.
Materias:	Metamatemáticas.

Ejemplares similares

Introducción a la metamatemática
por: Kleene, Stephen Cole
Publicado: (1974)

Gödel, Escher, Bach : una eterna trenza dorada
por: Hofstadter, Douglas R., 1945-
Publicado: (1982)

Gödel, Escher, Bach : un eterno y grácil bucle
por: Hofstadter, Douglas R., 1945-
Publicado: (1998)

Gödel, Escher, Bach : an eternal golden braid
por: Hofstadter, Douglas R., 1945-
Publicado: (1989)

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

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

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

Introcucción a la filosofía matemática
por: Brand, Walther
Publicado: (1930)

The infinite in mathematics : logico-mathematical writings
por: Kaufmann, Felix, 1895-1949
Publicado: (1978)

Estudios sobre semántica /
por: Frege, Gottlob, 1848-1925
Publicado: (1972)

Introducción al estilo matemático
por: Lorenzo, Javier de
Publicado: (1971)

El número : lenguaje de la ciencia
por: Dantzig, Tobias
Publicado: (1971)

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

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

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

Classical recursion theory
por: Odifreddi, Piergiorgio, 1950-
Publicado: (1989)

Computable structures and the hyperarithmetical hierarchy
por: Ash, C. J.
Publicado: (2000)

The satisfiability problem /
Publicado: (1999)

Handbook of computability theory /
Publicado: (1999)

Handbook of recursive mathematics /
Publicado: (1998)

Handbook of proof theory /
Publicado: (1998)

Introducción al análisis de algoritmos /
por: Sánchez Velázquez, Jesús
Publicado: (1998)

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

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

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

Juegos ecológicos y epidemiológicos
por: Negrete, José (Negrete Martínez)
Publicado: (1991)

The magic of numbers
por: Bell, Eric Temple, 1883-1960
Publicado: (1991)

Especificación, derivación y análisis del algoritmos : ejercicios resueltos
por: Martí Oliet, Narciso
Publicado: (2006)

Análisis de algoritmos /
por: Ríos Figueroa, Homero Vladimir
Publicado: (2013)

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

Mathematical proofs : a transition to advanced mathematics /
por: Chartrand, Gary
Publicado: (2013)

Principles of mathematics /
por: Russell, Bertrand, 1872-1970
Publicado: (1937)

The paradoxes of Mr. Russell : with a brief account of their history
por: Guthrie, Edwin R. (Edwin Ray), 1886-1886-1959
Publicado: (1915)

Minería de datos a través de ejemplos
por: Pérez Marqués, María
Publicado: (2014)

Introducción a la lógica difusa
por: Cisneros Parra, Joel Uriel
Publicado: (2004)

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

Concepts and fuzzy logic
Publicado: (2011)

Understanding mathematical proof
por: Taylor, John, 1957-
Publicado: (2014)

Algoritmos y estructuras de datos : una perspectiva en C
por: Joyanes Aguilar, Luis
Publicado: (2004)

Metamathematics, machines, and Gödel's proof /
por: Shankar, N.
Publicado: (1994)

Cannot write session to /tmp/vufind_sessions/sess_v6s72q5j6nubl7bj6n66ugflir