332 126 2MB
English Pages 338 Year 1996
Report DMCA / Copyright
DOWNLOAD DJVU FILE
"Logic for Computer Science" provides an introduction to mathematical logic, with emphasis on proof theory and
422 31 3MB Read more
Addresses the formal verification of smart grids using interactive theorem proving Assesses energy systems cost-effectiv
234 8 2MB Read more
230 36 6MB Read more
A collection of essays centered around mathematical mechanization, dealing with mathematics in an algorithmic and constr
339 83 4MB Read more
177 4 1018KB Read more
123 73 3MB Read more
375 94 1MB Read more
This volume is the proceedings of the 13th International Conference on Theo rem Proving in Higher Order Logics (TPHOLs
99 8 30MB Read more
George Boolos was one of the most prominent and influential logician-philosophers of recent times. This collection, near
168 15 16MB Read more
193 8 71MB Read more