Home Newsletter
News Books
Welcome to FreeScience.info Language/Lingua
Books
of
Computer Science
· Book News
· Most clicked
· Least clicked
· Books Index
· Search on Amazon

Search for a Book
HELP US TO HELP YOU
Add a new Book


Mathematics Logic

Computer Science -> Mathematics LogicSearch on Amazon

Related topics
Mathematics -> ... -> Logic


Logic for Computer Science: Foundations of Automatic Theorem Proving
Author: Jean Gallier  Language:
This book is intended as an introduction to mathematical logic, with an emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically. Since the main emphasis o . . . . .
Logica Matematica
Author:   Language:
Buone dispense del corso di Logica Matematica della laurea in informatica.
A Second Course in Logic
Author: Christopher Gauker  Language:
Contents: Introduction; First-order Validity; The Soundness Theorem for First-order Logic; The Completeness Theorem for Truth-functional Logic; The Completeness Theorem for First-order Logic; Prelimin . . . . .
Logic and Proof
Author: Paulson  Language:
Contents: 1 Introduction and Learning Guide 2 Propositional Logic 3 Proof Systems for Propositional Logic 4 Ordered Binary Decision Diagrams 5 First-order Logic 6 Formal Reasoning in First-Order . . . . .

Add a new book
Home |  Authors | About | Contact Us |  Email 
 Copyright © 2002-2013 FreeScience.info. 

Best viewed with Mozilla 1.X 1024x768
free scientific books