Hoppa till sidans huvudinnehåll

Decidable Theories

Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic

Häftad, Engelska, 1970

AvDirk Siefkes,Gert H. Müller

349 kr

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


Produktinformation

  • Utgivningsdatum1970-01-01
  • Mått155 x 235 x 9 mm
  • Vikt230 g
  • FormatHäftad
  • SpråkEngelska
  • SerieLecture Notes in Mathematics
  • Antal sidor134
  • FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • ISBN9783540049098

Tillhör följande kategorier

Hoppa över listan

Mer från samma författare

Sichtweisen der Informatik

Wolfgang Coy, Frieder Nake, Jörg-Martin Pflüger, Arno Rolf, Jürgen Seetzen, Dirk Siefkes, Reinhard Stransfeld

Häftad

849 kr

Hoppa över listan

Mer från samma serie

Del 1660

Viscosity Solutions and Applications

Martino Bardi, Michael G. Crandall, Lawrence C. Evans, Halil M. Soner, Panagiotis E. Souganidis, Italo Capuzzo Dolcetta, Pierre Lions

Häftad

699 kr

Hoppa över listan

Du kanske också är intresserad av

Sichtweisen der Informatik

Wolfgang Coy, Frieder Nake, Jörg-Martin Pflüger, Arno Rolf, Jürgen Seetzen, Dirk Siefkes, Reinhard Stransfeld

Häftad

849 kr