First-order logic
Сохранить в:
| Главный автор: | Smullyan, Raymond M (Автор) |
|---|---|
| Формат: | |
| Язык: | английский |
| Опубликовано: |
Berlín
Springer-Verlag
1968
|
| Серии: | Ergebnisse der Mathematik und ihrer Grenzgebiete, 43
|
| Предметы: | |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
Схожие документы
First-order logic
по: Smullyan, Raymond M
Опубликовано: (1968)
по: Smullyan, Raymond M
Опубликовано: (1968)
First-order logic
по: Smullyan, Raymond M
Опубликовано: (1995)
по: Smullyan, Raymond M
Опубликовано: (1995)
Mathematical logic
по: Shoenfield, Joseph R
Опубликовано: (1967)
по: Shoenfield, Joseph R
Опубликовано: (1967)
Notes on logic
по: Lyndon, Roger C.
Опубликовано: (1966)
по: Lyndon, Roger C.
Опубликовано: (1966)
Logic for mathematicians
по: Rosser, J. Barkley
Опубликовано: (1953)
по: Rosser, J. Barkley
Опубликовано: (1953)
Elements of mathematical logic
по: Lukasiewicz, Jan
Опубликовано: (1963)
по: Lukasiewicz, Jan
Опубликовано: (1963)
Many-valued logics
по: Rosser, J. Barkley, и др.
Опубликовано: (1952)
по: Rosser, J. Barkley, и др.
Опубликовано: (1952)
Introduction to Mathematical Logic
по: Dinkines, Flora
Опубликовано: (1964)
по: Dinkines, Flora
Опубликовано: (1964)
Logic colloquium
по: Parikh, Rohit
Опубликовано: (1975)
по: Parikh, Rohit
Опубликовано: (1975)
First order categorial logic: model-theoretical methods in theory of topoi and related categories
по: Makkai, Michael, и др.
Опубликовано: (1977)
по: Makkai, Michael, и др.
Опубликовано: (1977)
Introductory formal logic of mathematics
по: Nidditch, P. H.
Опубликовано: (1957)
по: Nidditch, P. H.
Опубликовано: (1957)
Elements of mathematical logic
по: Novikov, P. S. (Petr Sergeevich)
Опубликовано: (1964)
по: Novikov, P. S. (Petr Sergeevich)
Опубликовано: (1964)
Popular lectures on mathematical logic
по: Wang, Hao
Опубликовано: (1993)
по: Wang, Hao
Опубликовано: (1993)
Introduction to logic
по: Copi, Irving M, и др.
Опубликовано: (2014)
по: Copi, Irving M, и др.
Опубликовано: (2014)
Logic and reasoning in mathematics
по: Johnson, Donovan A
Опубликовано: (1963)
по: Johnson, Donovan A
Опубликовано: (1963)
Introduction to mathematical logic
по: Church, Alonzo
Опубликовано: (1956)
по: Church, Alonzo
Опубликовано: (1956)
Set theory and logic
по: Stoll, Robert R
Опубликовано: (1963)
по: Stoll, Robert R
Опубликовано: (1963)
Formal logic
по: Prior, Arthur N
Опубликовано: (1962)
по: Prior, Arthur N
Опубликовано: (1962)
Elements of symbolic logic
по: Reichenbach, Hans
Опубликовано: (1966)
по: Reichenbach, Hans
Опубликовано: (1966)
Set theory and logic
по: Fraenkel, Abraham Adolf
Опубликовано: (1966)
по: Fraenkel, Abraham Adolf
Опубликовано: (1966)
Mathematical logic
по: Quine, Willard Van Orman
Опубликовано: (1962)
по: Quine, Willard Van Orman
Опубликовано: (1962)
Principles of mathematical logic
по: Hilbert, David, и др.
Опубликовано: (1950)
по: Hilbert, David, и др.
Опубликовано: (1950)
Proofs and refutations: the logic of mathematical discovery
по: Lakatos, Imre
Опубликовано: (1976)
по: Lakatos, Imre
Опубликовано: (1976)
Tableau systems for first order number theory and certain higher order theories
по: Toledo, Sue
Опубликовано: (1975)
по: Toledo, Sue
Опубликовано: (1975)
An introduction to logic
по: Joseph, H. W. B
Опубликовано: (1916)
по: Joseph, H. W. B
Опубликовано: (1916)
Elementary logic of science and mathematics
по: Nidditch, P. H.
Опубликовано: (1960)
по: Nidditch, P. H.
Опубликовано: (1960)
Algebra and logic
по: Crossley, J. N
Опубликовано: (1975)
по: Crossley, J. N
Опубликовано: (1975)
The logic of quantum mechanics
по: Beltrametti, Enrico G, и др.
Опубликовано: (1981)
по: Beltrametti, Enrico G, и др.
Опубликовано: (1981)
The hidden mathematical logic of stories
по: Paulos, John Allen
Опубликовано: (1998)
по: Paulos, John Allen
Опубликовано: (1998)
Methods in mathematical logic
по: Prisco, C. A. di
Опубликовано: (1985)
по: Prisco, C. A. di
Опубликовано: (1985)
Logic and knowledge: essays 1901 - 1950
по: Russell, Bertrand
Опубликовано: (1956)
по: Russell, Bertrand
Опубликовано: (1956)
An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities
по: Boole, George
Опубликовано: (1958)
по: Boole, George
Опубликовано: (1958)
Modal logics
по: Feys, Robert
Опубликовано: (1965)
по: Feys, Robert
Опубликовано: (1965)
Toposes, algebraic geometry and logic
по: Lawvere, F. William
Опубликовано: (1972)
по: Lawvere, F. William
Опубликовано: (1972)
Logic
по: Gratry, Auguste
Опубликовано: (1944)
по: Gratry, Auguste
Опубликовано: (1944)
Introduction to logic
по: Suppes, Patrick
Опубликовано: (1957)
по: Suppes, Patrick
Опубликовано: (1957)
An algebraic introduction to mathematical logic
по: Barnes, Donald W, и др.
Опубликовано: (1975)
по: Barnes, Donald W, и др.
Опубликовано: (1975)
Introduction to logical theory
по: Strawson, P. F
Опубликовано: (1952)
по: Strawson, P. F
Опубликовано: (1952)
Term logic with choice operator
по: Hermes, Hans
Опубликовано: (1970)
по: Hermes, Hans
Опубликовано: (1970)
An introduction to Hilbert space and quantum logic
по: Cohen, David W
Опубликовано: (1989)
по: Cohen, David W
Опубликовано: (1989)
Схожие документы
-
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)