Akten
Some facts from the theory of proofs and some fictions from general proof theory
Enthält: 2 Sonderdrucke des Artikels "Some facts from the theory of proofs and some fictions from general proof theory" aus: Essays on mathematical and philosophical logic, hg. v. J. Hintikka, I. Niiniluoto u. E. Saarinen, Dordrecht 1978.
Einer der Sonderdrucke zeigt Anstreichungen.
- Archivaliensignatur
-
PAKN, GK Georg Kreisel, GK 8-1-103
- Umfang
-
2 Sonderdrucke
- Kontext
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Bestand
-
PAKN, GK Georg Kreisel
- Laufzeit
-
1978
- 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
- 1978
Ähnliche Objekte (12)
Some background from representation theory
Some Excerpts from the Theory of Design in Architecture
Basis facts in capital theory : some lessons from the controversy in capital theory
Non-commutative generalization of some probabilistic results from representation theory
Some application of formalized consistency proofs
Some Implications of Womanist Theory
Towards a theory of evolution strategies : some asymptotical results from the (1+,λ) theory [(1+,lambda)] theory
Accession Poland's to the EU: Some lessons from international trade theory
Accession Poland's to the EU: some lessons from international trade theory
Some economic remarks on arbitrage theory
Some reasons for generalizing recursion theory
Some aspects on coarse homotopy theory
Some background from representation theory
Some Excerpts from the Theory of Design in Architecture
Basis facts in capital theory : some lessons from the controversy in capital theory
Non-commutative generalization of some probabilistic results from representation theory
Some application of formalized consistency proofs
Some Implications of Womanist Theory
Towards a theory of evolution strategies : some asymptotical results from the (1+,λ) theory [(1+,lambda)] theory
Accession Poland's to the EU: Some lessons from international trade theory
Accession Poland's to the EU: some lessons from international trade theory
Some economic remarks on arbitrage theory
Some reasons for generalizing recursion theory
Some aspects on coarse homotopy theory
Some background from representation theory
Some Excerpts from the Theory of Design in Architecture
Basis facts in capital theory : some lessons from the controversy in capital theory
Non-commutative generalization of some probabilistic results from representation theory
Some application of formalized consistency proofs
Some Implications of Womanist Theory
Towards a theory of evolution strategies : some asymptotical results from the (1+,λ) theory [(1+,lambda)] theory
Accession Poland's to the EU: Some lessons from international trade theory
Accession Poland's to the EU: some lessons from international trade theory
Some economic remarks on arbitrage theory
Some reasons for generalizing recursion theory