Akten
Persistent and invariant formulas relative to theories of higher order
Enthält: 2 Sonderdrucke des zusammen mit Solomon Feferman publizierten Artikels "Persistent and invariant formulas relative to theories of higher order" aus Bulletin of the American Mathematical Society 72 (1966)
Feferman, Solomon; Mathematiker, Philosoph, Hochschullehrer, 1928 -
- Archivaliensignatur
-
PAKN, GK Georg Kreisel, GK 8-1-61
- Umfang
-
2 Sonderdrucke
- Kontext
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Bestand
-
PAKN, GK Georg Kreisel
- Indexbegriff Person
- Laufzeit
-
1966
- Weitere Objektseiten
- Letzte Aktualisierung
-
10.06.2025, 11:28 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Archive der Universität Konstanz. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Archive der Universität Konstanz. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Sachakte
Entstanden
- 1966
Ähnliche Objekte (12)
Higher K-theories
On the invariant index formulas for spectral boundary value problems
Higher-dimension operators in higher-dimensional field theories
The physics of higher-spin theories
On the locality of arb-invariant first-order formulas with modulo counting quantifiers
On solving real-algebraic formulas in a satisfiability-modulo-theories framework
Algebraic K-theory, 1.. Higher K-theories
Sampling and testing theories, analysis of samples : collection of formulas and tasks
Higher-order Sudakov resummation in coupled gauge theories
Persistent inefficiency in the higher education sector: Evidence from Germany
Persistent Inefficiency in the Higher Education Sector : Evidence from Germany
Holomorphic invariant theory and differential forms in higher-dimensional algebraic geometry
Higher K-theories
On the invariant index formulas for spectral boundary value problems
Higher-dimension operators in higher-dimensional field theories
The physics of higher-spin theories
On the locality of arb-invariant first-order formulas with modulo counting quantifiers
On solving real-algebraic formulas in a satisfiability-modulo-theories framework
Algebraic K-theory, 1.. Higher K-theories
Sampling and testing theories, analysis of samples : collection of formulas and tasks
Higher-order Sudakov resummation in coupled gauge theories
Persistent inefficiency in the higher education sector: Evidence from Germany
Persistent Inefficiency in the Higher Education Sector : Evidence from Germany
Holomorphic invariant theory and differential forms in higher-dimensional algebraic geometry
Higher K-theories
On the invariant index formulas for spectral boundary value problems
Higher-dimension operators in higher-dimensional field theories
The physics of higher-spin theories
On the locality of arb-invariant first-order formulas with modulo counting quantifiers
On solving real-algebraic formulas in a satisfiability-modulo-theories framework
Algebraic K-theory, 1.. Higher K-theories
Sampling and testing theories, analysis of samples : collection of formulas and tasks
Higher-order Sudakov resummation in coupled gauge theories
Persistent inefficiency in the higher education sector: Evidence from Germany
Persistent Inefficiency in the Higher Education Sector : Evidence from Germany