Metamathematical investigation of intuitionistic arithmetic and analysis

Código QR

Metamathematical investigation of intuitionistic arithmetic and analysis

Detalles Bibliográficos
Autor principal:	Troelstra, Anne Sjerp 1939- (Autor/a)
Formato:	Libro
Lenguaje:	English
Publicado:	Berlín : Springer, 1964-.
Materias:	LOGICA, SIMBOLICA Y MATEMATICA

Ejemplares similares

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)

Logic, semantics, metamathematics : papers from 1923 to 1938
por: Tarski, Alfred, et al.
Publicado: (1956)

An investigation on the laws of thought : on wich are founded the mathematical theories of logic and probabilities
por: Boole, George 1815-1864, et al.
Publicado: (1951)

An investigation of the laws of thought : on which are founded the mathematical theories of logic and probabilities. --
por: Boole, George 1815-1864, et al.
Publicado: (1958)

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
por: Mostowski, Andrzej, et al.
Publicado: (1964)

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)

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

An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities /
por: Boole, George
Publicado: (1958)

The Foundations of intuitionistic mathematics; especially in relation to recursive functions
por: Kleene, Stephen Cole
Publicado: (1965)

Analysis and logic /
por: Finet, Catherine
Publicado: (2002)

Introductory real analysis
por: Munroe, Marshall Evans 1918-, et al.
Publicado: (1985)

Non-standard analysis
por: Robinson, Abraham 1918-1974, et al.
Publicado: (1966)

Victoria symposium on nonstandar analysis /
por: Loeb, Peter, et al.
Publicado: (1964)

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)

Lógica simbólica y elementos de metodología de la ciencia /
por: Gianella de Salama, Alicia
Publicado: (1982)

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

Teoría y problemas de teoría de conjuntos y temas a fines
por: Lipschutz, Seymour
Publicado: (1976)

Introducción a la lógica deductiva y teoría de los conjuntos
por: Salazar Resines, Javier
Publicado: (1970)

Limitaciones internas de los formalismos: estudio sobre la significación del teorema G”del y teoremas conexos en la teoría de los fundamentos de las matemáticas /
por: Ladriére, Jean
Publicado: (1969)

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

Iniciación a la lógica
por: Gortari,Eli de
Publicado: (1974)

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

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

The logical problem of induction /
por: Wright, George Henrik Von 1916-2003, et al.
Publicado: (1957)

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

Los orígenes de la lógica de las ciencias
por: Castellanos, Juan Mario 1936-, et al.
Publicado: (1990)

Lógica simbólica
por: Garrido Jiménez, Manuel 1925-, et al.
Publicado: (1991)

Lógica simbólica
por: Garrido Jiménez, Manuel 1925-, et al.
Publicado: (1995)

Lógica simbólica /
por: Garrido Jiménez, Manuel 1925-, et al.
Publicado: (1983)

Lógica simbólica /
por: Garrido Jiménez, Manuel 1925-, et al.
Publicado: (2001)

Investigaciones lógicas /
por: Frege, Gottlob 1848-1925, et al.
Publicado: (1984)

Escritos lógico-semánticos /
por: Frege, Gottlob 1848-1925, et al.
Publicado: (1974)

Elementos de la teoría del cálculo lógico (cálculo proposicional) /
por: Blanco Gallo, Jorge Alberto
Publicado: (1978)

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

A new approach to logic
por: Katz, Robert 1922-, et al.
Publicado: (1964)

Logic techniques of formal reasoning /
por: Kalish, Donald, et al.
Publicado: (1964)

Languages with expressions of infinite length /
por: Karp, Carol Ruth, et al.
Publicado: (1964)

Infinitary logic : in memoriam Carol Karp.
por: Kueker, David W. 1934-, et al.
Publicado: (1964)