Algebraic methods of mathematical logic.

Algebraic methods of mathematical logic.

Guardado en:

Detalles Bibliográficos
Autor principal:	Rieger, Ladislav, 1916-1974
Formato:	Libro
Lenguaje:
Publicado:	Prague : Academia : Academic Press, 1967.
Materias:	Filosofía Lógica Lógica simbólica Lógica de predicados Matemática Algebra

Ejemplares similares

Methods of logic.
por: Quine, Willard Van Orman
Publicado: (1967.)

Truth-functional logic.
por: Faris, J. A.
Publicado: (c1962.)

The axiomatic method : an introduction to mathematical logic.
por: Lightstone, A. H.
Publicado: (c1964.)

What is mathematical logic?.
por: Crossley, J.N.
Publicado: (1990.)

Introduction to elementary mathematical logic.
por: Stolyar, Abram Aronovich
Publicado: (1983.)

Lógica informática
por: Cuena, José
Publicado: (1985.)

Lógica simbólica para informáticos
por: Julián Iranzo, Pascual
Publicado: (c2005.)

Compendio de lógica matemática
por: Bochenski, J. M.
Publicado: (1982.)

Conceptos y problemas de la lógica moderna.
por: Hasenjaeger, Gisbert
Publicado: (c1968.)

Set theory and its logic.
por: Quine, Willard Van Orman
Publicado: (1963.)

Set theory and logic.
por: Fraenkel, Abraham A.
Publicado: (1966.)

Algebra booleana y sus aplicaciones
por: Whitesitt, J. Eldon
Publicado: (1971.)

Symbolic Logic.
por: Lewis, Clarence Irving
Publicado: (c1959.)

Introduction to symbolic logic and its applications.
por: Carnap, Rudolf
Publicado: (c1958.)

El álgebra de la lógica
por: Couturat, Louis
Publicado: (1976.)

Elements of Mathematical Logic.
por: Novikov, P. S.
Publicado: (1964.)

An introduction to symbolic logic.
por: Langer, Susanne K.
Publicado: (1953.)

Elementos de lógica teórica.
por: Hilbert, D.
Publicado: (c1968.)

Introduction to Logic.
por: Suppes, Patrick
Publicado: (c1957.)

Introducción a la lógica.
por: Mitchell, David
Publicado: (c1968.)

An introduction to many-valued logics.
por: Ackermann, Robert
Publicado: (1967.)

A survey of mathematical Logic.
por: Wang, Hao
Publicado: (1964.)

Philosophical problems of many-valued logic.
por: Zinov'ev, A. A.
Publicado: (1963.)

Mathematical Logic.
por: Shoenfield, Joseph R.
Publicado: (1967.)

Mathematical logic.
por: Kleene, Stephen Cole
Publicado: (1968.)

Mathematical logic and the foundations of mathematics : an introductory survey.
por: Kneebone, G. T.
Publicado: (c1963.)

Introduction to Mathematical Logic.
por: Mendelson, Elliott
Publicado: (1964.)

An introduction to Mathematical Logic.
por: Robison, Gerson B.
Publicado: (c1969.)

Set theory and logic.
por: Stoll, Robert R.
Publicado: (1963.)

Ejercicios de cálculo booleano
por: Denis-Papin, Maurice
Publicado: (1978.)

Lógica simbólica.
por: Garrido, Manuel
Publicado: (2003.)

Understanding symbolic logic.
por: Massey, Gerald J.
Publicado: (1970.)

Techniques of deductive inference.
por: Leblanc, Hugues
Publicado: (1966.)

First order Mathematical Logic.
por: Margaris, Angelo
Publicado: (1967.)

Prácticas de lógica.
por: Colacilli de Muro, M. A.
Publicado: (c1979.)

A profile of mathematical Logic.
por: Delong, Howard
Publicado: (1970.)

Mathematical logic : a first course.
por: Robbin, Joel W.
Publicado: (1969.)

Formal logic : an introductory textbook.
por: Mourant, John A.
Publicado: (1963.)

Primer curso de lógica matemática
por: Suppes, Patrick
Publicado: (1968.)

Fundamentos de lógica y matemática
por: Carnap, Rudolf
Publicado: (1975.)