Aspects of constructibility

Código QR

Aspects of constructibility

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

Ejemplares similares

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

Introducción a la lógica /
por: Smith, Karl J., et al.
Publicado: (1991)

New Puzzles in Logical Deduction
por: Summers, George J.
Publicado: (1968)

Logic for mathematicians
por: Rosser, J. Barkley
Publicado: (1953)

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)

Introducción a la lógica modal /
por: Hughes, George Edward, et al.
Publicado: (1973)

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)

Elements of mathematical logic.
por: Novikov, Petr Sergeevich, et al.
Publicado: (1964)

Cambridge Summer School in Mathematical logic /
por: Rogers, Hartley n. 1926-, et al.
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)

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

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

Solvable cases of the decision problem
por: Ackermann, Wilhelm
Publicado: (1954)

My Best Puzzles in Logic and Reasoning
por: Phillips, Hubert
Publicado: (1961)