Зображення обкладинки

Term logic with choice operator

Збережено в:

Бібліографічні деталі
Автор:	Hermes, Hans (Автор)
Формат:	Книга
Мова:	Англійська
Опубліковано:	Berlín Springer-Verlag 1970
Серія:	Lecture Notes in Mathematics, 6
Предмети:	Lógica matemática CALCULO DE PREDICADOS
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!

Схожі ресурси

Proceedings of the Summer School in Logic Leeds, 1967
Опубліковано: (1968)

Büchi's Monadic second order successor arithmetic
за авторством: Siefkes, Dirk
Опубліковано: (1970)

Lógica simbólica
за авторством: Hegenberg, Leónidas
Опубліковано: (1966)

A precis of mathematical logic
за авторством: Bochénski, Innocentius M
Опубліковано: (1959)

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

Logic, computers, and sets
за авторством: Wang, Hao
Опубліковано: (1970)

Théorie métamathématique des idéaux
за авторством: Robinson, Abraham
Опубліковано: (1955)

Introduction a la logique mathématique
за авторством: Novikov, P. S. (Petr Sergeevich)
Опубліковано: (1964)

Matemática discreta y lógica
за авторством: Grassmann, Winfried Karl, та інші
Опубліковано: (1997)

The logical basis for computer programming
за авторством: Manna, Zohar, та інші
Опубліковано: (1985)

Formal logic
за авторством: Prior, Arthur N
Опубліковано: (1962)

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)

First-order logic
за авторством: Smullyan, Raymond M
Опубліковано: (1968)

Many-valued logics
за авторством: Rosser, J. Barkley, та інші
Опубліковано: (1952)

Introduction to Mathematical Logic
за авторством: Dinkines, Flora
Опубліковано: (1964)

Logic colloquium
за авторством: Parikh, Rohit
Опубліковано: (1975)

Introductory formal logic of mathematics
за авторством: Nidditch, P. H.
Опубліковано: (1957)

Elements of mathematical logic
за авторством: Novikov, P. S. (Petr Sergeevich)
Опубліковано: (1964)

Introduction to logic and to the methodology of deductive sciences
за авторством: Tarski, Alfred
Опубліковано: (1965)

Elements of symbolic logic
за авторством: Reichenbach, Hans
Опубліковано: (1966)

The elements of mathematical logic
за авторством: Rosenbloom, Paul C
Опубліковано: (1950)

Logic, semantics, metamathematics: papers from 1923 to 1938
за авторством: Tarski, Alfred
Опубліковано: (1956)

Popular lectures on mathematical logic
за авторством: Wang, Hao
Опубліковано: (1993)

Logic and reasoning in mathematics
за авторством: Johnson, Donovan A
Опубліковано: (1963)

First-order logic
за авторством: Smullyan, Raymond M
Опубліковано: (1995)

First-order logic
за авторством: Smullyan, Raymond M
Опубліковано: (1968)

Introduction to logic
за авторством: Copi, Irving M, та інші
Опубліковано: (2014)

Introduction to mathematical logic
за авторством: Mendelson, Elliott
Опубліковано: (1964)

Set theory and logic
за авторством: Stoll, Robert R
Опубліковано: (1963)

Introduction to mathematical logic
за авторством: Church, Alonzo
Опубліковано: (1956)

Set theory and logic
за авторством: Fraenkel, Abraham Adolf
Опубліковано: (1966)

Mathematical logic
за авторством: Quine, Willard Van Orman
Опубліковано: (1962)

Proofs and refutations: the logic of mathematical discovery
за авторством: Lakatos, Imre
Опубліковано: (1976)

Principles of mathematical logic
за авторством: Hilbert, David, та інші
Опубліковано: (1950)

Elementary logic of science and mathematics
за авторством: Nidditch, P. H.
Опубліковано: (1960)

An introduction to logic
за авторством: Joseph, H. W. B
Опубліковано: (1916)

Algebra and logic
за авторством: Crossley, J. N
Опубліковано: (1975)