Proof and computation
: [proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20 - August 1, 1993] / ed. by Helmut Schwichtenberg. Publ. in cooperation with NATO Scientific Affairs Division. - Berlin : Springer, 1995. - 470 S. : graph. Darst.; 24 cm - (NATO ASI series : Series F, Computer and systems sciences; Vol. 139)
ISBN 978-3-540-58581-7 / 3-540-58581-8 Pp. : DM 155.00
Literaturangaben
Quelle: DNB
Pohlers, Wolfram: Proof theory
: an introduction / Wolfram Pohlers. - 2. printing - Berlin : Springer, 1994. - VIII, 213 S.; 24 cm - (Lecture notes in mathematics; 1407)
ISBN 978-3-540-51842-6 / 3-540-51842-8 kart. : DM 37.00
Literaturverz. S. 190 - 207
Quelle: DNB
Pohlers, Wolfram: Proof theory
: the first step into impredicativity / Wolfram Pohlers. - Berlin : Springer, 2009. - XIII, 370 S. : graph. Darst.; 24 cm - (Universitext)
ISBN 978-3-540-69318-5 kart. : EUR 42.75 (freier Pr.), sfr 70.00 (freier Pr.)
Literaturverz. S. 357 - 361
Quelle: DNB Verlagsmeldungen
Proof theory
: the first step into impredicativity / Wolfram Pohlers. - Berlin : Springer, 2008. - Online-Ressource - (Universitext)
ISBN 978-3-540-69319-2
Lizenzpflichtig
Quelle: DNB
Proof theory in computer science
: international seminar ; proceedings / PTCS 2001, Dagstuhl Castle, Germany, October 7 - 12, 2001. R. Kahle ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2183)
ISBN 978-3-540-45504-2
Lizenzpflichtig
Quelle: DNB
[Types for proofs and programs]
: [international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003] / [Stefano Berardi ... (ed.)]. - [Berlin : [Springer], 2004. - Online-Ressource - ([Lecture notes in computer science]; [3085])
ISBN 978-3-540-24849-1
Titel aus Metadaten. - Lizenzpflichtig
Quelle: DNB
Types for proofs and programs
: international workshop ; types '99, Lökeberg, Sweden, June 12 - 16, 1999 ; selected papers / Thierry Coquand ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1956)
ISBN 978-3-540-44557-9
Lizenzpflichtig
Quelle: DNB
Types for proofs and programs
: international workshop, TYPES 2000, Durham, UK, December 8 - 12, 2000 ; selected papers / P. Callaghan ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2277)
ISBN 978-3-540-45842-5
Lizenzpflichtig
Quelle: DNB
Types for proofs and programs
: international workshop ; types '98, Kloster Irsee, Germany, March 1998 ; selected papers / T. Altenkirch ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1657)
ISBN 978-3-540-48167-6
Lizenzpflichtig
Quelle: DNB
Types for proofs and programs
: international conference, types 2007, Cividale del Friuli, Italy, May 2 - 5, 2007 ; revised selected papers / Marino Miculan ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4941)
ISBN 978-3-540-68103-8
Lizenzpflichtig
Quelle: DNB
