Buchumschlag

First-order logic

Weitere Versionen anzeigen (2)

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Smullyan, Raymond M (VerfasserIn)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Berlín Springer-Verlag 1968
Schriftenreihe:	Ergebnisse der Mathematik und ihrer Grenzgebiete, 43
Schlagworte:	Lógica matemática
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

First-order logic
von: Smullyan, Raymond M
Veröffentlicht: (1968)

First-order logic
von: Smullyan, Raymond M
Veröffentlicht: (1995)

Mathematical logic
von: Shoenfield, Joseph R
Veröffentlicht: (1967)

Notes on logic
von: Lyndon, Roger C.
Veröffentlicht: (1966)

Logic for mathematicians
von: Rosser, J. Barkley
Veröffentlicht: (1953)

Elements of mathematical logic
von: Lukasiewicz, Jan
Veröffentlicht: (1963)

Many-valued logics
von: Rosser, J. Barkley, et al.
Veröffentlicht: (1952)

Introduction to Mathematical Logic
von: Dinkines, Flora
Veröffentlicht: (1964)

Logic colloquium
von: Parikh, Rohit
Veröffentlicht: (1975)

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

Introductory formal logic of mathematics
von: Nidditch, P. H.
Veröffentlicht: (1957)

Elements of mathematical logic
von: Novikov, P. S. (Petr Sergeevich)
Veröffentlicht: (1964)

Popular lectures on mathematical logic
von: Wang, Hao
Veröffentlicht: (1993)

Introduction to logic
von: Copi, Irving M, et al.
Veröffentlicht: (2014)

Logic and reasoning in mathematics
von: Johnson, Donovan A
Veröffentlicht: (1963)

Introduction to mathematical logic
von: Church, Alonzo
Veröffentlicht: (1956)

Set theory and logic
von: Stoll, Robert R
Veröffentlicht: (1963)

Formal logic
von: Prior, Arthur N
Veröffentlicht: (1962)

Elements of symbolic logic
von: Reichenbach, Hans
Veröffentlicht: (1966)

Set theory and logic
von: Fraenkel, Abraham Adolf
Veröffentlicht: (1966)

Mathematical logic
von: Quine, Willard Van Orman
Veröffentlicht: (1962)

Principles of mathematical logic
von: Hilbert, David, et al.
Veröffentlicht: (1950)

Proofs and refutations: the logic of mathematical discovery
von: Lakatos, Imre
Veröffentlicht: (1976)

Tableau systems for first order number theory and certain higher order theories
von: Toledo, Sue
Veröffentlicht: (1975)

An introduction to logic
von: Joseph, H. W. B
Veröffentlicht: (1916)

Elementary logic of science and mathematics
von: Nidditch, P. H.
Veröffentlicht: (1960)

Algebra and logic
von: Crossley, J. N
Veröffentlicht: (1975)

The logic of quantum mechanics
von: Beltrametti, Enrico G, et al.
Veröffentlicht: (1981)

The hidden mathematical logic of stories
von: Paulos, John Allen
Veröffentlicht: (1998)

Methods in mathematical logic
von: Prisco, C. A. di
Veröffentlicht: (1985)

Logic and knowledge: essays 1901 - 1950
von: Russell, Bertrand
Veröffentlicht: (1956)

An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities
von: Boole, George
Veröffentlicht: (1958)

Modal logics
von: Feys, Robert
Veröffentlicht: (1965)

Toposes, algebraic geometry and logic
von: Lawvere, F. William
Veröffentlicht: (1972)

Logic
von: Gratry, Auguste
Veröffentlicht: (1944)

Introduction to logic
von: Suppes, Patrick
Veröffentlicht: (1957)

An algebraic introduction to mathematical logic
von: Barnes, Donald W, et al.
Veröffentlicht: (1975)

Introduction to logical theory
von: Strawson, P. F
Veröffentlicht: (1952)

Term logic with choice operator
von: Hermes, Hans
Veröffentlicht: (1970)

An introduction to Hilbert space and quantum logic
von: Cohen, David W
Veröffentlicht: (1989)