Loading...

QR Code

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

Bibliografiske detaljer
Hovedforfatter:	Toledo, Sue
Format:	Printed Book
Udgivet:	Springer-Verlag, Berlin 1975
Serier:	Lecture Notes in Mathematics, No.0447
Fag:	Lecture Notes in Mathematics

Lignende værker

First order categorical logic
af: Makkai, Michael
Udgivet: (1977)

Higher order contact of submanifolds of homogeneous spaces
af: Jensen, Gary R
Udgivet: (1977)

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

Number theory day
Udgivet: (1977)

Barrelledness in topological and ordered vector spaces
af: Hussain, T
Udgivet: (1978)

Higher K-theories
Udgivet: (1973)

Higher K-theories
Udgivet: (1973)

Number theory carbondale 1979
Udgivet: (1979)

Orderable groups
af: Mura, Roberta Botto
Udgivet: (1977)

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

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

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

Lectures on transcendental numbers
af: Mahler, Kurt
Udgivet: (1976)

Computations in higher types
af: Moldestad, Johan
Udgivet: (1977)

Representations of real numbers by infinite series
af: Galambos, Janos
Udgivet: (1976)

Genus fields of algebraic number fields
af: Ishida, Makoto
Udgivet: (1976)

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

Oscillation theory
af: Kreith, Kurt
Udgivet: (1973)

Potential theory
af: Wermer, John
Udgivet: (1974)

Category theory
af: Carboni, A, et al
Udgivet: (1991)

Obstruction theory
af: Baues, Hans J
Udgivet: (1977)

Knot theory
Udgivet: (1978)

Theorie ergodique
Udgivet: (1976)

Shape theory
af: Dydak, Jerzy
Udgivet: (1978)

Ergodic theory
Udgivet: (1979)

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

Theory of arithemetic functions
Udgivet: (1972)

Conference on group theory
Udgivet: (1973)

Abelian group theory
Udgivet: (1977)

Mathematical control theory
Udgivet: (1978)

Noncommutative ring theory
Udgivet: (1976)

Algebraic K-theory
Udgivet: (1976)

Theory and applications of graphs
Udgivet: (1978)

Theory of lie superalgebras
af: Scheunert, M
Udgivet: (1979)

Topological model theory
af: Flum, Jorg
Udgivet: (1980)

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

Edgodic theory: Introductory lectures
af: Walters, Peter
Udgivet: (1975)

ISILC proof theory symposium
Udgivet: (1975)

Spectral theory and differential equations
Udgivet: (1975)

Topics in stability and bifurcation theory
af: Stattinger, David H
Udgivet: (1973)