Imatge de la portada

First-order logic

Veure altres versions (2)

Guardat en:

Dades bibliogràfiques
Autor principal:	Smullyan, Raymond M (Autor)
Format:	Llibre
Idioma:	anglès
Publicat:	Berlín Springer-Verlag 1968
Col·lecció:	Ergebnisse der Mathematik und ihrer Grenzgebiete, 43
Matèries:	Lógica matemática
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars

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

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

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

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

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

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

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

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

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

First order categorial logic: model-theoretical methods in theory of topoi and related categories
per: Makkai, Michael, et al.
Publicat: (1977)

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

Elements of mathematical logic
per: Novikov, P. S. (Petr Sergeevich)
Publicat: (1964)

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

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

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

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

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

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

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

Set theory and logic
per: Fraenkel, Abraham Adolf
Publicat: (1966)

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

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

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

Tableau systems for first order number theory and certain higher order theories
per: Toledo, Sue
Publicat: (1975)

An introduction to logic
per: Joseph, H. W. B
Publicat: (1916)

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

Algebra and logic
per: Crossley, J. N
Publicat: (1975)

The logic of quantum mechanics
per: Beltrametti, Enrico G, et al.
Publicat: (1981)

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

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

Logic and knowledge: essays 1901 - 1950
per: Russell, Bertrand
Publicat: (1956)

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

Modal logics
per: Feys, Robert
Publicat: (1965)

Toposes, algebraic geometry and logic
per: Lawvere, F. William
Publicat: (1972)

Logic
per: Gratry, Auguste
Publicat: (1944)

Introduction to logic
per: Suppes, Patrick
Publicat: (1957)

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

Introduction to logical theory
per: Strawson, P. F
Publicat: (1952)

Term logic with choice operator
per: Hermes, Hans
Publicat: (1970)

An introduction to Hilbert space and quantum logic
per: Cohen, David W
Publicat: (1989)