Proof and computation: proceedings of the NATO Advanced Study Institute on Proof and Computation, he… - SLUB Dresden

Media type: Book; Conference Proceedings
Title: Proof and computation : [proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20 - August 1, 1993]
Contributor: Schwichtenberg, Helmut [Editor]
Event: Advanced Study Institute on Proof and Computation
Published: Berlin; Heidelberg [u.a.]: Springer, 1995
Published in: NATO: NATO ASI series / F ; 139
Extent: 470 S.; graph. Darst
Language: English
ISBN: 3540585818
RVK notation: SK 130 : Logik und Grundlagen, Metamathematik,
SS 1993 : Veranstaltungsjahr 1993
SD 1993 : Veranstaltungsjahr 1993
Keywords: Beweistheorie
Berechnungstheorie
Beweistheorie
Berechnungstheorie
Origination:
Footnote: Literaturangaben

Proof and computation