Gå direkt till innehållet
Computational Logic
Spara

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.
Upplaga
Softcover reprint of the original 1st ed. 1999
ISBN
9783642636707
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
29.10.2012
Sidor
448