The Computational Complexity of Logical Theories

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Over the last few decades, interest in white-collar crime has tended to take a back seat to "street" offenses in terms of theory and research. In response, and reflecting the rising general interest in business and middle/ upper class lawbreaking, The Criminology of White-Collar Crime brings the study of white-collar offending back into the criminology mainstream, analyzing why members of higher social strata resort to criminal activity and offering psychosocial, life course, methodological, and prevention perspectives. Leading scholars expand on the pioneering work of Edwin Sutherland, delving into the variables, situations, and cultural contexts that differentiate white-collar crime from more traditional criminal areas as well as into those that coincide with them.      This book asks not only how the study of white-collar crime can enrich our understanding of crime and justice more generally, but also how criminological advances over the last few decades can enhance our understanding of white-collar criminality. To that end, the volume brings together a distinguished group of criminologists, drawn from leaders in the study of white-collar crime as well as important scholars that have advanced criminology more generally and that turn their attention to the problem of white-collar crime for this book.

Author(s): Jeanne Ferrante, Charles W. Rackoff (auth.)
Series: Lecture Notes in Mathematics 718
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1979

Language: English
Pages: 244
City: Berlin; New York
Tags: Mathematics, general

Introduction and background....Pages 1-27
Ehrenfeucht games and decision procedures....Pages 28-46
Integer addition — An example of an Ehrenfeucht game decision procedure....Pages 47-54
Some additional upper bounds....Pages 55-127
Direct products of theories....Pages 128-147
Lower bound preliminaries....Pages 148-152
A technique for writing short formulas defining complicated properties....Pages 153-161
A lower bound on the theories of pairing functions....Pages 162-186
Some additional lower bounds....Pages 187-233