Explore Books on
calcul propositionnel

Frege's logical theory

By Robert Sternfeld

Propositional logic

By H. Kleine Büning,Hans Kleine Büning,Theodor Lettmann

Programmer avec Scheme

By Jacques Chazarain

Introduction a la specification

By Henri Habrias

Logique et fondements de l'informatique

By Richard Lassaigne

Intelligence artificielle et informatique théorique

By Jean-Marc Alliot

Category theory and computer science

By Peter Dybjer

Introduction to mathematics of satisfiability

By V. W. Marek

Category theory and computer science

By

Classical propositional operators

By Krister Segerberg