![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 01_Introduction.ps | 1996-02-05 15:53 | 78K | |
| 01_Introduction.rtf | 1996-02-05 15:54 | 42K | |
| 02_logic_proof.ps | 1996-02-05 15:54 | 63K | |
| 02_logic_proof.rtf | 1996-02-05 15:54 | 32K | |
| 03_SETS,_RELNS,_FNS.RTF | 1996-02-05 15:54 | 43K | |
| 03_Sets,_Relns,_Fns.ps | 1996-02-05 15:54 | 90K | |
| 05_seq_induc.ps | 1996-02-05 15:55 | 43K | |
| 05_seq_induc.rtf | 1996-02-05 15:55 | 20K | |
| 09_Introduction_to_Z.ps | 1996-02-05 15:55 | 65K | |
| 09_Introduction_to_Z.rtf | 1996-02-05 15:55 | 15K | |
| 10_Reasoning_about_Z.ps | 1996-02-05 15:55 | 303K | |
| 10_Reasoning_about_Z.rtf | 1996-02-05 15:55 | 11K | |
| 11_ex_oscope.ps | 1996-02-05 15:55 | 74K | |
| 11_ex_oscope.rtf | 1996-02-05 15:55 | 8.7K | |
| 13_abst_z.ps | 1996-02-05 15:56 | 89K | |
| 13_abst_z.rtf | 1996-02-05 15:56 | 7.9K | |
| 18_csp1_proc.ps | 1996-02-05 15:56 | 84K | |
| 18_csp1_proc.rtf | 1996-02-05 15:56 | 26K | |
| 24_petri_net1.ps | 1996-02-05 15:57 | 100K | |
| 24_petri_net1.rtf | 1996-02-05 15:57 | 17K | |