Victoria symposium on nonstandar analysis /

Código QR

Victoria symposium on nonstandar analysis /

Detalles Bibliográficos
Autores principales:	Loeb, Peter (Autor, Autor/a), Hurd, Albert (Autor/a)
Formato:	Libro
Lenguaje:	English
Publicado:	Berlín : Springer, 1964-.
Materias:	ANALISIS MATEMATICO LOGICA, SIMBOLICA Y MATEMATICA

Ejemplares similares

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)

Lectures on non-standard analysis /
por: Hirschfeld, Joram, et al.
Publicado: (1964)

The theory of models: proceedings of the 1963 International Symposium at Berkeley. /
por: Tarski, Alfred, et al.
Publicado: (1965)

Metamathematical investigation of intuitionistic arithmetic and analysis
por: Troelstra, Anne Sjerp 1939-
Publicado: (1964)

Hercules contra la Hidra y la muerte de Internet /
por: Piza Volio, Eduardo 1955-, et al.
Publicado: (2002)

Elements of Set Theory /
por: Zehna, Peter W.
Publicado: (1962)

Finite model theory /
por: Ebbinghaus, Heinz-Dieter 1939-, et al.
Publicado: (1999)

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)

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

La lógica en la matemática /
por: Solís M., Panamá
Publicado: (1965)

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

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

Iniciación a la lógica simbólica /
por: Arnaz, José Antonio
Publicado: (1978)

Lógica simbólica y elementos de metodología de la ciencia /
por: Gianella de Salama, Alicia
Publicado: (1982)

Elementos de lógica simbólica /
por: Barreiro de Nudler, Telma
Publicado: (1973)

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

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)

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

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

Escritos lógico-semánticos /
por: Frege, Gottlob 1848-1925, et al.
Publicado: (1974)

Lógica simbólica
por: Garrido Jiménez, Manuel 1925-, et al.
Publicado: (1991)

Lógica simbólica
por: Garrido Jiménez, Manuel 1925-, et al.
Publicado: (1995)

Lógica simbólica /
por: Garrido Jiménez, Manuel 1925-, et al.
Publicado: (1983)

Lógica simbólica /
por: Garrido Jiménez, Manuel 1925-, et al.
Publicado: (2001)

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

Los orígenes de la lógica de las ciencias
por: Castellanos, Juan Mario 1936-, et al.
Publicado: (1990)

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

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

Quantum logic /
por: Mittelstaedt, Peter 1929-, et al.
Publicado: (1989)

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

Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987
Publicado: (1964)

The Computational complexity of logical theories /
por: Ferrante, Jeanne 1949-, et al.
Publicado: (1964)

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

Proof theory : an introduction /
por: Pohlers, Wolfram, 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)

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