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