Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.
| LDR | 00700nam|a2200217#i#4500 | ||
| 001 | 1742000370051 | ||
| 003 | WA 33 | ||
| 005 | 20231206035821.0 | ||
| 008 | 091018s1976####pl#||||g#||||||||#||pol#| | ||
| 035 | %a SowaIDT9111 | ||
| 040 | %a WA 33 %c WA 33 %e PNN | ||
| 080 | %a 164.2 | ||
| 100 | 1 | %a Orłowska, Ewa. | |
| 245 | 1 | 0 | %a Systemy Herbranda dowodzenia twierdzeń rachunku predykatów / %c Ewa Orłowska. |
| 260 | %a Warszawa : %b PWN, %c 1976. | ||
| 300 | %a 25 s. ; %c 24 cm. | ||
| 504 | %a Bibliogr. | ||
| 650 | 9 | %a Logika %x zagadnienia | |
| 856 | 4 | # | %u https://opac.cbw.wp.mil.pl/site/recorddetail/1742000370051 %z Rekord w katalogu OPAC WWW biblioteki %9 LinkOPAC |
| 990 | %a Rachunek logiczny |
Anonimowy użytkownik nie może zamawiać i rezerwować dokumentów!
