Cargando…
Tableau systems for first order number theory and certain higher order theories
Autor principal: | Toledo, Sue |
---|---|
Lenguaje: | eng |
Publicado: |
Springer
1975
|
Materias: | |
Acceso en línea: | https://dx.doi.org/10.1007/BFb0062936 http://cds.cern.ch/record/1690891 |
Ejemplares similares
-
Beyond first order model theory
por: Iovino, José
Publicado: (2017) -
Higher order asymptotic theory for time series analysis
por: Taniguchi, Masanobu
Publicado: (1991) -
Theory of a higher-order Sturm-Liouville equation
por: Kozlov, Vladimir, et al.
Publicado: (1997) -
The theory of lattice-ordered groups
por: Kopytov, V M, et al.
Publicado: (1994) -
Theory of groups of finite order
por: Burnside, W S
Publicado: (1955)