Author: Diller, Justus and G. H. Müller (Edts.):
Title: ISILC Proof Theory Symposion. Dedicated to Kurt Schütte on the Occasion of Hhis 65. Birthday ; Proceedings of the Internat. Summer Inst. and Logic Colloquium, Kiel 1974. (=Lecture Notes in Mathematics ; Vol. 500).
Description: Berlin, Springer 1975. VIII, 383 S.; Ill. Paperback Good condition. Free shipping within Germany. Shipping costs to EU-countries: 9.50 EUR, to non-EU-countries: 15.00 EUR.

Keywords: Kurt Schütte, Beweistheorie ; Festschrift ; Mathematikwissenschaft, Mathematik ISBN: 9783540075332


See more books from our catalog: Mathematik