Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Language Proof and Logic
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Language Proof and Logic

Language Proof and Logic

Text/Software Package

Jon Barwise, John Etchemendy

Parution le 22/05/2003

Résumé

Language, Proof and Logic is a complete text and software package providing a self-contained introduction to the basic concepts of logic: language, truth, argument, consequence, proof, and counterexample. The text assumes no prior study of logic and is appropriate for introductory and second courses in logic. Instructors in philosophy, computer science, and mathematics will find ample material to allow the coverage of topics specific to their disciplines.

The textbook and software an part of a single package and are not sold separately. Re-sale warning: the grading portion of the software will only function for the original user

. This package contains
  • The Language, Proof and logic textbook
  • An updated and enhanced version of the award-winning Tarski's World program, that teaches the basics of first-order logic
  • Filch, a new program that allows the creation and checking of natural deduction proofs
  • Boole, a new program that facilitates the creation of
  • Submit, an online grading facility that allows students to submit solutions to hundreds of computer-based exercises for immediate assessment
  • The complete manuscript of the text in Adobe PDF format
  • LPL Software Manual
All programs are cross-platform. There is no need to purchase separate Macintosh and Windows versions. Additional material and technical support are available cslipublications.stanford.edu/LPL.

Contents

No content available

Caractéristiques techniques

  PAPIER
Éditeur(s) CSLI
Auteur(s) Jon Barwise, John Etchemendy
Parution 22/05/2003
Format 20 x 24
Couverture Broché
Poids 1260g
Intérieur Noir et Blanc
EAN13 9781575863740
ISBN13 978-1-57586-374-0

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription