Intuitionism : an introduction.

Código QR

Intuitionism : an introduction.

Detalles Bibliográficos
Autor principal:	Heyting, Arend n. 1898 (Autor, Autor/a)
Formato:	Libro
Lenguaje:	English
Publicado:	Amsterdam : North Holland, 1956.
Colección:	Studies in logic and foundations of mathematics
Materias:	LOGICA, SIMBOLICA Y MATEMATICA MATEMATICAS > METODOS DE ENSEÑANZA

Ejemplares similares

Intuitionism; an introduction
por: Heyting, A.
Publicado: (1971)

Principles of intuitionism : lectures presented at the summer Conference on Intuitionism and Proof theory (1968) at SUNY at Bufalo, N.Y.
por: Troelstra, Anne Sjerp 1939-
Publicado: (1964)

Intuitionism and proof theory : proceedings of the Summer Conference at Buffalo, N. Y. 1968. /
por: Kino, A., et al.
Publicado: (1970)

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

Introduction to mathematical logic /
por: Church, Alonzo n. 1903, et al.
Publicado: (1956)

An Introduction to algebraic logic
por: Kiss, Stephen Anthony n. 1890, et al.
Publicado: (1961)

An Introduction to symbolic logic
por: Langer, Susanne Katherina Knauth n. 1895, et al.
Publicado: (1953)

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

Logique sans peine /
por: Carroll, Lewis 1832-1898
Publicado: (2001)

Constructive order types
por: Crossley, John N., et al.
Publicado: (1969)

Un cuento enmarañado y otros problemas de almohada /
por: Carroll, Lewis, 1832-1898
Publicado: (2010)

Introduction to logic
por: Suppes, Patrick Colonel 1922-, et al.
Publicado: (1960)

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

Solvable cases of the decision problem
por: Ackermann, Wilhelm n 1896, et al.
Publicado: (1954)

Solvable cases of the decision problem
por: Ackermann, Wilhelm n 1896, et al.
Publicado: (1962)

Proof theory : an introduction /
por: Pohlers, Wolfram, et al.
Publicado: (1964)

Symbolic logic : an introduction
por: Thomason, Richmond H, et al.
Publicado: (1970)

Introduction to mathematical logic /
por: Mendelson, Elliott 1931-2020, et al.
Publicado: (1997)

Introduction to mathematical logic /
por: Mendelson, Elliott 1931-2020, et al.
Publicado: (1964)

Introduction to mathematical logic
por: Hermes, Hans
Publicado: (1973)

A mathematical introduction to logic /
por: Herderton, Herbert B., et al.
Publicado: (1972)

Foundations of mathematical logic /
por: Curry, Haskell Brooks n. 1900, et al.
Publicado: (1963)

Logic for mathematicians
por: Rosser, John Barkley n. 1907, et al.
Publicado: (1953)

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

Symbolic logic /
por: Lewis, Clarence Irving n. 1883, et al.
Publicado: (1959)

Compendio de logica matematica /
por: Bochénski, Innocentius M. n. 1902, et al.
Publicado: (1982)

Compendio de lógica matemática /
por: Bochénski, Innocentius M. n. 1902, et al.
Publicado: (1976)

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

Completeness, compactness, and undercidability : an introduction to mathematical logic /
por: Manaster, Alfred B., et al.
Publicado: (1975)

Many-valued logics /
por: Rosser, John Barkley n. 1907, et al.
Publicado: (1952)

Introducción a la lógica simbólica /
por: Langer, Susanne Katherina Knauth n. 1895, et al.
Publicado: (1975)

Formal methods : an introduction to symbolic and to the study of effective operations in arithmetic and logic /
por: Beth, Evert Willem, et al.
Publicado: (1962)

Introduction to mathematical logic : set theory, computable functions, model theory /
por: Malitz, Jerome, et al.
Publicado: (1979)

Cambridge Summer School in Mathematical logic /
por: Rogers, Hartley n. 1926-, et al.
Publicado: (1964)

Dictionary of symbols of mathematical logic /
por: Feys, Roberts n. 1889, et al.
Publicado: (1969)

Principles of mathematical logic /
por: Hilbert, David 1862-1943, et al.
Publicado: (1950)

Elementos de lógica teórica /
por: Hilbert, David 1862-1943, et al.
Publicado: (1975)

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

Elementos de lógica simbólica /
por: Barreiro de Nudler, Telma
Publicado: (1973)

Iniciación a la lógica simbólica /
por: Arnaz, José Antonio
Publicado: (1978)