Imatge de la portada

Elements of mathematical logic

Guardat en:

Dades bibliogràfiques
Autor principal:	Novikov, P. S. (Petr Sergeevich) (Autor)
Format:	Llibre
Idioma:	anglès
Publicat:	Palo Alto Oliver and Boyd 1964
Edició:	1a. ed
Col·lecció:	Adiwes International Series in Mathematics
Matèries:	Lógica matemática Lógica proposicional
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars

Primer curso de lógica matemática
per: Suppes, Patrick, et al.
Publicat: (1968)

The logical basis for computer programming
per: Manna, Zohar, et al.
Publicat: (1985)

Lógica simbólica: una breve introducción
per: Gómez Calderón, Javier
Publicat: (1979)

Elementos de matemática, 1
per: Mena Lorca, Arturo
Publicat: (2000)

Elementos de matemática, 1
per: Mena Lorca, Arturo
Publicat: (2000)

The elements of mathematical logic
per: Rosenbloom, Paul C
Publicat: (1950)

Introduction a la logique mathématique
per: Novikov, P. S. (Petr Sergeevich)
Publicat: (1964)

Fundamentos de matemáticas. (el lenguaje) (el sucesor). Curso de la Escuela de Arquitectura
per: Mena Lorca, Arturo
Publicat: (2003)

Elements of mathematical logic
per: Lukasiewicz, Jan
Publicat: (1963)

Introduction to mathematical logic
per: Mendelson, Elliott
Publicat: (1964)

Introduction to Mathematical Logic
per: Dinkines, Flora
Publicat: (1964)

Mathematical logic
per: Shoenfield, Joseph R
Publicat: (1967)

Introductory formal logic of mathematics
per: Nidditch, P. H.
Publicat: (1957)

Popular lectures on mathematical logic
per: Wang, Hao
Publicat: (1993)

Logic and reasoning in mathematics
per: Johnson, Donovan A
Publicat: (1963)

Elements of symbolic logic
per: Reichenbach, Hans
Publicat: (1966)

Introduction to mathematical logic
per: Church, Alonzo
Publicat: (1956)

Principles of mathematical logic
per: Hilbert, David, et al.
Publicat: (1950)

Introducción a la geometría euclidiana
per: Becerra Allende, Rigoberto, et al.
Publicat: (1989)

Logic colloquium
per: Parikh, Rohit
Publicat: (1975)

Notes on logic
per: Lyndon, Roger C.
Publicat: (1966)

Logic for mathematicians
per: Rosser, J. Barkley
Publicat: (1953)

Mathematical logic
per: Quine, Willard Van Orman
Publicat: (1962)

Methods in mathematical logic
per: Prisco, C. A. di
Publicat: (1985)

Elementary logic of science and mathematics
per: Nidditch, P. H.
Publicat: (1960)

First-order logic
per: Smullyan, Raymond M
Publicat: (1968)

Many-valued logics
per: Rosser, J. Barkley, et al.
Publicat: (1952)

First-order logic
per: Smullyan, Raymond M
Publicat: (1995)

First-order logic
per: Smullyan, Raymond M
Publicat: (1968)

Proofs and refutations: the logic of mathematical discovery
per: Lakatos, Imre
Publicat: (1976)

Elementos de matemática, 1
per: Mena Lorca, Arturo
Publicat: (2000)

Mathematical Logic
per: Monk, James Donald
Publicat: (1976)

An algebraic introduction to mathematical logic
per: Barnes, Donald W, et al.
Publicat: (1975)

Introduction to mathematical logic
per: Mendelson, Elliott
Publicat: (1997)

The hidden mathematical logic of stories
per: Paulos, John Allen
Publicat: (1998)

Introduction to logic
per: Copi, Irving M, et al.
Publicat: (2014)

Set theory and logic
per: Stoll, Robert R
Publicat: (1963)

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

A course in mathematical logic
per: Manin, Yuri Ivanovich
Publicat: (1977)

Formal logic
per: Prior, Arthur N
Publicat: (1962)