Imatge de la portada

Büchi's Monadic second order successor arithmetic

Guardat en:

Dades bibliogràfiques
Autor principal:	Siefkes, Dirk (Autor)
Format:	Llibre
Idioma:	anglès
Publicat:	Berlín Springer-Verlag 1970
Col·lecció:	Lecture Notes in Mathematics, 120. Decidable theories, 1
Matèries:	Lógica matemática Teoría de conjuntos Cálculo TEOREMAS CALCULO DE PREDICADOS Integrales
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars

Théorie métamathématique des idéaux
per: Robinson, Abraham
Publicat: (1955)

Term logic with choice operator
per: Hermes, Hans
Publicat: (1970)

Lógica simbólica
per: Hegenberg, Leónidas
Publicat: (1966)

Tableau systems for first order number theory and certain higher order theories
per: Toledo, Sue
Publicat: (1975)

A precis of mathematical logic
per: Bochénski, Innocentius M
Publicat: (1959)

Proceedings of the Summer School in Logic Leeds, 1967
Publicat: (1968)

Quiero entender el cálculo: un enfoque diferente basado en conceptos y aplicaciones
per: Mochón, Simón
Publicat: (1994)

Calculs numériques et graphiques
per: Gau, Emile
Publicat: (1925)

Calculus
per: Anderson, Daniel, et al.
Publicat: (1987)

First-order logic
per: Smullyan, Raymond M
Publicat: (1995)

First-order logic
per: Smullyan, Raymond M
Publicat: (1968)

Set theory and metric spaces
per: Kaplansky, Irving
Publicat: (1977)

Calculus
per: Bers, Lipman
Publicat: (1967)

A complete course in calculus
per: Lang, Serge
Publicat: (1968)

Cálculo aplicado para administración, economía y ciencias sociales
per: Hoffmann, Laurence D, et al.
Publicat: (2006)

A second course in calculus
per: Lang, Serge
Publicat: (1964)

A second course in calculus
per: Lang, Serge
Publicat: (1968)

Eléments de Mathématique: théorie des ensembles
per: Bourbaki, Nicolás
Publicat: (1966)

Introductory calculus with analytic geometry
per: Begle, Edward G
Publicat: (1954)

Calculus
per: Hughes-Hallett, Deborah, et al.
Publicat: (1994)

Cálculo infinitesimal
per: Spivak, Michael
Publicat: (1984)

Cálculo infinitesimal
per: Spivak, Michael
Publicat: (1981)

Logic, computers, and sets
per: Wang, Hao
Publicat: (1970)

Matemática discreta y lógica
per: Grassmann, Winfried Karl, et al.
Publicat: (1997)

Matemática elemental moderna: estructura y método
per: Trejo, César A
Publicat: (1969)

Matemática elemental moderna: estructura y método
per: Trejo, César A
Publicat: (1977)

Integrable systems and riemann surfaces of infinite Genus
per: Schmidt, Martin U
Publicat: (1996)

Calculus: an intuitive and physical approach
per: Kline, Morris
Publicat: (1967)

Cálculo: varias variables
per: Thomas, George Brinton, et al.
Publicat: (1999)

The elements of integration
per: Bartle, Robert Gardner
Publicat: (1966)

Introducción a la teoría de conjuntos y a la topología
per: Kuratowski, Kazimierz
Publicat: (1966)

Introduction to set theory and topology
per: Kuratowski, Kazimierz
Publicat: (1961)

La teoría de conjuntos y los fundamentos de la Matemática
per: Lewin, Renato Lewin Riquelme de la Barrera, Renato
Publicat: (2011)

Problemas sobre cálculo de una variable: elementos y teoría
per: Maron, I. A.
Publicat: (1975)

Discrete Mathematics and its applications
per: Rosen, Kenneth H
Publicat: (2019)

Cálculo aplicado para Administración, Economía y Ciencias Sociales
per: Hoffmann, Laurence D, et al.
Publicat: (2006)

Eléments de Mathématique: théorie des ensembles
per: Bourbaki, Nicolás
Publicat: (1964)

Eléments de Mathématique: théorie des ensembles
per: Bourbaki, Nicolás
Publicat: (1966)

Eléments de Mathématique: théorie des ensembles
per: Bourbaki, Nicolás
Publicat: (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
per: Beth, Evert W
Publicat: (1956)