Cover Image

Term logic with choice operator

Saved in:

Bibliographic Details
Main Author:	Hermes, Hans (Author)
Format:	Book
Language:	English
Published:	Berlín Springer-Verlag 1970
Series:	Lecture Notes in Mathematics, 6
Subjects:	Lógica matemática CALCULO DE PREDICADOS
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Proceedings of the Summer School in Logic Leeds, 1967
Published: (1968)

Büchi's Monadic second order successor arithmetic
by: Siefkes, Dirk
Published: (1970)

Lógica simbólica
by: Hegenberg, Leónidas
Published: (1966)

A precis of mathematical logic
by: Bochénski, Innocentius M
Published: (1959)

Tableau systems for first order number theory and certain higher order theories
by: Toledo, Sue
Published: (1975)

Logic, computers, and sets
by: Wang, Hao
Published: (1970)

Théorie métamathématique des idéaux
by: Robinson, Abraham
Published: (1955)

Introduction a la logique mathématique
by: Novikov, P. S. (Petr Sergeevich)
Published: (1964)

Matemática discreta y lógica
by: Grassmann, Winfried Karl, et al.
Published: (1997)

The logical basis for computer programming
by: Manna, Zohar, et al.
Published: (1985)

Formal logic
by: Prior, Arthur N
Published: (1962)

Mathematical logic
by: Shoenfield, Joseph R
Published: (1967)

Notes on logic
by: Lyndon, Roger C.
Published: (1966)

Logic for mathematicians
by: Rosser, J. Barkley
Published: (1953)

Elements of mathematical logic
by: Lukasiewicz, Jan
Published: (1963)

First-order logic
by: Smullyan, Raymond M
Published: (1968)

Many-valued logics
by: Rosser, J. Barkley, et al.
Published: (1952)

Introduction to Mathematical Logic
by: Dinkines, Flora
Published: (1964)

Logic colloquium
by: Parikh, Rohit
Published: (1975)

Introductory formal logic of mathematics
by: Nidditch, P. H.
Published: (1957)

Elements of mathematical logic
by: Novikov, P. S. (Petr Sergeevich)
Published: (1964)

Introduction to logic and to the methodology of deductive sciences
by: Tarski, Alfred
Published: (1965)

Elements of symbolic logic
by: Reichenbach, Hans
Published: (1966)

The elements of mathematical logic
by: Rosenbloom, Paul C
Published: (1950)

Logic, semantics, metamathematics: papers from 1923 to 1938
by: Tarski, Alfred
Published: (1956)

Popular lectures on mathematical logic
by: Wang, Hao
Published: (1993)

Logic and reasoning in mathematics
by: Johnson, Donovan A
Published: (1963)

First-order logic
by: Smullyan, Raymond M
Published: (1995)

First-order logic
by: Smullyan, Raymond M
Published: (1968)

Introduction to logic
by: Copi, Irving M, et al.
Published: (2014)

Introduction to mathematical logic
by: Mendelson, Elliott
Published: (1964)

Set theory and logic
by: Stoll, Robert R
Published: (1963)

Introduction to mathematical logic
by: Church, Alonzo
Published: (1956)

Set theory and logic
by: Fraenkel, Abraham Adolf
Published: (1966)

Mathematical logic
by: Quine, Willard Van Orman
Published: (1962)

Proofs and refutations: the logic of mathematical discovery
by: Lakatos, Imre
Published: (1976)

Principles of mathematical logic
by: Hilbert, David, et al.
Published: (1950)

Elementary logic of science and mathematics
by: Nidditch, P. H.
Published: (1960)

An introduction to logic
by: Joseph, H. W. B
Published: (1916)

Algebra and logic
by: Crossley, J. N
Published: (1975)