Caricamento...

Codice QR

Tableau systems for first order number theory and certain higher order theories

Dettagli Bibliografici
Autore principale:	Toledo, Sue
Natura:	Printed Book
Pubblicazione:	Springer-Verlag, Berlin 1975
Serie:	Lecture Notes in Mathematics, No.0447
Soggetti:	Lecture Notes in Mathematics

Documenti analoghi

First order categorical logic
di: Makkai, Michael
Pubblicazione: (1977)

Higher order contact of submanifolds of homogeneous spaces
di: Jensen, Gary R
Pubblicazione: (1977)

Monadic second order theory of all countable ordinals
di: Buchi, J Richard
Pubblicazione: (1973)

Number theory day
Pubblicazione: (1977)

Barrelledness in topological and ordered vector spaces
di: Hussain, T
Pubblicazione: (1978)

Higher K-theories
Pubblicazione: (1973)

Higher K-theories
Pubblicazione: (1973)

Number theory carbondale 1979
Pubblicazione: (1979)

Orderable groups
di: Mura, Roberta Botto
Pubblicazione: (1977)

Proceedings of the conference on orders, group rings and related topics
di: Hsia, John S, et al
Pubblicazione: (1973)

Odd order group actions and Witt classification of innerproducts
di: Alexander, J P, et al
Pubblicazione: (1977)

Computational problems, methods, and results in algebraic number theory
di: Zimmer, Horst G
Pubblicazione: (1972)

Lectures on transcendental numbers
di: Mahler, Kurt
Pubblicazione: (1976)

Computations in higher types
di: Moldestad, Johan
Pubblicazione: (1977)

Representations of real numbers by infinite series
di: Galambos, Janos
Pubblicazione: (1976)

Genus fields of algebraic number fields
di: Ishida, Makoto
Pubblicazione: (1976)

Localization in group theory and homotopy theory
Pubblicazione: (1974)

Oscillation theory
di: Kreith, Kurt
Pubblicazione: (1973)

Potential theory
di: Wermer, John
Pubblicazione: (1974)

Category theory
di: Carboni, A, et al
Pubblicazione: (1991)

Obstruction theory
di: Baues, Hans J
Pubblicazione: (1977)

Knot theory
Pubblicazione: (1978)

Theorie ergodique
Pubblicazione: (1976)

Shape theory
di: Dydak, Jerzy
Pubblicazione: (1978)

Ergodic theory
Pubblicazione: (1979)

Optimal control theory for the damping of vibrations of simple elastic systems
di: Komkov, Vadim
Pubblicazione: (1972)

Theory of arithemetic functions
Pubblicazione: (1972)

Conference on group theory
Pubblicazione: (1973)

Abelian group theory
Pubblicazione: (1977)

Mathematical control theory
Pubblicazione: (1978)

Noncommutative ring theory
Pubblicazione: (1976)

Algebraic K-theory
Pubblicazione: (1976)

Theory and applications of graphs
Pubblicazione: (1978)

Theory of lie superalgebras
di: Scheunert, M
Pubblicazione: (1979)

Topological model theory
di: Flum, Jorg
Pubblicazione: (1980)

First-passage percolation on the square lattice
di: Smythe, R T
Pubblicazione: (1978)

Edgodic theory: Introductory lectures
di: Walters, Peter
Pubblicazione: (1975)

ISILC proof theory symposium
Pubblicazione: (1975)

Spectral theory and differential equations
Pubblicazione: (1975)

Topics in stability and bifurcation theory
di: Stattinger, David H
Pubblicazione: (1973)