001: 79709
003: Starlibrary PMS 4.5
005: 20180430
020: ^a0-201-54429-6
066: ^ath.f
072: ^aa view of system development
082: ^a004.21
100: ^athierry scheure
240: ^afoundations of computing system development with set theory and logic
245: ^afoundations of computing system development with set theory and logic
260: ^c1994
650: ^arelation and functions
650: ^aset theory and induction