A theory of formal deducibility
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | كتاب |
| اللغة: | الإنجليزية |
| منشور في: |
Notre Dame
University of Notre Dame
1950
|
| سلاسل: | Notre Dame Mathematical Lectures, 6
|
| الموضوعات: | |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
مواد مشابهة
Introductory formal logic of mathematics
حسب: Nidditch, P. H.
منشور في: (1957)
حسب: Nidditch, P. H.
منشور في: (1957)
Introducción a la lógica y al análisis formal
حسب: Sacristán Luzón, Manuel
منشور في: (1964)
حسب: Sacristán Luzón, Manuel
منشور في: (1964)
On formally undecidable propositions of principia mathematica and related systems
حسب: Gödel, Kurt Friedrich
منشور في: (1992)
حسب: Gödel, Kurt Friedrich
منشور في: (1992)
Formal logic
حسب: Prior, Arthur N
منشور في: (1962)
حسب: Prior, Arthur N
منشور في: (1962)
Formale und Transzendentale Logik. Versuch einer Kritik der logischen Vernunft
حسب: Husserl, Edmund
منشور في: (1974)
حسب: Husserl, Edmund
منشور في: (1974)
Theory of formal systems
حسب: Smullyan, Raymond M
منشور في: (1961)
حسب: Smullyan, Raymond M
منشور في: (1961)
Model theory: An Introduction
حسب: Marker, David
منشور في: (2002)
حسب: Marker, David
منشور في: (2002)
Lógica combinatoria
حسب: Curry, Haskell B, وآخرون
منشور في: (1967)
حسب: Curry, Haskell B, وآخرون
منشور في: (1967)
Toward a systematic pragmatics
حسب: Martin, Richard Milton
منشور في: (1959)
حسب: Martin, Richard Milton
منشور في: (1959)
Set theory and logic
حسب: Stoll, Robert R
منشور في: (1963)
حسب: Stoll, Robert R
منشور في: (1963)
Introducción a la lógica simbólica
حسب: Stahl, Gerold
منشور في: (1968)
حسب: Stahl, Gerold
منشور في: (1968)
Introducción a la lógica matemática
حسب: Galicia Arrambide, Moisés
منشور في: (1980)
حسب: Galicia Arrambide, Moisés
منشور في: (1980)
Introducción a la lógica simbólica
حسب: Suppes, Patrick
منشور في: (1966)
حسب: Suppes, Patrick
منشور في: (1966)
Set theory and logic
حسب: Fraenkel, Abraham Adolf
منشور في: (1966)
حسب: Fraenkel, Abraham Adolf
منشور في: (1966)
An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities
حسب: Boole, George
منشور في: (1958)
حسب: Boole, George
منشور في: (1958)
La structure algébrique des théories mathématiques
حسب: Henkin, Leon
منشور في: (1956)
حسب: Henkin, Leon
منشور في: (1956)
Elementary theory of sets
حسب: Dinkines, Flora
منشور في: (1964)
حسب: Dinkines, Flora
منشور في: (1964)
Elements of mathematical logic
حسب: Lukasiewicz, Jan
منشور في: (1963)
حسب: Lukasiewicz, Jan
منشور في: (1963)
Mathematical logic
حسب: Shoenfield, Joseph R
منشور في: (1967)
حسب: Shoenfield, Joseph R
منشور في: (1967)
Notes on logic
حسب: Lyndon, Roger C.
منشور في: (1966)
حسب: Lyndon, Roger C.
منشور في: (1966)
Logic for mathematicians
حسب: Rosser, J. Barkley
منشور في: (1953)
حسب: Rosser, J. Barkley
منشور في: (1953)
First-order logic
حسب: Smullyan, Raymond M
منشور في: (1968)
حسب: Smullyan, Raymond M
منشور في: (1968)
Many-valued logics
حسب: Rosser, J. Barkley, وآخرون
منشور في: (1952)
حسب: Rosser, J. Barkley, وآخرون
منشور في: (1952)
Introduction to Mathematical Logic
حسب: Dinkines, Flora
منشور في: (1964)
حسب: Dinkines, Flora
منشور في: (1964)
Qué son los números ?: el método axiomático
حسب: Chuaqui, Rolando Basim
منشور في: (1980)
حسب: Chuaqui, Rolando Basim
منشور في: (1980)
Epistemología matemática y psicología
حسب: Beth, Evert W, وآخرون
منشور في: (1980)
حسب: Beth, Evert W, وآخرون
منشور في: (1980)
Introducción al simbolismo lógico
حسب: Bosch, Jorge E
منشور في: (1971)
حسب: Bosch, Jorge E
منشور في: (1971)
Identidad en la lógica matemática
حسب: Nemesszeghy Voros, Elemer
منشور في: (1967)
حسب: Nemesszeghy Voros, Elemer
منشور في: (1967)
El desarrollo de la lógica matemática
حسب: Nidditch, P. H.
منشور في: (1980)
حسب: Nidditch, P. H.
منشور في: (1980)
El juego de la lógica y otros escritos
حسب: Carroll, Lewis
منشور في: (1984)
حسب: Carroll, Lewis
منشور في: (1984)
Lógica de primer orden
حسب: Mosterín, Jesús
منشور في: (1970)
حسب: Mosterín, Jesús
منشور في: (1970)
Hacia una lógica de significaciones
حسب: Piaget, Jean, وآخرون
منشور في: (1989)
حسب: Piaget, Jean, وآخرون
منشور في: (1989)
La logique à l'école
حسب: Glaymann, Maurice, وآخرون
منشور في: (1972)
حسب: Glaymann, Maurice, وآخرون
منشور في: (1972)
Popular lectures on mathematical logic
حسب: Wang, Hao
منشور في: (1993)
حسب: Wang, Hao
منشور في: (1993)
Logic colloquium
حسب: Parikh, Rohit
منشور في: (1975)
حسب: Parikh, Rohit
منشور في: (1975)
Elements of mathematical logic
حسب: Novikov, P. S. (Petr Sergeevich)
منشور في: (1964)
حسب: Novikov, P. S. (Petr Sergeevich)
منشور في: (1964)
The principles of mathematics
حسب: Russell, Bertrand
منشور في: (1937)
حسب: Russell, Bertrand
منشور في: (1937)
Introducción al simbolismo lógico
حسب: Bosch, Jorge E
منشور في: (1970)
حسب: Bosch, Jorge E
منشور في: (1970)
Lógica simbólica para informáticos
حسب: Iranzo, Pascual Julián
منشور في: (2005)
حسب: Iranzo, Pascual Julián
منشور في: (2005)
Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
حسب: Ledesma, Luis de
منشور في: (2010)
حسب: Ledesma, Luis de
منشور في: (2010)