Omslagsbillede

First-order logic

Show other versions (2)

Saved in:

Bibliografiske detaljer
Hovedforfatter:	Smullyan, Raymond M (Author)
Format:	Bog
Sprog:	engelsk
Udgivet:	Berlín Springer-Verlag 1968
Serier:	Ergebnisse der Mathematik und ihrer Grenzgebiete, 43
Fag:	Lógica matemática
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker

First-order logic
af: Smullyan, Raymond M
Udgivet: (1968)

First-order logic
af: Smullyan, Raymond M
Udgivet: (1995)

Mathematical logic
af: Shoenfield, Joseph R
Udgivet: (1967)

Notes on logic
af: Lyndon, Roger C.
Udgivet: (1966)

Logic for mathematicians
af: Rosser, J. Barkley
Udgivet: (1953)

Elements of mathematical logic
af: Lukasiewicz, Jan
Udgivet: (1963)

Many-valued logics
af: Rosser, J. Barkley, et al.
Udgivet: (1952)

Introduction to Mathematical Logic
af: Dinkines, Flora
Udgivet: (1964)

Logic colloquium
af: Parikh, Rohit
Udgivet: (1975)

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

Introductory formal logic of mathematics
af: Nidditch, P. H.
Udgivet: (1957)

Elements of mathematical logic
af: Novikov, P. S. (Petr Sergeevich)
Udgivet: (1964)

Popular lectures on mathematical logic
af: Wang, Hao
Udgivet: (1993)

Introduction to logic
af: Copi, Irving M, et al.
Udgivet: (2014)

Logic and reasoning in mathematics
af: Johnson, Donovan A
Udgivet: (1963)

Introduction to mathematical logic
af: Church, Alonzo
Udgivet: (1956)

Set theory and logic
af: Stoll, Robert R
Udgivet: (1963)

Formal logic
af: Prior, Arthur N
Udgivet: (1962)

Elements of symbolic logic
af: Reichenbach, Hans
Udgivet: (1966)

Set theory and logic
af: Fraenkel, Abraham Adolf
Udgivet: (1966)

Mathematical logic
af: Quine, Willard Van Orman
Udgivet: (1962)

Principles of mathematical logic
af: Hilbert, David, et al.
Udgivet: (1950)

Proofs and refutations: the logic of mathematical discovery
af: Lakatos, Imre
Udgivet: (1976)

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

An introduction to logic
af: Joseph, H. W. B
Udgivet: (1916)

Elementary logic of science and mathematics
af: Nidditch, P. H.
Udgivet: (1960)

Algebra and logic
af: Crossley, J. N
Udgivet: (1975)

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

The hidden mathematical logic of stories
af: Paulos, John Allen
Udgivet: (1998)

Methods in mathematical logic
af: Prisco, C. A. di
Udgivet: (1985)

Logic and knowledge: essays 1901 - 1950
af: Russell, Bertrand
Udgivet: (1956)

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

Modal logics
af: Feys, Robert
Udgivet: (1965)

Toposes, algebraic geometry and logic
af: Lawvere, F. William
Udgivet: (1972)

Logic
af: Gratry, Auguste
Udgivet: (1944)

Introduction to logic
af: Suppes, Patrick
Udgivet: (1957)

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

Introduction to logical theory
af: Strawson, P. F
Udgivet: (1952)

Term logic with choice operator
af: Hermes, Hans
Udgivet: (1970)

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