Systems of Formal Logic / L. H. Hackstaff

Código QR

Systems of Formal Logic / L. H. Hackstaff

Detalles Bibliográficos
Autor principal:	Hackstaff, L. H.
Formato:	Libro
Lenguaje:	Undetermined
Publicado:	Dordrecht : D. Reidel,
Materias:	1. LÓGICA SIMBÓLICA 2. LÓGICA MATEMÁTICA

Ejemplares similares

The Axiomatic Method : an Introduction to Mathematical Logic / A. H. Lightstone
por: Lightstone, A. H.

The Language of Logic / Hans Freudenthal
por: Freudenthal, Hans

Logic : an Introduction / Lionel Ruby
por: Ruby, Lionel

Symbolic logic / Irving M. Copi
por: Copi, Irving M.

Introduction to Mathematical Logic / Elliott Mendelson
por: Mendelson, Elliott

An Introduction to Symbolic Logic / Susanne K. Langer
por: Langer, Susanne K.

The Elements of Mathematical Logic / Paul C. Rosenbloom
por: Rosenbloom, Paul C.

Sets and Logic 1 / C. A. R. Bailey
por: Bailey, C. A. R.

Sets and Logic 2 / C. A. R. Bailey
por: Bailey, C. A. R.

Mathematical Logic and the Foundations of Mathematics : an Introductory Survey / G. T. Kneebone
por: Kneebone, G. T.

Introduction to Logic / Irving M. Copi
por: Copi, Irving M.

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

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

Lógica elemental / Benson Mates ; traducción: Leónidas H. B. Hegenberg e Octanny Silveira da Mota
por: Mates, Benson

Formal logic : its scope and limits
por: Jeffrey, Richard C., et al.
Publicado: (1967)

My best puzzles in logic and reasoning /
por: Phillips, Hubert,
Publicado: (1961)

Problemas de decisión y recursividad en sistemas lógicos formales = decision problems and recursiveness in formal logic systems /
por: Piza Volio, Eduardo 1955-

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)

Introducción a la lógica simbólica / por Patrick Suppes ; traducido por Gabriel Aguirre Carrasco
por: Suppes, Patrick

Introducción a la lógica simbólica / Patrick Suppes
por: Suppes, Patrick

Introducción a la lógica simbólica / Patrick Suppes
por: Suppes, Patrick

Introducción a la lógica simbólica / Patrick Suppes ; traducido por: Gabriel Aguirre Carrasco
por: Suppes, Patrick

Introducción a la lógica simbólica / por Patrick Suppes ; traducido por Gabriel Aguirre Carrasco
por: Suppes, Patrick

Introducción a la lógica simbólica / por Patrick Suppes ; traducido por Gabriel Aguirre Carrasco
por: Suppes, Patrick

Los padres descubren la nueva lógica / Walter R. Fuchs
por: Fuchs, Walter R.

Lógica general / Eli de Gortari
por: Gortari, Eli de

El concepto lógico de estructura / Carlos A. Lungarzo
por: Lungarzo, Carlos A.

Teorías de matemáticas formalizadas / Roman Sikorski
por: Sikorski, Roman

Axiomatic Set Theory / by Patrick Suppes
por: Suppes, Patrick

Introducción a la lógica simbólica / por Patrick Suppes ; traducido por Gabriel Aguirre Carrasco
por: Suppes, Patrick

Introducción a la lógica simbólica / Patrick Suppes ; traducido por Gabriel Aguirre Carrasco
por: Suppes, Patrick

Introducción a la lógica simbólica / Patrick Suppes
por: Suppes, Patrick

Lógica Matemática / José Ferrater Mora y Hugues Leblanc
por: Ferrater Mora, José

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

La lógica formal
por: Virieux-Reymond, Antoinette
Publicado: (1976)

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)

Mathematical interpretation of formal systems /
por: Skolem, Thoralf A. 1887-1967, et al.
Publicado: (1971)

Mathematical interpretation of formal systems /
por: Skolem, Thoralf A. 1887-1967, et al.
Publicado: (1955)