Siirry suoraan sisältöön
Computational Logic
Tallenna

Computational Logic

Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously.
Painos
Softcover reprint of the original 1st ed. 1999
ISBN
9783642636707
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
29.10.2012
Sivumäärä
448