Formální logika
| Field | Ind | Field content |
| leader | -----nam-a22------a-4500 | |
| 1 | kpw5192981 | |
| 3 | CZ-OsVSB | |
| 5 | 20210822084558.5 | |
| 8 | 020206|n|anznnbabn#############a|a###### | |
| 150 | $a Formální logika | |
| 550 | $a Matematická logika | |
| 550 | $a Logika $w g | |
| 550 | $a Výroková logika $w h | |
| 1090 | $a 2002/02/06 $b 2003/11/14 $c OSD 002/S1T80 $d OSD 002/S1T80 |