Posted by **phidhahoogaya** at June 8, 2011

McGraw-Hill Science | June 1, 1953 | ISBN-10: 007043316X | 997 pages | DJVU | 12.19 MB

The classic text, still excellent, tho' somewhat dated. Well worth having because (a) the physical viewpoint is helpful for theorists and easier for experimentalists, (b) the older viewpoint is different from that of more modern texts, and still

Posted by **step778** at May 15, 2018

2000 | pages: 451 | ISBN: 0471494631 | DJVU | 5,6 mb

Posted by **step778** at May 24, 2018

2007 | pages: 411 | ISBN: 1584888784 | PDF | 3,1 mb

Posted by **AvaxGenius** at May 21, 2018

English | PDF(Repost),EPUB | 2014 | 528 Pages | ISBN : 331904155X | 14.39 MB

This book presents a novel approach to database concepts, describing a categorical logic for database schema mapping based on views, within a framework for database integration/exchange and peer-to-peer. Database mappings, database programming languages, and denotational and operational semantics are discussed in depth. An analysis method is also developed that combines techniques from second order logic, data modeling, co-algebras and functorial categorial semantics.

Posted by **AvaxGenius** at May 20, 2018

English | PDF,EPUB | 2011 | 286 Pages | ISBN : 9400703198 | 8.94 MB

This book on methods of cut-elimination contains a thorough and rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes a detailed complexity analysis and comparison of CERES and of reductive methods. It presents several applications of CERES—to interpolation, fast cut-elimination, generalization of proofs and to the analysis of mathematical proofs. Finally, it provides an extension of CERES to non-classical logics, in particular to finitely-valued logics and to Gödel logic.

Posted by **AvaxGenius** at May 19, 2018

English | PDF,EPUB | 2018 | 317 Pages | ISBN : 1137596503 | 3.42 MB

Outline of Theoretical Psychology discusses basic philosophical problems in the discipline and profession of psychology. The author addresses such topics as what it means to be human in psychology; how psychological knowledge is possible and what it consists of; the role of social justice in psychology; and how aesthetic experience could help us to understand the human condition.

Posted by **step778** at May 16, 2018

2005 | pages: 938 | ISBN: 9067644277 | PDF | 3,2 mb

Posted by **AvaxGenius** at May 12, 2018

English | EPUB | 2018 | 317 Pages | ISBN : 1137596503 | 0.7 MB

Outline of Theoretical Psychology discusses basic philosophical problems in the discipline and profession of psychology. The author addresses such topics as what it means to be human in psychology; how psychological knowledge is possible and what it consists of; the role of social justice in psychology; and how aesthetic experience could help us to understand the human condition.

Posted by **step778** at May 11, 2018

2004 | pages: 360 | ISBN: 1591022010 | PDF | 21,2 mb

Posted by **AvaxGenius** at May 11, 2018

English | PDF,EPUB | 2011 | 286 Pages | ISBN : 9400703198 | 8.94 MB

This book on methods of cut-elimination contains a thorough and rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes a detailed complexity analysis and comparison of CERES and of reductive methods. It presents several applications of CERES—to interpolation, fast cut-elimination, generalization of proofs and to the analysis of mathematical proofs. Finally, it provides an extension of CERES to non-classical logics, in particular to finitely-valued logics and to Gödel logic.