Carregant...

Codi QR

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

Dades bibliogràfiques
Autor principal:	Toledo, Sue
Format:	Printed Book
Publicat:	Springer-Verlag, Berlin 1975
Col·lecció:	Lecture Notes in Mathematics, No.0447
Matèries:	Lecture Notes in Mathematics

Ítems similars

First order categorical logic
per: Makkai, Michael
Publicat: (1977)

Higher order contact of submanifolds of homogeneous spaces
per: Jensen, Gary R
Publicat: (1977)

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

Number theory day
Publicat: (1977)

Barrelledness in topological and ordered vector spaces
per: Hussain, T
Publicat: (1978)

Higher K-theories
Publicat: (1973)

Higher K-theories
Publicat: (1973)

Number theory carbondale 1979
Publicat: (1979)

Orderable groups
per: Mura, Roberta Botto
Publicat: (1977)

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

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

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

Lectures on transcendental numbers
per: Mahler, Kurt
Publicat: (1976)

Computations in higher types
per: Moldestad, Johan
Publicat: (1977)

Representations of real numbers by infinite series
per: Galambos, Janos
Publicat: (1976)

Genus fields of algebraic number fields
per: Ishida, Makoto
Publicat: (1976)

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

Oscillation theory
per: Kreith, Kurt
Publicat: (1973)

Potential theory
per: Wermer, John
Publicat: (1974)

Category theory
per: Carboni, A, et al
Publicat: (1991)

Obstruction theory
per: Baues, Hans J
Publicat: (1977)

Knot theory
Publicat: (1978)

Theorie ergodique
Publicat: (1976)

Shape theory
per: Dydak, Jerzy
Publicat: (1978)

Ergodic theory
Publicat: (1979)

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

Theory of arithemetic functions
Publicat: (1972)

Conference on group theory
Publicat: (1973)

Abelian group theory
Publicat: (1977)

Mathematical control theory
Publicat: (1978)

Noncommutative ring theory
Publicat: (1976)

Algebraic K-theory
Publicat: (1976)

Theory and applications of graphs
Publicat: (1978)

Theory of lie superalgebras
per: Scheunert, M
Publicat: (1979)

Topological model theory
per: Flum, Jorg
Publicat: (1980)

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

Edgodic theory: Introductory lectures
per: Walters, Peter
Publicat: (1975)

ISILC proof theory symposium
Publicat: (1975)

Spectral theory and differential equations
Publicat: (1975)

Topics in stability and bifurcation theory
per: Stattinger, David H
Publicat: (1973)