Proof and disproof in formal logic : an introduction for programmers

Proof and disproof in formal logic an introduction for programmers

BasicsFormal proof -- Disproof -- Proof of programs.

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Bornat, Richard (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Oxford u.a. Oxford Univ. Press 2005
Schriftenreihe:Oxford texts in logic 2
Schlagworte:
Evidence > Logic, Modern > Lehrbuch > Mathematische Logik > Formale Semantik
Online Zugang:Inhaltsverzeichnis
Verlagsangaben
Inhaltstext
Table of contents
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:BasicsFormal proof -- Disproof -- Proof of programs.
Beschreibung:Literaturverz
Beschreibung:XIX, 243 S
graph. Darst
ISBN:9780198530268
978-0-19-853026-8
9780198530275
978-0-19-853027-5
0198530269
0-19-853026-9
0198530277
0-19-853027-7