Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering 30 dages retur

Mathematical Logic For Computer Science (2nd Edition)

Af
Bog
  • Format
  • Bog, hardback
  • Engelsk
  • 256 sider

Normalpris

kr. 959,95

Medlemspris

kr. 899,95
  • Du sparer kr. 60,00
  • Fri fragt
Som medlem af Saxo Premium 20 timer køber du til medlemspris, får fri fragt og 20 timers streaming/md. i Saxo-appen. De første 7 dage er gratis for nye medlemmer, derefter koster det 99,-/md. og kan altid opsiges. Løbende medlemskab, der forudsætter betaling med kreditkort. Fortrydelsesret i medfør af Forbrugeraftaleloven. Mindstepris 0 kr. Læs mere

Beskrivelse

Mathematical logic is essentially related to computer science. This book describes the aspects of mathematical logic that are closely related to each other, including classical logic, constructive logic, and modal logic. This book is intended to attend to both the peculiarities of logical systems and the requirements of computer science.In this edition, the revisions essentially involve rewriting the proofs, increasing the explanations, and adopting new terms and notations.

Læs hele beskrivelsen
Detaljer
Størrelse og vægt
  • Vægt529 g
  • Dybde1,9 cm
  • coffee cup img
    10 cm
    book img
    15,7 cm
    23,5 cm

    Anmeldelser

    Vær den første!

    Log ind for at skrive en anmeldelse.

    Findes i disse kategorier...