Applied proof theory : proof interpretations and their use in mathematics / U. Kohlenbach.

By:

Material type: Text

TextSeries: Springer monographs in mathematicsPublication details: Berlin : Springer, c2008.Description: xix, 532 pISBN:

Subject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
Item type	Current library	Home library	Call number	Status	Date due	Barcode
Book	Dept. of Futures Studies Processing Center	Dept. of Futures Studies	511.3 KOH (Browse shelf(Opens below))	Available		DFS3899

Previous								Next
Previous	511.3 KLI Fuzzy Sets, Uncertainty And Information	511.3 KLI Fuzzy sets and fuzzy logic : theory and applications /	511.3 KLI;1 Fuzzy Sets, Uncertainty And Information	511.3 KOH Applied proof theory : proof interpretations and their use in mathematics /	511.3 LOV Three views of logic : mathematics, philosophy, and computer science /	511.3 MAR Introduction to mathematics of satisfiability /	511.3 NGU A first course in fuzzy logic /	Next

Includes bibliographical references (p. [507]-523) and index.

There are no comments on this title.

to post a comment.