Значок книги

First-order logic

Показать другие версии (2)

Сохранить в:

Библиографические подробности
Главный автор:	Smullyan, Raymond M (Автор)
Формат:	‌
Язык:	английский
Опубликовано:	Berlín Springer-Verlag 1968
Серии:	Ergebnisse der Mathematik und ihrer Grenzgebiete, 43
Предметы:	Lógica matemática
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

Схожие документы

First-order logic
по: Smullyan, Raymond M
Опубликовано: (1968)

First-order logic
по: Smullyan, Raymond M
Опубликовано: (1995)

Mathematical logic
по: Shoenfield, Joseph R
Опубликовано: (1967)

Notes on logic
по: Lyndon, Roger C.
Опубликовано: (1966)

Logic for mathematicians
по: Rosser, J. Barkley
Опубликовано: (1953)

Elements of mathematical logic
по: Lukasiewicz, Jan
Опубликовано: (1963)

Many-valued logics
по: Rosser, J. Barkley, и др.
Опубликовано: (1952)

Introduction to Mathematical Logic
по: Dinkines, Flora
Опубликовано: (1964)

Logic colloquium
по: Parikh, Rohit
Опубликовано: (1975)

First order categorial logic: model-theoretical methods in theory of topoi and related categories
по: Makkai, Michael, и др.
Опубликовано: (1977)

Introductory formal logic of mathematics
по: Nidditch, P. H.
Опубликовано: (1957)

Elements of mathematical logic
по: Novikov, P. S. (Petr Sergeevich)
Опубликовано: (1964)

Popular lectures on mathematical logic
по: Wang, Hao
Опубликовано: (1993)

Introduction to logic
по: Copi, Irving M, и др.
Опубликовано: (2014)

Logic and reasoning in mathematics
по: Johnson, Donovan A
Опубликовано: (1963)

Introduction to mathematical logic
по: Church, Alonzo
Опубликовано: (1956)

Set theory and logic
по: Stoll, Robert R
Опубликовано: (1963)

Formal logic
по: Prior, Arthur N
Опубликовано: (1962)

Elements of symbolic logic
по: Reichenbach, Hans
Опубликовано: (1966)

Set theory and logic
по: Fraenkel, Abraham Adolf
Опубликовано: (1966)

Mathematical logic
по: Quine, Willard Van Orman
Опубликовано: (1962)

Principles of mathematical logic
по: Hilbert, David, и др.
Опубликовано: (1950)

Proofs and refutations: the logic of mathematical discovery
по: Lakatos, Imre
Опубликовано: (1976)

Tableau systems for first order number theory and certain higher order theories
по: Toledo, Sue
Опубликовано: (1975)

An introduction to logic
по: Joseph, H. W. B
Опубликовано: (1916)

Elementary logic of science and mathematics
по: Nidditch, P. H.
Опубликовано: (1960)

Algebra and logic
по: Crossley, J. N
Опубликовано: (1975)

The logic of quantum mechanics
по: Beltrametti, Enrico G, и др.
Опубликовано: (1981)

The hidden mathematical logic of stories
по: Paulos, John Allen
Опубликовано: (1998)

Methods in mathematical logic
по: Prisco, C. A. di
Опубликовано: (1985)

Logic and knowledge: essays 1901 - 1950
по: Russell, Bertrand
Опубликовано: (1956)

An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities
по: Boole, George
Опубликовано: (1958)

Modal logics
по: Feys, Robert
Опубликовано: (1965)

Toposes, algebraic geometry and logic
по: Lawvere, F. William
Опубликовано: (1972)

Logic
по: Gratry, Auguste
Опубликовано: (1944)

Introduction to logic
по: Suppes, Patrick
Опубликовано: (1957)

An algebraic introduction to mathematical logic
по: Barnes, Donald W, и др.
Опубликовано: (1975)

Introduction to logical theory
по: Strawson, P. F
Опубликовано: (1952)

Term logic with choice operator
по: Hermes, Hans
Опубликовано: (1970)

An introduction to Hilbert space and quantum logic
по: Cohen, David W
Опубликовано: (1989)