Kansikuva

First-order logic

Näytä muut versiot (2)

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	Smullyan, Raymond M (Tekijä)
Aineistotyyppi:	Kirja
Kieli:	englanti
Julkaistu:	Berlín Springer-Verlag 1968
Sarja:	Ergebnisse der Mathematik und ihrer Grenzgebiete, 43
Aiheet:	Lógica matemática
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

Samankaltaisia teoksia

First-order logic
Tekijä: Smullyan, Raymond M
Julkaistu: (1968)

First-order logic
Tekijä: Smullyan, Raymond M
Julkaistu: (1995)

Mathematical logic
Tekijä: Shoenfield, Joseph R
Julkaistu: (1967)

Notes on logic
Tekijä: Lyndon, Roger C.
Julkaistu: (1966)

Logic for mathematicians
Tekijä: Rosser, J. Barkley
Julkaistu: (1953)

Elements of mathematical logic
Tekijä: Lukasiewicz, Jan
Julkaistu: (1963)

Many-valued logics
Tekijä: Rosser, J. Barkley, et al.
Julkaistu: (1952)

Introduction to Mathematical Logic
Tekijä: Dinkines, Flora
Julkaistu: (1964)

Logic colloquium
Tekijä: Parikh, Rohit
Julkaistu: (1975)

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

Introductory formal logic of mathematics
Tekijä: Nidditch, P. H.
Julkaistu: (1957)

Elements of mathematical logic
Tekijä: Novikov, P. S. (Petr Sergeevich)
Julkaistu: (1964)

Popular lectures on mathematical logic
Tekijä: Wang, Hao
Julkaistu: (1993)

Introduction to logic
Tekijä: Copi, Irving M, et al.
Julkaistu: (2014)

Logic and reasoning in mathematics
Tekijä: Johnson, Donovan A
Julkaistu: (1963)

Introduction to mathematical logic
Tekijä: Church, Alonzo
Julkaistu: (1956)

Set theory and logic
Tekijä: Stoll, Robert R
Julkaistu: (1963)

Formal logic
Tekijä: Prior, Arthur N
Julkaistu: (1962)

Elements of symbolic logic
Tekijä: Reichenbach, Hans
Julkaistu: (1966)

Set theory and logic
Tekijä: Fraenkel, Abraham Adolf
Julkaistu: (1966)

Mathematical logic
Tekijä: Quine, Willard Van Orman
Julkaistu: (1962)

Principles of mathematical logic
Tekijä: Hilbert, David, et al.
Julkaistu: (1950)

Proofs and refutations: the logic of mathematical discovery
Tekijä: Lakatos, Imre
Julkaistu: (1976)

Tableau systems for first order number theory and certain higher order theories
Tekijä: Toledo, Sue
Julkaistu: (1975)

An introduction to logic
Tekijä: Joseph, H. W. B
Julkaistu: (1916)

Elementary logic of science and mathematics
Tekijä: Nidditch, P. H.
Julkaistu: (1960)

Algebra and logic
Tekijä: Crossley, J. N
Julkaistu: (1975)

The logic of quantum mechanics
Tekijä: Beltrametti, Enrico G, et al.
Julkaistu: (1981)

The hidden mathematical logic of stories
Tekijä: Paulos, John Allen
Julkaistu: (1998)

Methods in mathematical logic
Tekijä: Prisco, C. A. di
Julkaistu: (1985)

Logic and knowledge: essays 1901 - 1950
Tekijä: Russell, Bertrand
Julkaistu: (1956)

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

Modal logics
Tekijä: Feys, Robert
Julkaistu: (1965)

Toposes, algebraic geometry and logic
Tekijä: Lawvere, F. William
Julkaistu: (1972)

Logic
Tekijä: Gratry, Auguste
Julkaistu: (1944)

Introduction to logic
Tekijä: Suppes, Patrick
Julkaistu: (1957)

An algebraic introduction to mathematical logic
Tekijä: Barnes, Donald W, et al.
Julkaistu: (1975)

Introduction to logical theory
Tekijä: Strawson, P. F
Julkaistu: (1952)

Term logic with choice operator
Tekijä: Hermes, Hans
Julkaistu: (1970)

An introduction to Hilbert space and quantum logic
Tekijä: Cohen, David W
Julkaistu: (1989)