Á lódáil...

QR Code

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

Sonraí Bibleagrafaíochta
Príomhúdar:	Toledo, Sue
Formáid:	Printed Book
Foilsithe:	Springer-Verlag, Berlin 1975
Sraith:	Lecture Notes in Mathematics, No.0447
Ábhair:	Lecture Notes in Mathematics

Míreanna Comhchosúla

First order categorical logic
le: Makkai, Michael
Foilsithe: (1977)

Higher order contact of submanifolds of homogeneous spaces
le: Jensen, Gary R
Foilsithe: (1977)

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

Number theory day
Foilsithe: (1977)

Barrelledness in topological and ordered vector spaces
le: Hussain, T
Foilsithe: (1978)

Higher K-theories
Foilsithe: (1973)

Higher K-theories
Foilsithe: (1973)

Number theory carbondale 1979
Foilsithe: (1979)

Orderable groups
le: Mura, Roberta Botto
Foilsithe: (1977)

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

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

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

Lectures on transcendental numbers
le: Mahler, Kurt
Foilsithe: (1976)

Computations in higher types
le: Moldestad, Johan
Foilsithe: (1977)

Representations of real numbers by infinite series
le: Galambos, Janos
Foilsithe: (1976)

Genus fields of algebraic number fields
le: Ishida, Makoto
Foilsithe: (1976)

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

Oscillation theory
le: Kreith, Kurt
Foilsithe: (1973)

Potential theory
le: Wermer, John
Foilsithe: (1974)

Category theory
le: Carboni, A, et al
Foilsithe: (1991)

Obstruction theory
le: Baues, Hans J
Foilsithe: (1977)

Knot theory
Foilsithe: (1978)

Theorie ergodique
Foilsithe: (1976)

Shape theory
le: Dydak, Jerzy
Foilsithe: (1978)

Ergodic theory
Foilsithe: (1979)

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

Theory of arithemetic functions
Foilsithe: (1972)

Conference on group theory
Foilsithe: (1973)

Abelian group theory
Foilsithe: (1977)

Mathematical control theory
Foilsithe: (1978)

Noncommutative ring theory
Foilsithe: (1976)

Algebraic K-theory
Foilsithe: (1976)

Theory and applications of graphs
Foilsithe: (1978)

Theory of lie superalgebras
le: Scheunert, M
Foilsithe: (1979)

Topological model theory
le: Flum, Jorg
Foilsithe: (1980)

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

Edgodic theory: Introductory lectures
le: Walters, Peter
Foilsithe: (1975)

ISILC proof theory symposium
Foilsithe: (1975)

Spectral theory and differential equations
Foilsithe: (1975)

Topics in stability and bifurcation theory
le: Stattinger, David H
Foilsithe: (1973)