Cover Image

Büchi's Monadic second order successor arithmetic

Saved in:

Bibliographic Details
Main Author:	Siefkes, Dirk (Author)
Format:	Book
Language:	English
Published:	Berlín Springer-Verlag 1970
Series:	Lecture Notes in Mathematics, 120. Decidable theories, 1
Subjects:	Lógica matemática Teoría de conjuntos Cálculo TEOREMAS CALCULO DE PREDICADOS Integrales
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Term logic with choice operator
by: Hermes, Hans
Published: (1970)

Lógica simbólica
by: Hegenberg, Leónidas
Published: (1966)

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

A precis of mathematical logic
by: Bochénski, Innocentius M
Published: (1959)

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

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

Calculs numériques et graphiques
by: Gau, Emile
Published: (1925)

Calculus
by: Anderson, Daniel, et al.
Published: (1987)

First-order logic
by: Smullyan, Raymond M
Published: (1995)

First-order logic
by: Smullyan, Raymond M
Published: (1968)

Set theory and metric spaces
by: Kaplansky, Irving
Published: (1977)

Calculus
by: Bers, Lipman
Published: (1967)

A complete course in calculus
by: Lang, Serge
Published: (1968)

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

A second course in calculus
by: Lang, Serge
Published: (1964)

A second course in calculus
by: Lang, Serge
Published: (1968)

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

Introductory calculus with analytic geometry
by: Begle, Edward G
Published: (1954)

Calculus
by: Hughes-Hallett, Deborah, et al.
Published: (1994)

Cálculo infinitesimal
by: Spivak, Michael
Published: (1984)

Cálculo infinitesimal
by: Spivak, Michael
Published: (1981)

Logic, computers, and sets
by: Wang, Hao
Published: (1970)

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

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

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

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

Calculus: an intuitive and physical approach
by: Kline, Morris
Published: (1967)

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

The elements of integration
by: Bartle, Robert Gardner
Published: (1966)

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

Introduction to set theory and topology
by: Kuratowski, Kazimierz
Published: (1961)

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

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

Discrete Mathematics and its applications
by: Rosen, Kenneth H
Published: (2019)

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

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

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

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