Büchi's Monadic second order successor arithmetic
Saved in:
| Hovedforfatter: | |
|---|---|
| Format: | Bog |
| Sprog: | engelsk |
| Udgivet: |
Berlín
Springer-Verlag
1970
|
| Serier: | Lecture Notes in Mathematics, 120. Decidable theories, 1
|
| Fag: | |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|
Lignende værker
Théorie métamathématique des idéaux
af: Robinson, Abraham
Udgivet: (1955)
af: Robinson, Abraham
Udgivet: (1955)
Term logic with choice operator
af: Hermes, Hans
Udgivet: (1970)
af: Hermes, Hans
Udgivet: (1970)
Lógica simbólica
af: Hegenberg, Leónidas
Udgivet: (1966)
af: Hegenberg, Leónidas
Udgivet: (1966)
Tableau systems for first order number theory and certain higher order theories
af: Toledo, Sue
Udgivet: (1975)
af: Toledo, Sue
Udgivet: (1975)
A precis of mathematical logic
af: Bochénski, Innocentius M
Udgivet: (1959)
af: Bochénski, Innocentius M
Udgivet: (1959)
Proceedings of the Summer School in Logic Leeds, 1967
Udgivet: (1968)
Udgivet: (1968)
Quiero entender el cálculo: un enfoque diferente basado en conceptos y aplicaciones
af: Mochón, Simón
Udgivet: (1994)
af: Mochón, Simón
Udgivet: (1994)
Calculs numériques et graphiques
af: Gau, Emile
Udgivet: (1925)
af: Gau, Emile
Udgivet: (1925)
Calculus
af: Anderson, Daniel, et al.
Udgivet: (1987)
af: Anderson, Daniel, et al.
Udgivet: (1987)
First-order logic
af: Smullyan, Raymond M
Udgivet: (1995)
af: Smullyan, Raymond M
Udgivet: (1995)
First-order logic
af: Smullyan, Raymond M
Udgivet: (1968)
af: Smullyan, Raymond M
Udgivet: (1968)
Set theory and metric spaces
af: Kaplansky, Irving
Udgivet: (1977)
af: Kaplansky, Irving
Udgivet: (1977)
Calculus
af: Bers, Lipman
Udgivet: (1967)
af: Bers, Lipman
Udgivet: (1967)
A complete course in calculus
af: Lang, Serge
Udgivet: (1968)
af: Lang, Serge
Udgivet: (1968)
Cálculo aplicado para administración, economía y ciencias sociales
af: Hoffmann, Laurence D, et al.
Udgivet: (2006)
af: Hoffmann, Laurence D, et al.
Udgivet: (2006)
A second course in calculus
af: Lang, Serge
Udgivet: (1964)
af: Lang, Serge
Udgivet: (1964)
A second course in calculus
af: Lang, Serge
Udgivet: (1968)
af: Lang, Serge
Udgivet: (1968)
Eléments de Mathématique: théorie des ensembles
af: Bourbaki, Nicolás
Udgivet: (1966)
af: Bourbaki, Nicolás
Udgivet: (1966)
Introductory calculus with analytic geometry
af: Begle, Edward G
Udgivet: (1954)
af: Begle, Edward G
Udgivet: (1954)
Calculus
af: Hughes-Hallett, Deborah, et al.
Udgivet: (1994)
af: Hughes-Hallett, Deborah, et al.
Udgivet: (1994)
Cálculo infinitesimal
af: Spivak, Michael
Udgivet: (1984)
af: Spivak, Michael
Udgivet: (1984)
Cálculo infinitesimal
af: Spivak, Michael
Udgivet: (1981)
af: Spivak, Michael
Udgivet: (1981)
Logic, computers, and sets
af: Wang, Hao
Udgivet: (1970)
af: Wang, Hao
Udgivet: (1970)
Matemática discreta y lógica
af: Grassmann, Winfried Karl, et al.
Udgivet: (1997)
af: Grassmann, Winfried Karl, et al.
Udgivet: (1997)
Matemática elemental moderna: estructura y método
af: Trejo, César A
Udgivet: (1969)
af: Trejo, César A
Udgivet: (1969)
Matemática elemental moderna: estructura y método
af: Trejo, César A
Udgivet: (1977)
af: Trejo, César A
Udgivet: (1977)
Integrable systems and riemann surfaces of infinite Genus
af: Schmidt, Martin U
Udgivet: (1996)
af: Schmidt, Martin U
Udgivet: (1996)
Calculus: an intuitive and physical approach
af: Kline, Morris
Udgivet: (1967)
af: Kline, Morris
Udgivet: (1967)
Cálculo: varias variables
af: Thomas, George Brinton, et al.
Udgivet: (1999)
af: Thomas, George Brinton, et al.
Udgivet: (1999)
The elements of integration
af: Bartle, Robert Gardner
Udgivet: (1966)
af: Bartle, Robert Gardner
Udgivet: (1966)
Introducción a la teoría de conjuntos y a la topología
af: Kuratowski, Kazimierz
Udgivet: (1966)
af: Kuratowski, Kazimierz
Udgivet: (1966)
Introduction to set theory and topology
af: Kuratowski, Kazimierz
Udgivet: (1961)
af: Kuratowski, Kazimierz
Udgivet: (1961)
La teoría de conjuntos y los fundamentos de la Matemática
af: Lewin, Renato Lewin Riquelme de la Barrera, Renato
Udgivet: (2011)
af: Lewin, Renato Lewin Riquelme de la Barrera, Renato
Udgivet: (2011)
Problemas sobre cálculo de una variable: elementos y teoría
af: Maron, I. A.
Udgivet: (1975)
af: Maron, I. A.
Udgivet: (1975)
Discrete Mathematics and its applications
af: Rosen, Kenneth H
Udgivet: (2019)
af: Rosen, Kenneth H
Udgivet: (2019)
Cálculo aplicado para Administración, Economía y Ciencias Sociales
af: Hoffmann, Laurence D, et al.
Udgivet: (2006)
af: Hoffmann, Laurence D, et al.
Udgivet: (2006)
Eléments de Mathématique: théorie des ensembles
af: Bourbaki, Nicolás
Udgivet: (1964)
af: Bourbaki, Nicolás
Udgivet: (1964)
Eléments de Mathématique: théorie des ensembles
af: Bourbaki, Nicolás
Udgivet: (1966)
af: Bourbaki, Nicolás
Udgivet: (1966)
Eléments de Mathématique: théorie des ensembles
af: Bourbaki, Nicolás
Udgivet: (1963)
af: Bourbaki, Nicolás
Udgivet: (1963)
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
af: Beth, Evert W
Udgivet: (1956)
af: Beth, Evert W
Udgivet: (1956)