Bokus
W. Thomas, B. Schinzel, W. Oberschelp, E. Borger, M. M. Richter - Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983, E-bok

E-bok, Engelska, 2006

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

Part 2: Computation and Proof Theory

Av W. Thomas, B. Schinzel, W. Oberschelp, E. Borger, M. M. Richter

542 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

Beskrivning
Produktinformation
  • Utgivningsdatum: 2006-12-08
  • Språk: Engelska
  • Filformat: PDF
  • Kopieringsskydd: LCP
  • ISBN: 9783540391197
  • Förlag: Springer Berlin Heidelberg
Utforska kategorier
Betyg & recensioner

0 recensioner

Inga recensioner tillgängliga.