Sachakte

Short thoughts and short memories around the topic: generalizing (terms in) proofs and theorems

to connected objects

Enthält: handschriftlich korrigierte Kopie eines Typoskriptes

Reference number
Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 4-1-71
Extent
3 Bl.

Context
Georg Kreisel >> Salzburg-Teil >> Manuskripte >> Artikel und Memoranda
Holding
PAKN, GK Georg Kreisel

Date of creation
1994

Other object pages
Show object in "Archivportal-D"
Last update
01.03.2023, 7:50 AM CET

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.
Show original at data provider

Object type

  • Sachakte

Time of origin

  • 1994

Other Objects (12)

Computable Short Proofs

zweidimensionales bewegtes Bild

Computable Short Proofs

Thoughts to memories

Thoughts to memories

Thoughts in letters : short stories, puppet performance pieces, congratulations and more

Anthologie | Gemischte Anthologien

Thoughts in letters : short stories, puppet performance pieces, congratulations and more

SHORT

Graffiti | Streetart

SHORT

Five short shorts : American short stories

Five short shorts : American short stories

Short short stories, [Hauptbd.].. An anthology

Short short stories, [Hauptbd.].. An anthology

On M. Baaz & R. Zach, Short proofs of tautologies using the schema of equivalence (1994)

Sachakte

On M. Baaz & R. Zach, Short proofs of tautologies using the schema of equivalence (1994)

American and Canadian short short stories, [Hauptbd.].

American and Canadian short short stories, [Hauptbd.].

The best short short stories from Collier's

The best short short stories from Collier's

"SHORtEA"

Graffiti | Streetart

"SHORtEA"

TOO SHORT

Graffiti | Streetart

TOO SHORT

"SHORtEA"

Graffiti | Streetart

"SHORtEA"

Related objects