The Collected papers of Gerhard Gentzen

Código QR

The Collected papers of Gerhard Gentzen

Detalles Bibliográficos
Autor principal:	Szabo, M.E.
Formato:	Libro
Lenguaje:	English
Publicado:	Amsterdand, London North-holland Publishing-Amsterdam 1969
Materias:	LOGICA MATEMATICA

Ejemplares similares

The Collected papers of Gerhard Gentzen /
por: Gentzen, Gerhard 1909-, et al.
Publicado: (1969)

Logic in elementary mathematics
por: Exner, Robert M.
Publicado: (1959)

Intuitionistic logic model theory and forcing
por: Fitting, Melvin Chris
Publicado: (1969)

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

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

Foundations of mathematical logic
por: Curry, Haskell B.
Publicado: (1963)

Logic machines and diagrams
por: Gardner, Martin
Publicado: (1958)

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

Introducción a la lógica simbólica
por: Langer, Susanne K.
Publicado: (1972)

A Survey of symbolic logic
por: Lewis, C. I.
Publicado: (1960)

The Axiomatic method an introduction to mathematical logic
por: Lightstone, A. H.
Publicado: (1964)

Notes on logic
por: Lyndon, Roger C
Publicado: (1966)

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

Lógica
Publicado: (1970)

Introduction to logic
por: Suppes, Patrick
Publicado: (1957)

Algebraic logic
por: Halmos, Paul R.
Publicado: (1962)

Los Métodos de la lógica
por: Quine, Willard Van Orman
Publicado: (1962)

Guía espiritual
por: Descartes, Renato

Pensée et structure
por: Dienes, Z. P.
Publicado: (1967)

Génesis de las estructuras lógicas elementales clasificación y seriaciones
por: Piaget, Jean
Publicado: (1976)

Ensayo de lógica operatoria
por: Piaget, Jean
Publicado: (1977)

God and abstract objects the coherence of theism: aseity
por: Craig, William Lane
Publicado: (2017)

Epistemología matemática y psicología relaciones entre la lógica formal y el pensamiento real
por: Beth, Evert W.
Publicado: (1980)

Introducción al "Tractatus" de Wittgenstein
por: Mounce, H. O.
Publicado: (1983)

Tractatus logico-philosophicus
por: Wittgenstein, Ludwig (1889-1951)
Publicado: (2010)

A programming logic with an introduction to the PL/CV verifier
por: Constable, Robert L.
Publicado: (1978)

Collected papers /
por: Artin, Emil 1898 - 1962, et al.
Publicado: (1965)

Collected papers of Srinivasa Ramanujan /
por: Ramanujan Aiyangar, Srinivasa 1887-1920
Publicado: (1927)

Collected mathematical papers
por: Birkhoff, George David 1884-1944, et al.
Publicado: (1968)

Jack Carl Kiefer collected papers /
por: Kiefer, Jack 1924-1981, et al.
Publicado: (1985)

Manual de Derechos Humanos Para Docentes /
por: Universidad Pedagógica Nacional Francisco Morazán
Publicado: (2009)

Sistemas formales, informalmente : ¨Por qué intentaron formalizar a la matemática si era tan buena muchacha? /
por: Gómez, Pedro
Publicado: (1995)

Computability and logic /
por: Boolos, George
Publicado: (1980)

La lógica en la matemática /
por: Solís M., Panamá
Publicado: (1965)

Lógica y juegos lógicos /
por: Dienes, Z. P.

Máquinas lógicas y diagramas /
por: Gardner, Martín
Publicado: (1973)

Lógica matemática
Publicado: (1993)

Lógica matemática.
por: Ferrater Mora, José

Introducción a la lógica modal /
por: Hughes, G. E.
Publicado: (1973)

Advanced logic for applications
por: Grandy, Richard E.
Publicado: (1977)