ISILC - Proof Theory Symposion

Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

Häftad, Engelska, 1976

Av J. Diller, G.H. Müller, G. H. Müller, G. H. Mller

509 kr

Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

  • Utgivningsdatum1976-01-01
  • Mått216 x 279 x 22 mm
  • Vikt598 g
  • FormatHäftad
  • SpråkEngelska, Tyska
  • SerieLecture Notes in Mathematics
  • Antal sidor390
  • FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • ISBN9783540075332

Tillhör följande kategorier

Du kanske också är intresserad av

Decidable Theories

Decidable Theories

J.R. Büchi, D. Siefkes, J. R. Büchi, G.H. Müller, D. Siefkes, G. H. Müller

579 kr

Logic Symposia, Hakone, 1979, 1980

Logic Symposia, Hakone, 1979, 1980

G.H. Müller, G. Takeuti, T. Tugue, G. H. Müller

579 kr

ISILC - Logic Conference
Del 499

ISILC - Logic Conference

G. H. Müller, A. Oberschelp, K. Potthoff, G. H. Mller

719 kr

Higher Set Theory

Higher Set Theory

G.H. Müller, D.S. Scott, G. H. Müller, D. S. Scott

719 kr

Study of Time

Study of Time

J. T. Fraser, F. C. Haber, G. H. Müller

1 419 kr

Intermezzo (svensk utgåva)
  • Nyhet

Intermezzo (svensk utgåva)

Sally Rooney

79 kr125 kr

Kvinnorna

Kvinnorna

Kristin Hannah

125 kr

Ö
  • Nyhet

Ö

Sara Bergmark Elfgren

79 kr125 kr

Klanen
  • Nyhet
Del 1

Klanen

Pascal Engman

259 kr299 kr

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983
Del 1103

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983

G. H. Müller, M. M. Richter

649 kr