Lanean...

QR Kodea

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

Xehetasun bibliografikoak
Egile nagusia:	Toledo, Sue
Formatua:	Printed Book
Argitaratua:	Springer-Verlag, Berlin 1975
Saila:	Lecture Notes in Mathematics, No.0447
Gaiak:	Lecture Notes in Mathematics

Antzeko izenburuak

First order categorical logic
nork: Makkai, Michael
Argitaratua: (1977)

Higher order contact of submanifolds of homogeneous spaces
nork: Jensen, Gary R
Argitaratua: (1977)

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

Number theory day
Argitaratua: (1977)

Barrelledness in topological and ordered vector spaces
nork: Hussain, T
Argitaratua: (1978)

Higher K-theories
Argitaratua: (1973)

Higher K-theories
Argitaratua: (1973)

Number theory carbondale 1979
Argitaratua: (1979)

Orderable groups
nork: Mura, Roberta Botto
Argitaratua: (1977)

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

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

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

Lectures on transcendental numbers
nork: Mahler, Kurt
Argitaratua: (1976)

Computations in higher types
nork: Moldestad, Johan
Argitaratua: (1977)

Representations of real numbers by infinite series
nork: Galambos, Janos
Argitaratua: (1976)

Genus fields of algebraic number fields
nork: Ishida, Makoto
Argitaratua: (1976)

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

Oscillation theory
nork: Kreith, Kurt
Argitaratua: (1973)

Potential theory
nork: Wermer, John
Argitaratua: (1974)

Category theory
nork: Carboni, A, et al
Argitaratua: (1991)

Obstruction theory
nork: Baues, Hans J
Argitaratua: (1977)

Knot theory
Argitaratua: (1978)

Theorie ergodique
Argitaratua: (1976)

Shape theory
nork: Dydak, Jerzy
Argitaratua: (1978)

Ergodic theory
Argitaratua: (1979)

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

Theory of arithemetic functions
Argitaratua: (1972)

Conference on group theory
Argitaratua: (1973)

Abelian group theory
Argitaratua: (1977)

Mathematical control theory
Argitaratua: (1978)

Noncommutative ring theory
Argitaratua: (1976)

Algebraic K-theory
Argitaratua: (1976)

Theory and applications of graphs
Argitaratua: (1978)

Theory of lie superalgebras
nork: Scheunert, M
Argitaratua: (1979)

Topological model theory
nork: Flum, Jorg
Argitaratua: (1980)

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

Edgodic theory: Introductory lectures
nork: Walters, Peter
Argitaratua: (1975)

ISILC proof theory symposium
Argitaratua: (1975)

Spectral theory and differential equations
Argitaratua: (1975)

Topics in stability and bifurcation theory
nork: Stattinger, David H
Argitaratua: (1973)