封面圖片

Büchi's Monadic second order successor arithmetic

Saved in:

書目詳細資料
主要作者:	Siefkes, Dirk (Author)
格式:	圖書
語言:	英语
出版:	Berlín Springer-Verlag 1970
叢編:	Lecture Notes in Mathematics, 120. Decidable theories, 1
主題:	Lógica matemática Teoría de conjuntos Cálculo TEOREMAS CALCULO DE PREDICADOS Integrales
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Théorie métamathématique des idéaux
由: Robinson, Abraham
出版: (1955)

Term logic with choice operator
由: Hermes, Hans
出版: (1970)

Lógica simbólica
由: Hegenberg, Leónidas
出版: (1966)

Tableau systems for first order number theory and certain higher order theories
由: Toledo, Sue
出版: (1975)

A precis of mathematical logic
由: Bochénski, Innocentius M
出版: (1959)

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

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

Calculs numériques et graphiques
由: Gau, Emile
出版: (1925)

Calculus
由: Anderson, Daniel, et al.
出版: (1987)

First-order logic
由: Smullyan, Raymond M
出版: (1995)

First-order logic
由: Smullyan, Raymond M
出版: (1968)

Set theory and metric spaces
由: Kaplansky, Irving
出版: (1977)

Calculus
由: Bers, Lipman
出版: (1967)

A complete course in calculus
由: Lang, Serge
出版: (1968)

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

A second course in calculus
由: Lang, Serge
出版: (1964)

A second course in calculus
由: Lang, Serge
出版: (1968)

Eléments de Mathématique: théorie des ensembles
由: Bourbaki, Nicolás
出版: (1966)

Introductory calculus with analytic geometry
由: Begle, Edward G
出版: (1954)

Calculus
由: Hughes-Hallett, Deborah, et al.
出版: (1994)

Cálculo infinitesimal
由: Spivak, Michael
出版: (1984)

Cálculo infinitesimal
由: Spivak, Michael
出版: (1981)

Logic, computers, and sets
由: Wang, Hao
出版: (1970)

Matemática discreta y lógica
由: Grassmann, Winfried Karl, et al.
出版: (1997)

Matemática elemental moderna: estructura y método
由: Trejo, César A
出版: (1969)

Matemática elemental moderna: estructura y método
由: Trejo, César A
出版: (1977)

Integrable systems and riemann surfaces of infinite Genus
由: Schmidt, Martin U
出版: (1996)

Calculus: an intuitive and physical approach
由: Kline, Morris
出版: (1967)

Cálculo: varias variables
由: Thomas, George Brinton, et al.
出版: (1999)

The elements of integration
由: Bartle, Robert Gardner
出版: (1966)

Introducción a la teoría de conjuntos y a la topología
由: Kuratowski, Kazimierz
出版: (1966)

Introduction to set theory and topology
由: Kuratowski, Kazimierz
出版: (1961)

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

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

Discrete Mathematics and its applications
由: Rosen, Kenneth H
出版: (2019)

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

Eléments de Mathématique: théorie des ensembles
由: Bourbaki, Nicolás
出版: (1964)

Eléments de Mathématique: théorie des ensembles
由: Bourbaki, Nicolás
出版: (1966)

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