Wyniki wyszukiwania:

This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically truth-functional) first order logic. Included is a complete proof, accessible to non-mathematicians, of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century.

Hunter explains concepts of mathematics and set theory along the way for the benefit of non-mathematicians. He also provides ample exercises with comprehensive answers.

The study of forensic evidence using archaeology is a new discipline which has rapidly gained importance, not only in archaeological studies but also in the investigation of real crimes. Archaeological evidence is increasingly presented in criminal cases and has helped to secure a number of convictions.
Studies in Crime surveys methods of searching for and locating buried remains, their practical recovery, the decay of human and associated death scene materials, the analysis and identification of human remains including the use of DNA, and dating the time of death.
The book...

For over 150 years, brave firefighters have battled to preserve the lives and property of the citizens of Oakland. Beginning in 1853, volunteer engine and hook and ladder companies organized and the Oakland Fire Department formed in 1869. Until 1922, teams of magnificent horses pulled steamers belching black smoke and embers, with firemen holding on for dear life. These gallant fire horses were as much firefighters as the rugged men of Oakland who extinguished blazes with leather hoses and brass nozzles. After waging an internal battle of racial integration--a 35-year struggle that began in...