Term logic with choice operator
Zapisane w:
| 1. autor: | |
|---|---|
| Format: | Książka |
| Język: | angielski |
| Wydane: |
Berlín
Springer-Verlag
1970
|
| Seria: | Lecture Notes in Mathematics, 6
|
| Hasła przedmiotowe: | |
| Etykiety: |
Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
|
Podobne zapisy
Proceedings of the Summer School in Logic Leeds, 1967
Wydane: (1968)
Wydane: (1968)
Büchi's Monadic second order successor arithmetic
od: Siefkes, Dirk
Wydane: (1970)
od: Siefkes, Dirk
Wydane: (1970)
Lógica simbólica
od: Hegenberg, Leónidas
Wydane: (1966)
od: Hegenberg, Leónidas
Wydane: (1966)
A precis of mathematical logic
od: Bochénski, Innocentius M
Wydane: (1959)
od: Bochénski, Innocentius M
Wydane: (1959)
Tableau systems for first order number theory and certain higher order theories
od: Toledo, Sue
Wydane: (1975)
od: Toledo, Sue
Wydane: (1975)
Logic, computers, and sets
od: Wang, Hao
Wydane: (1970)
od: Wang, Hao
Wydane: (1970)
Théorie métamathématique des idéaux
od: Robinson, Abraham
Wydane: (1955)
od: Robinson, Abraham
Wydane: (1955)
Introduction a la logique mathématique
od: Novikov, P. S. (Petr Sergeevich)
Wydane: (1964)
od: Novikov, P. S. (Petr Sergeevich)
Wydane: (1964)
Matemática discreta y lógica
od: Grassmann, Winfried Karl, i wsp.
Wydane: (1997)
od: Grassmann, Winfried Karl, i wsp.
Wydane: (1997)
The logical basis for computer programming
od: Manna, Zohar, i wsp.
Wydane: (1985)
od: Manna, Zohar, i wsp.
Wydane: (1985)
Formal logic
od: Prior, Arthur N
Wydane: (1962)
od: Prior, Arthur N
Wydane: (1962)
Mathematical logic
od: Shoenfield, Joseph R
Wydane: (1967)
od: Shoenfield, Joseph R
Wydane: (1967)
Notes on logic
od: Lyndon, Roger C.
Wydane: (1966)
od: Lyndon, Roger C.
Wydane: (1966)
Logic for mathematicians
od: Rosser, J. Barkley
Wydane: (1953)
od: Rosser, J. Barkley
Wydane: (1953)
Elements of mathematical logic
od: Lukasiewicz, Jan
Wydane: (1963)
od: Lukasiewicz, Jan
Wydane: (1963)
First-order logic
od: Smullyan, Raymond M
Wydane: (1968)
od: Smullyan, Raymond M
Wydane: (1968)
Many-valued logics
od: Rosser, J. Barkley, i wsp.
Wydane: (1952)
od: Rosser, J. Barkley, i wsp.
Wydane: (1952)
Introduction to Mathematical Logic
od: Dinkines, Flora
Wydane: (1964)
od: Dinkines, Flora
Wydane: (1964)
Logic colloquium
od: Parikh, Rohit
Wydane: (1975)
od: Parikh, Rohit
Wydane: (1975)
Introductory formal logic of mathematics
od: Nidditch, P. H.
Wydane: (1957)
od: Nidditch, P. H.
Wydane: (1957)
Elements of mathematical logic
od: Novikov, P. S. (Petr Sergeevich)
Wydane: (1964)
od: Novikov, P. S. (Petr Sergeevich)
Wydane: (1964)
Introduction to logic and to the methodology of deductive sciences
od: Tarski, Alfred
Wydane: (1965)
od: Tarski, Alfred
Wydane: (1965)
Elements of symbolic logic
od: Reichenbach, Hans
Wydane: (1966)
od: Reichenbach, Hans
Wydane: (1966)
The elements of mathematical logic
od: Rosenbloom, Paul C
Wydane: (1950)
od: Rosenbloom, Paul C
Wydane: (1950)
Logic, semantics, metamathematics: papers from 1923 to 1938
od: Tarski, Alfred
Wydane: (1956)
od: Tarski, Alfred
Wydane: (1956)
Popular lectures on mathematical logic
od: Wang, Hao
Wydane: (1993)
od: Wang, Hao
Wydane: (1993)
Logic and reasoning in mathematics
od: Johnson, Donovan A
Wydane: (1963)
od: Johnson, Donovan A
Wydane: (1963)
First-order logic
od: Smullyan, Raymond M
Wydane: (1995)
od: Smullyan, Raymond M
Wydane: (1995)
First-order logic
od: Smullyan, Raymond M
Wydane: (1968)
od: Smullyan, Raymond M
Wydane: (1968)
Introduction to logic
od: Copi, Irving M, i wsp.
Wydane: (2014)
od: Copi, Irving M, i wsp.
Wydane: (2014)
Introduction to mathematical logic
od: Mendelson, Elliott
Wydane: (1964)
od: Mendelson, Elliott
Wydane: (1964)
Set theory and logic
od: Stoll, Robert R
Wydane: (1963)
od: Stoll, Robert R
Wydane: (1963)