Skip to main content
Swap Used Books - Buy New Books at Great Prices!
How To Swap Books
Sign Up
Search 
Kiosk
PBS Market (New Books)
Book Browser
Advanced Search
Books Posted Today
Member Book Reviews
Award Winning Books
NYT Best Sellers
Amazon Best Sellers
Most Traveled Copies
Club Wish List
Login
Community
Discussion Forums
Book Lists
Donations
Box-O-Books
Maps
The Eclectic Pen
Fun Stuff
Top 100
Pulse of PBS
Spread The Word
Photo Gallery
Recipes
Club Tag Cloud
Member Testimonials
Help Center
Kiosk
PBS Market (New Books)
Go Shopping
Buy Credits
Buy PBS Money
Upgrade Membership
Gift Certificates
Transfer Credits
Search -
Logique mathématique, tome 1 : Calcul propositionnel, algèbres de Boole, calcul des prédicats
Logique mathmatique tome 1 Calcul propositionnel algbres de Boole calcul des prdicats
Author:
Dans ce premier tome, les auteurs présentent successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. Sommaire : Calcul propositionnel : Syntaxe, Sémantique, Formes normales, systèmes complets de connecteurs, Lemme d'interpolation, etc.; Algèbres de Boole : Rappels d'algèbre et d... more »
Author:
Dans ce premier tome, les auteurs présentent successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. Sommaire : Calcul propositionnel : Syntaxe, Sémantique, Formes normales, systèmes complets de connecteurs, Lemme d'interpolation, etc.; Algèbres de Boole : Rappels d'algèbre et d... more »
ISBN-13: 9782100054527
ISBN-10: 210005452X
Publication Date: 1/15/2003
Pages: 408
Rating: ?
ISBN-10: 210005452X
Publication Date: 1/15/2003
Pages: 408
Rating: ?
0 stars, based on 0 rating
