Book123

Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part I

A.C. Kakas, F. Sadri "Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part I " Springer | 2002-08-26 | ISBN: 3540439595 | 678 pages | PDF | 4,9 Mb Mirror -> Mirror ->

Science/Engineering Elementary Logic: For Software Development

Elementary Logic: For Software Development Publisher: Springer | Pages: 314 | 2008-08-11 | ISBN 1848000812 | PDF | 2 MBThe ability to reason correctly is critical to most aspects of computer science and to software development in ...

Science/Engineering Elements of Mathematical Logic: Model Theory (Studies in Logic and the Foundations of Mathematics)

G. Kreisel, J. L. Krivine, «Elements of Mathematical Logic»North-Holland Publishing Company | ISBN: 0720422655 | 1971-12 | PDF | 300 pages | 12.09 MBdownloadmirror

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming

Dov M. Gabbay, C. J. Hogger , J. A. Robinson, "Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming " Oxford University Press, USA; illustrated edition (March 5, 1998) | ISBN-10: 0198537921 | 816 ...

Encyclopedias Notions and theorems of elementary formal logic

Witold Pogorzelski, "Notions and theorems of elementary formal logic" Warsaw University-Bialystok Branch | 1994 | ISBN: 8386423102 | 525 pages | Djvu | 20,8 MB The aim of this dictionary is to give brief descriptions of the most important ...

Technical Games: Unifying Logic, Language, and Philosophy (Logic, Epistemology, and the Unity of Science)

ISBN: 140209373X Publisher: Springer Author: Ondrej MajerDescription:This volume presents mathematical game theory as an interface between logic and philosophy. It provides a discussion of various aspects of this interaction, covering new t ...