Obálka

Büchi's Monadic second order successor arithmetic

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Siefkes, Dirk (Autor)
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	Berlín Springer-Verlag 1970
Edice:	Lecture Notes in Mathematics, 120. Decidable theories, 1
Témata:	Lógica matemática Teoría de conjuntos Cálculo TEOREMAS CALCULO DE PREDICADOS Integrales
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Théorie métamathématique des idéaux
Autor: Robinson, Abraham
Vydáno: (1955)

Term logic with choice operator
Autor: Hermes, Hans
Vydáno: (1970)

Lógica simbólica
Autor: Hegenberg, Leónidas
Vydáno: (1966)

Tableau systems for first order number theory and certain higher order theories
Autor: Toledo, Sue
Vydáno: (1975)

A precis of mathematical logic
Autor: Bochénski, Innocentius M
Vydáno: (1959)

Proceedings of the Summer School in Logic Leeds, 1967
Vydáno: (1968)

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

Calculs numériques et graphiques
Autor: Gau, Emile
Vydáno: (1925)

Calculus
Autor: Anderson, Daniel, a další
Vydáno: (1987)

First-order logic
Autor: Smullyan, Raymond M
Vydáno: (1995)

First-order logic
Autor: Smullyan, Raymond M
Vydáno: (1968)

Set theory and metric spaces
Autor: Kaplansky, Irving
Vydáno: (1977)

Calculus
Autor: Bers, Lipman
Vydáno: (1967)

A complete course in calculus
Autor: Lang, Serge
Vydáno: (1968)

Cálculo aplicado para administración, economía y ciencias sociales
Autor: Hoffmann, Laurence D, a další
Vydáno: (2006)

A second course in calculus
Autor: Lang, Serge
Vydáno: (1964)

A second course in calculus
Autor: Lang, Serge
Vydáno: (1968)

Eléments de Mathématique: théorie des ensembles
Autor: Bourbaki, Nicolás
Vydáno: (1966)

Introductory calculus with analytic geometry
Autor: Begle, Edward G
Vydáno: (1954)

Calculus
Autor: Hughes-Hallett, Deborah, a další
Vydáno: (1994)

Cálculo infinitesimal
Autor: Spivak, Michael
Vydáno: (1984)

Cálculo infinitesimal
Autor: Spivak, Michael
Vydáno: (1981)

Logic, computers, and sets
Autor: Wang, Hao
Vydáno: (1970)

Matemática discreta y lógica
Autor: Grassmann, Winfried Karl, a další
Vydáno: (1997)

Matemática elemental moderna: estructura y método
Autor: Trejo, César A
Vydáno: (1969)

Matemática elemental moderna: estructura y método
Autor: Trejo, César A
Vydáno: (1977)

Integrable systems and riemann surfaces of infinite Genus
Autor: Schmidt, Martin U
Vydáno: (1996)

Calculus: an intuitive and physical approach
Autor: Kline, Morris
Vydáno: (1967)

Cálculo: varias variables
Autor: Thomas, George Brinton, a další
Vydáno: (1999)

The elements of integration
Autor: Bartle, Robert Gardner
Vydáno: (1966)

Introducción a la teoría de conjuntos y a la topología
Autor: Kuratowski, Kazimierz
Vydáno: (1966)

Introduction to set theory and topology
Autor: Kuratowski, Kazimierz
Vydáno: (1961)

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

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

Discrete Mathematics and its applications
Autor: Rosen, Kenneth H
Vydáno: (2019)

Cálculo aplicado para Administración, Economía y Ciencias Sociales
Autor: Hoffmann, Laurence D, a další
Vydáno: (2006)

Eléments de Mathématique: théorie des ensembles
Autor: Bourbaki, Nicolás
Vydáno: (1964)

Eléments de Mathématique: théorie des ensembles
Autor: Bourbaki, Nicolás
Vydáno: (1966)

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