Buchumschlag

Büchi's Monadic second order successor arithmetic

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Siefkes, Dirk (VerfasserIn)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Berlín Springer-Verlag 1970
Schriftenreihe:	Lecture Notes in Mathematics, 120. Decidable theories, 1
Schlagworte:	Lógica matemática Teoría de conjuntos Cálculo TEOREMAS CALCULO DE PREDICADOS Integrales
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Théorie métamathématique des idéaux
von: Robinson, Abraham
Veröffentlicht: (1955)

Term logic with choice operator
von: Hermes, Hans
Veröffentlicht: (1970)

Lógica simbólica
von: Hegenberg, Leónidas
Veröffentlicht: (1966)

Tableau systems for first order number theory and certain higher order theories
von: Toledo, Sue
Veröffentlicht: (1975)

A precis of mathematical logic
von: Bochénski, Innocentius M
Veröffentlicht: (1959)

Proceedings of the Summer School in Logic Leeds, 1967
Veröffentlicht: (1968)

Quiero entender el cálculo: un enfoque diferente basado en conceptos y aplicaciones
von: Mochón, Simón
Veröffentlicht: (1994)

Calculs numériques et graphiques
von: Gau, Emile
Veröffentlicht: (1925)

Calculus
von: Anderson, Daniel, et al.
Veröffentlicht: (1987)

First-order logic
von: Smullyan, Raymond M
Veröffentlicht: (1995)

First-order logic
von: Smullyan, Raymond M
Veröffentlicht: (1968)

Set theory and metric spaces
von: Kaplansky, Irving
Veröffentlicht: (1977)

Calculus
von: Bers, Lipman
Veröffentlicht: (1967)

A complete course in calculus
von: Lang, Serge
Veröffentlicht: (1968)

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

A second course in calculus
von: Lang, Serge
Veröffentlicht: (1964)

A second course in calculus
von: Lang, Serge
Veröffentlicht: (1968)

Eléments de Mathématique: théorie des ensembles
von: Bourbaki, Nicolás
Veröffentlicht: (1966)

Introductory calculus with analytic geometry
von: Begle, Edward G
Veröffentlicht: (1954)

Calculus
von: Hughes-Hallett, Deborah, et al.
Veröffentlicht: (1994)

Cálculo infinitesimal
von: Spivak, Michael
Veröffentlicht: (1984)

Cálculo infinitesimal
von: Spivak, Michael
Veröffentlicht: (1981)

Logic, computers, and sets
von: Wang, Hao
Veröffentlicht: (1970)

Matemática discreta y lógica
von: Grassmann, Winfried Karl, et al.
Veröffentlicht: (1997)

Matemática elemental moderna: estructura y método
von: Trejo, César A
Veröffentlicht: (1969)

Matemática elemental moderna: estructura y método
von: Trejo, César A
Veröffentlicht: (1977)

Integrable systems and riemann surfaces of infinite Genus
von: Schmidt, Martin U
Veröffentlicht: (1996)

Calculus: an intuitive and physical approach
von: Kline, Morris
Veröffentlicht: (1967)

Cálculo: varias variables
von: Thomas, George Brinton, et al.
Veröffentlicht: (1999)

The elements of integration
von: Bartle, Robert Gardner
Veröffentlicht: (1966)

Introducción a la teoría de conjuntos y a la topología
von: Kuratowski, Kazimierz
Veröffentlicht: (1966)

Introduction to set theory and topology
von: Kuratowski, Kazimierz
Veröffentlicht: (1961)

La teoría de conjuntos y los fundamentos de la Matemática
von: Lewin, Renato Lewin Riquelme de la Barrera, Renato
Veröffentlicht: (2011)

Problemas sobre cálculo de una variable: elementos y teoría
von: Maron, I. A.
Veröffentlicht: (1975)

Discrete Mathematics and its applications
von: Rosen, Kenneth H
Veröffentlicht: (2019)

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

Eléments de Mathématique: théorie des ensembles
von: Bourbaki, Nicolás
Veröffentlicht: (1964)

Eléments de Mathématique: théorie des ensembles
von: Bourbaki, Nicolás
Veröffentlicht: (1966)

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