First-order logic
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Գիրք |
| Լեզու: | անգլերեն |
| Հրապարակվել է: |
Nueva York
Dover
1995
|
| Շարք: | Dover Books on Mathematics
|
| Խորագրեր: | |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Նմանատիպ նյութեր
First-order logic
: Smullyan, Raymond M
Հրապարակվել է: (1968)
: Smullyan, Raymond M
Հրապարակվել է: (1968)
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, և այլն
Հրապարակվել է: (1997)
: Montaner, Pedro, և այլն
Հրապարակվել է: (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, և այլն
Հրապարակվել է: (2014)
: Copi, Irving M, և այլն
Հրապարակվել է: (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, և այլն
Հրապարակվել է: (1958)
: Fraenkel, Abraham A, և այլն
Հրապարակվել է: (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, և այլն
Հրապարակվել է: (1998)
: Kumanduri, Ramanujachary, և այլն
Հրապարակվել է: (1998)
Intermediate analysis
: Ramanujan, M. S, և այլն
Հրապարակվել է: (1970)
: Ramanujan, M. S, և այլն
Հրապարակվել է: (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, և այլն
Հրապարակվել է: (2009)
: Cofré Jorquera, Alicia, և այլն
Հրապարակվել է: (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, և այլն
Հրապարակվել է: (1972)
: Springer, Clifford Harry, և այլն
Հրապարակվել է: (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)