2 treff

predikater
A logical approach to discrete math
David Gries, Fred B. Schneider
Bok Engelsk 1993 · Vis mer
Predicate calculus and program semantics
Edsger W. Dijkstra, Carel S. Scholten
Bok Engelsk 1990 · Vis mer