Couverture : Handbook of logic and proof techniques for computer science

Couverture : Open Library

← Fiche de l'œuvre

Handbook of logic and proof techniques for computer science

Steven George Krantz

Résumé

An elementary statement (or atomic statement) is a sentence with a subject and a verb (and sometimes an object) but no connectives (and, or, not, if-then, if-and-only-if).

Détails de l'édition

ISBN-13
9780817642204
ISBN-10
081764220X
EAN
9780817642204
Éditeur
Birkhäuser (Boston)
Date de publication
1 janvier 2002
Langue
eng
Pages
245
Dimensions
24 cm
Provenance des données
  • dimensions BnF Catalogue général · 23 juillet 2026
  • language BnF Catalogue général · 23 juillet 2026
  • page_count BnF Catalogue général · 23 juillet 2026
  • publication_date BnF Catalogue général · 23 juillet 2026
  • summary Open Library · 1 août 2026