Number of the records: 1
terminal axioms
SYS 0106825 LBL 00107nx^^^22000613^^450 005 20170814110905.8 250 $a terminal axioms 450 $7 ba $5 z
Number of the records: 1
| SYS | 0106825 | |
|---|---|---|
| LBL | 00107nx^^^22000613^^450 | |
| 005 | 20170814110905.8 | |
| 250 | $a terminal axioms | |
| 450 | $7 ba $5 z |