There is no other reference work on psychology and the law, so libraries supporting curricula in this area may consider purchasing. But because this field of study is still in its infancy, and it remains to be seen whether it will grow into something major, this set is otherwise an optional purchase for most libraries.
Constructive type theory was first presented in 1970 by Swedish
logician Per Martin-Lof. Since then, it has become one of the main
approaches in the foundations of mathematics and computer science.
However, although it provides a considerable extension of the concepts
and techniques of logic, it remains relatively unknown among linguists
and philosophers.
Central Americans are one of the largest Latino population groups in the United States. Yet, Arturo Arias argues, the cultural production of Central Americans remains little known to North Americans.
This book examines the Flavian, Antonine and Severan conquests of Scotland and the fortifications along Rome's northern frontier, and it explores the archaeological remains and places them in historical context.