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.
- Reference number
-
PAKN, GK Georg Kreisel, GK 8-1-103
- Extent
-
2 Sonderdrucke
- Context
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Holding
-
PAKN, GK Georg Kreisel
- Date of creation
-
1978
- Other object pages
- Last update
-
10.06.2025, 11:28 AM CEST
Data provider
This object is provided by:
Archive der Universität Konstanz. If you have any questions about the object, please contact the data provider.
Archive der Universität Konstanz. If you have any questions about the object, please contact the data provider.
Object type
- Sachakte
Time of origin
- 1978
Other Objects (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
Towards a theory of evolution strategies : some asymptotical results from the (1+,λ) theory [(1+,lambda)] theory
Some Implications of Womanist Theory
Some application of formalized consistency proofs
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 aspects on coarse homotopy theory
Some economic remarks on arbitrage theory
Some personal views of game 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
Towards a theory of evolution strategies : some asymptotical results from the (1+,λ) theory [(1+,lambda)] theory
Some Implications of Womanist Theory
Some application of formalized consistency proofs
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 aspects on coarse homotopy theory
Some economic remarks on arbitrage theory
Some personal views of game 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
Towards a theory of evolution strategies : some asymptotical results from the (1+,λ) theory [(1+,lambda)] theory
Some Implications of Womanist Theory
Some application of formalized consistency proofs
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 aspects on coarse homotopy theory
Some economic remarks on arbitrage theory