Cambridge Logic

Information Flow: The Logic of Distributed Systems  eBooks & eLearning

Posted by leonardo78 at Sept. 17, 2016
Information Flow: The Logic of Distributed Systems

Information Flow: The Logic of Distributed Systems by Jon Barwise, Jerry Seligman
Publisher: Cambridge University Press | 1997 | ISBN: 0521583861 | 292 pages | PDF | 4,5 MB

Information is a central topic in computer science, cognitive science, and philosophy. In spite of its importance in the "information age," there is no consensus on what information is, what makes it possible, and what it means for one medium to carry information about another.

The Cambridge Companion to Medieval Logic  eBooks & eLearning

Posted by roxul at Sept. 13, 2016
The Cambridge Companion to Medieval Logic

Dr Catarina Dutilh Novaes, "The Cambridge Companion to Medieval Logic"
English | ISBN: 1107656672, 1107062314 | 2017 | 463 pages | PDF | 1 MB

Cambridge Summer School in Mathematical Logic  

Posted by ChrisRedfield at Dec. 26, 2015
Cambridge Summer School in Mathematical Logic

A. R. D. Mathias, H. Rogers - Cambridge Summer School in Mathematical Logic
Published: 1973-10-20 | ISBN: 354005569X, 038705569X | PDF + DJVU | 664 pages | 31.9 MB
Topology via Logic (Cambridge Tracts in Theoretical Computer Science) by Steven Vickers

Topology via Logic (Cambridge Tracts in Theoretical Computer Science) by Steven Vickers
English | June 30, 1989 | ISBN: 0521360625 | 211 Pages | PDF | 49 MB

This advanced textbook on topology has three unusual features. First, the introduction is from the locale viewpoint, motivated by the logic of finite observations: this provides a more direct approach than the traditional one based on abstracting properties of open sets in the real line.
Lectures in Logic and Set Theory, Volume 2: Set Theory (Cambridge Studies) (Repost)

Lectures in Logic and Set Theory, Volume 2: Set Theory (Cambridge Studies in Advanced Mathematics) by George Tourlakis
English | 2003 | ISBN: 0521753740 | 592 Pages | PDF | 11 MB

Volume II, on formal (ZFC) set theory, incorporates a self-contained "chapter 0" on proof techniques so that it is based on formal logic, in the style of Bourbaki.
The Cambridge Companion to Abelard (Cambridge Companions to Philosophy) by Jeffrey E. Brower

The Cambridge Companion to Abelard (Cambridge Companions to Philosophy) by Jeffrey E. Brower
Cambridge University Press | March 29, 2004 | English | ISBN: 0521775965 | 325 pages | PDF | 3 MB

Although best known for his views about universals and his dramatic love affair with Heloise, Peter Abelard (1079-1142) also made important contributions in metaphysics, logic, philosophy of language, mind and cognition, philosophical theology, ethics, and literature. The essays in this volume survey the complete range of Abelard's thought by examining his overall achievement in its intellectual and historical context. They also trace Abelard's influence on later thought and his relevance to contemporary philosophical debate.
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics) by J. Lambek

Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics) by J. Lambek
Cambridge University Press | March 25, 1988 | English | ISBN: 0521356539 | 301 pages | PDF | 32 MB

In this volume, Lambek and Scott reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. In Part I, they show that typed lambda-calculi, a formulation of higher-order logic, and cartesian closed categories, are essentially the same.

The Cambridge Companion to Frege (repost)  

Posted by interes at Nov. 11, 2013
The Cambridge Companion to Frege (repost)

Tom Ricketts, "The Cambridge Companion to Frege (Cambridge Companions to Philosophy)"
English | 2010-10-18 | ISBN: 0521624797 | 660 pages | PDF | 3.2 mb

Gottlob Frege (1848-1925) was unquestionably one of the most important philosophers of all time. He trained as a mathematician, and his work in philosophy started as an attempt to provide an explanation of the truths of arithmetic, but in the course of this attempt he not only founded modern logic but also had to address fundamental questions in the philosophy of language and philosophical logic.

Constraint Logic Programming using Eclipse (repost)  

Posted by sandhu1 at Jan. 2, 2012
Constraint Logic Programming using Eclipse (repost)

Constraint Logic Programming using Eclipse
Cambridge University Press; 1 edition | January 15, 2007 | ISBN-10: 0521866286 | 348 pages | PDF | 1.5 Mb

Constraint logic programming lies at the intersection of logic programming, optimisation and artificial intelligence. It has proved a successful tool in many areas including production planning, transportation scheduling, numerical analysis and bioinformatics.

The Cambridge Companion to Hegel (repost)  

Posted by loverka at Oct. 6, 2010
The Cambridge Companion to Hegel (repost)

The Cambridge Companion to Hegel
Cambridge University Press | 1993-01-29 | 528 pages | ISBN: 0521387116 | PDF | 28,1 MB

This volume considers all the major aspects of Hegel's work: epistemology, logic, ethics, political philosophy, aesthetics, philosophy of history, philosophy of religion. Special attention is devoted to problems in the interpretation of Hegel: the unity of the Phenomenology of Spirit; the value of the dialectical method; the status of his logic; the nature of his politics. A final group of chapters treats Hegel's complex historical legacy: the development of Hegelianism and its growth into a left and right wing school; the relation of Hegel and Marx; and the subtle connections between Hegel and contemporary analytic philosophy.