Intuitionism : an introduction.

QR Code

Intuitionism : an introduction.

Bibliographic Details
Main Author:	Heyting, Arend n. 1898 (Author, Autor/a)
Format:	Book
Language:	English
Published:	Amsterdam : North Holland, 1956.
Series:	Studies in logic and foundations of mathematics
Subjects:	LOGICA, SIMBOLICA Y MATEMATICA MATEMATICAS > METODOS DE ENSEÑANZA

Similar Items

Intuitionism; an introduction
by: Heyting, A.
Published: (1971)

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

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

Introducción al intuicionismo
by: Heyting, A.
Published: (1976)

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

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

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

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

Logique sans peine /
by: Carroll, Lewis 1832-1898
Published: (2001)

Constructive order types
by: Crossley, John N., et al.
Published: (1969)

Un cuento enmarañado y otros problemas de almohada /
by: Carroll, Lewis, 1832-1898
Published: (2010)

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

Introduction to logic
by: Suppes, Patrick
Published: (1957)

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

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

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

Symbolic logic : an introduction
by: Thomason, Richmond H, et al.
Published: (1970)

Proof theory : an introduction /
by: Pohlers, Wolfram, et al.
Published: (1964)

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

Introduction to mathematical logic
by: Hermes, Hans
Published: (1973)

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

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

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

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

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

Compendio de lógica matemática /
by: Bochénski, Innocentius M. n. 1902, et al.
Published: (1976)

Compendio de logica matematica /
by: Bochénski, Innocentius M. n. 1902, et al.
Published: (1982)

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

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

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

Introducción a la lógica simbólica /
by: Langer, Susanne Katherina Knauth n. 1895, et al.
Published: (1975)

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

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

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

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

Elementos de lógica teórica /
by: Hilbert, David 1862-1943, et al.
Published: (1975)

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

Introducción a la lógica simbólica /
by: Langer, Susanne K.
Published: (1975)

Introducción intuitiva a la lógica simbólica
by: Flores, César
Published: (1979)

Iniciación a la lógica simbólica /
by: Arnaz, José Antonio
Published: (2015)