MPG.eBooks - Description: Proof Theory in Computer Science

Read Now

Bibliographic Details
Main Author:	Kahle, Reinhard
Other Authors:	Schroeder-Heister, Peter, Stärk, Robert
Format:	eBook
Published:	Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2001
Series:	Lecture Notes in Computer Science
Subjects:	Artificial Intelligence Computer Science Computer Software Logic Design Logic, Symbolic And Mathematical Algorithm Analysis And Problem Complexity Artificial Intelligence (incl. Robotics) Logics And Meanings Of Programs Mathematical Logic And Formal Languages Mathematical Logic And Foundations
Online Access:	http://dx.doi.org/10.1007/3-540-45504-3?nosfx=y
Collection:	Lecture Notes in Computer Science - Collection details see MPG.ReNa

Description
Physical Description:	v. digital
ISBN:	9783540455042 978-3-540-42752-0