Hoppa till sidans huvudinnehåll

Automated Reasoning in Higher-order Logic

Set Comprehension and Extensionality in Church's Type Theory

Häftad, Engelska, 2007

AvChad E. Brown,C. E. Brown

389 kr

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

Produktinformation

  • Utgivningsdatum2007-10-22
  • Mått156 x 234 x 29 mm
  • Vikt781 g
  • FormatHäftad
  • SpråkEngelska
  • Antal sidor564
  • FörlagCollege Publications
  • ISBN9781904987574

Tillhör följande kategorier

Hoppa över listan

Mer från samma författare

Hoppa över listan

Du kanske också är intresserad av

Del 1

Seeing Gray

C E Brown, C. E. Brown, C.E. Brown

Häftad

439 kr

Desert Passing II

H.D. Leonine, C.E. Brown, H. D. Leonine, C. E. Brown, H D Leonine, C E Brown

Inbunden

549 kr

  • Bokrea

17 juni

Alex Schulman

Inbunden

119 kr329 kr