Akten

From foundations to science. Justifying and unwinding proofs

zu Verbundenen Objekten

Enthält: einen Sonderdruck und das zugehörige Zeitschriftenheft des Artikels "From foundations to science. Justifying and unwinding proofs" aus: Set theory : foundations of mathematics ; proceedings of the symposium held in Belgrade 1977, Belgrad 1977

Archivaliensignatur
PAKN, GK Georg Kreisel, GK 8-1-102
Umfang
1 Sonderdruck, 1 Zeitschriftenheft

Kontext
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
Bestand
PAKN, GK Georg Kreisel

Laufzeit
1977

Weitere Objektseiten
Objekt im "Archivportal-D" anzeigen
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.
Original beim Datenpartner anzeigen

Objekttyp

  • Sachakte

Entstanden

  • 1977

Ähnliche Objekte (12)

Foundations for natural proofs and quantifier instantiation

Foundations for natural proofs and quantifier instantiation

Proofs from the book

Beispielsammlung

Proofs from the book

Proofs from the book

Beispielsammlung

Proofs from the book

Proofs from The Book

Beispielsammlung

Proofs from The Book

Proofs from the book

Beispielsammlung

Proofs from the book

Proofs from The Book

Beispielsammlung

Proofs from The Book

Proofs from the book

Beispielsammlung

Proofs from the book

Projective geometry : from foundations to applications

Projective geometry : from foundations to applications

Foundations of sensory science

Foundations of sensory science

A functional language to construct proofs

A functional language to construct proofs

Introduction to mathematical structures and proofs

Lehrbuch

Introduction to mathematical structures and proofs

Reusing Proofs

Reusing Proofs

Verbundene Objekte