Introductory formal logic of mathematics
Shranjeno v:
| Glavni avtor: | |
|---|---|
| Format: | Knjiga |
| Jezik: | angleščina |
| Izdano: |
Glencoe
The Free Press of Glencoe
1957
|
| Teme: | |
| Oznake: |
Označite
Brez oznak, prvi označite!
|
Podobne knjige/članki
Elementary logic of science and mathematics
od: Nidditch, P. H.
Izdano: (1960)
od: Nidditch, P. H.
Izdano: (1960)
Formal logic
od: Prior, Arthur N
Izdano: (1962)
od: Prior, Arthur N
Izdano: (1962)
Mathematical logic
od: Shoenfield, Joseph R
Izdano: (1967)
od: Shoenfield, Joseph R
Izdano: (1967)
Elements of mathematical logic
od: Novikov, P. S. (Petr Sergeevich)
Izdano: (1964)
od: Novikov, P. S. (Petr Sergeevich)
Izdano: (1964)
Elements of mathematical logic
od: Lukasiewicz, Jan
Izdano: (1963)
od: Lukasiewicz, Jan
Izdano: (1963)
Introduction to Mathematical Logic
od: Dinkines, Flora
Izdano: (1964)
od: Dinkines, Flora
Izdano: (1964)
Popular lectures on mathematical logic
od: Wang, Hao
Izdano: (1993)
od: Wang, Hao
Izdano: (1993)
Logic and reasoning in mathematics
od: Johnson, Donovan A
Izdano: (1963)
od: Johnson, Donovan A
Izdano: (1963)
Introduction to mathematical logic
od: Church, Alonzo
Izdano: (1956)
od: Church, Alonzo
Izdano: (1956)
Mathematical logic
od: Quine, Willard Van Orman
Izdano: (1962)
od: Quine, Willard Van Orman
Izdano: (1962)
Principles of mathematical logic
od: Hilbert, David, et al.
Izdano: (1950)
od: Hilbert, David, et al.
Izdano: (1950)
Notes on logic
od: Lyndon, Roger C.
Izdano: (1966)
od: Lyndon, Roger C.
Izdano: (1966)
Logic for mathematicians
od: Rosser, J. Barkley
Izdano: (1953)
od: Rosser, J. Barkley
Izdano: (1953)
Proofs and refutations: the logic of mathematical discovery
od: Lakatos, Imre
Izdano: (1976)
od: Lakatos, Imre
Izdano: (1976)
Methods in mathematical logic
od: Prisco, C. A. di
Izdano: (1985)
od: Prisco, C. A. di
Izdano: (1985)
The hidden mathematical logic of stories
od: Paulos, John Allen
Izdano: (1998)
od: Paulos, John Allen
Izdano: (1998)
First-order logic
od: Smullyan, Raymond M
Izdano: (1968)
od: Smullyan, Raymond M
Izdano: (1968)
Many-valued logics
od: Rosser, J. Barkley, et al.
Izdano: (1952)
od: Rosser, J. Barkley, et al.
Izdano: (1952)
Logic colloquium
od: Parikh, Rohit
Izdano: (1975)
od: Parikh, Rohit
Izdano: (1975)
A theory of formal deducibility
od: Curry, Haskell B
Izdano: (1950)
od: Curry, Haskell B
Izdano: (1950)
Mathematical Logic
od: Monk, James Donald
Izdano: (1976)
od: Monk, James Donald
Izdano: (1976)
El desarrollo de la lógica matemática
od: Nidditch, P. H.
Izdano: (1980)
od: Nidditch, P. H.
Izdano: (1980)
Introduction to mathematical logic
od: Mendelson, Elliott
Izdano: (1997)
od: Mendelson, Elliott
Izdano: (1997)
An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities
od: Boole, George
Izdano: (1958)
od: Boole, George
Izdano: (1958)
An algebraic introduction to mathematical logic
od: Barnes, Donald W, et al.
Izdano: (1975)
od: Barnes, Donald W, et al.
Izdano: (1975)
A course in mathematical logic
od: Manin, Yuri Ivanovich
Izdano: (1977)
od: Manin, Yuri Ivanovich
Izdano: (1977)
On formally undecidable propositions of principia mathematica and related systems
od: Gödel, Kurt Friedrich
Izdano: (1992)
od: Gödel, Kurt Friedrich
Izdano: (1992)
Introduction to logic
od: Copi, Irving M, et al.
Izdano: (2014)
od: Copi, Irving M, et al.
Izdano: (2014)
Set theory and logic
od: Stoll, Robert R
Izdano: (1963)
od: Stoll, Robert R
Izdano: (1963)
The elements of mathematical logic
od: Rosenbloom, Paul C
Izdano: (1950)
od: Rosenbloom, Paul C
Izdano: (1950)
Introducción a la lógica y al análisis formal
od: Sacristán Luzón, Manuel
Izdano: (1964)
od: Sacristán Luzón, Manuel
Izdano: (1964)
Formale und Transzendentale Logik. Versuch einer Kritik der logischen Vernunft
od: Husserl, Edmund
Izdano: (1974)
od: Husserl, Edmund
Izdano: (1974)