First-order logic
שמור ב:
| מחבר ראשי: | Smullyan, Raymond M (Author) |
|---|---|
| פורמט: | ספר |
| שפה: | אנגלית |
| יצא לאור: |
Berlín
Springer-Verlag
1968
|
| נושאים: | |
| תגים: |
הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
|
פריטים דומים
First-order logic
מאת: Smullyan, Raymond M
יצא לאור: (1995)
מאת: Smullyan, Raymond M
יצא לאור: (1995)
Introduction to mathematical logic
מאת: Mendelson, Elliott
יצא לאור: (1964)
מאת: Mendelson, Elliott
יצא לאור: (1964)
Introduction to logic
מאת: Suppes, Patrick
יצא לאור: (1957)
מאת: Suppes, Patrick
יצא לאור: (1957)
Lógica básica para la verdad aristotélica
מאת: Sierra A., Manuel
יצא לאור: (2010)
מאת: Sierra A., Manuel
יצא לאור: (2010)
Teoría y práctica de la lógica proposiciona
מאת: Montaner, Pedro, et al.
יצא לאור: (1997)
מאת: Montaner, Pedro, et al.
יצא לאור: (1997)
Introduction to mathematical logic
מאת: Mendelson, Elliott
יצא לאור: (1997)
מאת: Mendelson, Elliott
יצא לאור: (1997)
The elements of mathematical logic
מאת: Rosenbloom, Paul C
יצא לאור: (1950)
מאת: Rosenbloom, Paul C
יצא לאור: (1950)
Eléments de Mathématique: théorie des ensembles
מאת: Bourbaki, Nicolás
יצא לאור: (1970)
מאת: Bourbaki, Nicolás
יצא לאור: (1970)
Introduction a la logique mathématique
מאת: Novikov, P. S. (Petr Sergeevich)
יצא לאור: (1964)
מאת: Novikov, P. S. (Petr Sergeevich)
יצא לאור: (1964)
A precis of mathematical logic
מאת: Bochénski, Innocentius M
יצא לאור: (1959)
מאת: Bochénski, Innocentius M
יצא לאור: (1959)
Set theory and logic
מאת: Fraenkel, Abraham Adolf
יצא לאור: (1966)
מאת: Fraenkel, Abraham Adolf
יצא לאור: (1966)
Set theory and logic
מאת: Stoll, Robert R
יצא לאור: (1963)
מאת: Stoll, Robert R
יצא לאור: (1963)
Tableau systems for first order number theory and certain higher order theories
מאת: Toledo, Sue
יצא לאור: (1975)
מאת: Toledo, Sue
יצא לאור: (1975)
Simposio latino-americano de lógica matemática: resumos de conferências e comunicacoes
יצא לאור: (1970)
יצא לאור: (1970)
Büchi's Monadic second order successor arithmetic
מאת: Siefkes, Dirk
יצא לאור: (1970)
מאת: Siefkes, Dirk
יצא לאור: (1970)
Logic and reasoning in mathematics
מאת: Johnson, Donovan A
יצא לאור: (1963)
מאת: Johnson, Donovan A
יצא לאור: (1963)
Matemática elemental moderna: estructura y método
מאת: Trejo, César A
יצא לאור: (1969)
מאת: Trejo, César A
יצא לאור: (1969)
Matemática elemental moderna: estructura y método
מאת: Trejo, César A
יצא לאור: (1977)
מאת: Trejo, César A
יצא לאור: (1977)
First-order logic
מאת: Smullyan, Raymond M
יצא לאור: (1968)
מאת: Smullyan, Raymond M
יצא לאור: (1968)
Lógica simbólica: una breve introducción
מאת: Gómez Calderón, Javier
יצא לאור: (1979)
מאת: Gómez Calderón, Javier
יצא לאור: (1979)
Proceedings of the Summer School in Logic Leeds, 1967
יצא לאור: (1968)
יצא לאור: (1968)
Introduction to logic
מאת: Copi, Irving M, et al.
יצא לאור: (2014)
מאת: Copi, Irving M, et al.
יצא לאור: (2014)
Borel equivalence relations: structure and classification
מאת: Kanovei, Vladimir
יצא לאור: (2008)
מאת: Kanovei, Vladimir
יצא לאור: (2008)
Elements of mathematical logic
מאת: Novikov, P. S. (Petr Sergeevich)
יצא לאור: (1964)
מאת: Novikov, P. S. (Petr Sergeevich)
יצא לאור: (1964)
Conference in Mathematical logic, London 70
מאת: Hodges, Wilfrid
יצא לאור: (1972)
מאת: Hodges, Wilfrid
יצא לאור: (1972)
Logic, computers, and sets
מאת: Wang, Hao
יצא לאור: (1970)
מאת: Wang, Hao
יצא לאור: (1970)
Foundations of set theory
מאת: Fraenkel, Abraham A, et al.
יצא לאור: (1958)
מאת: Fraenkel, Abraham A, et al.
יצא לאור: (1958)
Lógica simbólica
מאת: Hegenberg, Leónidas
יצא לאור: (1966)
מאת: Hegenberg, Leónidas
יצא לאור: (1966)
Elementary theory of sets
מאת: Dinkines, Flora
יצא לאור: (1964)
מאת: Dinkines, Flora
יצא לאור: (1964)
Introducción al simbolismo lógico
מאת: Bosch, Jorge E
יצא לאור: (1981)
מאת: Bosch, Jorge E
יצא לאור: (1981)
Basic mathematics
מאת: Lang, Serge
יצא לאור: (1971)
מאת: Lang, Serge
יצא לאור: (1971)
Number theory with computer applications
מאת: Kumanduri, Ramanujachary, et al.
יצא לאור: (1998)
מאת: Kumanduri, Ramanujachary, et al.
יצא לאור: (1998)
Intermediate analysis
מאת: Ramanujan, M. S, et al.
יצא לאור: (1970)
מאת: Ramanujan, M. S, et al.
יצא לאור: (1970)
Reglas para la dirección del espíritu
מאת: Descartes, René
יצא לאור: (1984)
מאת: Descartes, René
יצא לאור: (1984)
Cómo desarrollar el razonamiento lógico matemático: manual de apoyo al profesor de kinder a 8 § básico
מאת: Cofré Jorquera, Alicia, et al.
יצא לאור: (2009)
מאת: Cofré Jorquera, Alicia, et al.
יצא לאור: (2009)
Reglas para la dirección del espíritu
מאת: Descartes, René
יצא לאור: (2011)
מאת: Descartes, René
יצא לאור: (2011)
Ejercicios de matemáticas generales
מאת: Mena Lorca, Arturo
יצא לאור: (1980)
מאת: Mena Lorca, Arturo
יצא לאור: (1980)
Languages with expressions of infinite length
מאת: Karp, Carol R
יצא לאור: (1964)
מאת: Karp, Carol R
יצא לאור: (1964)
Matemáticas básicas
מאת: Springer, Clifford Harry, et al.
יצא לאור: (1972)
מאת: Springer, Clifford Harry, et al.
יצא לאור: (1972)
L'existence en mathématiques: Conferénces faites à la Sorbonne au titre des échanges culturels franco-néerlandais du 29 Mars au 7 Avril 1954
מאת: Beth, Evert W
יצא לאור: (1956)
מאת: Beth, Evert W
יצא לאור: (1956)
פריטים דומים
-
First-order logic
מאת: Smullyan, Raymond M
יצא לאור: (1995) -
Introduction to mathematical logic
מאת: Mendelson, Elliott
יצא לאור: (1964) -
Introduction to logic
מאת: Suppes, Patrick
יצא לאור: (1957) -
Lógica básica para la verdad aristotélica
מאת: Sierra A., Manuel
יצא לאור: (2010) -
Teoría y práctica de la lógica proposiciona
מאת: Montaner, Pedro, et al.
יצא לאור: (1997)