@misc{Greniewski_Marek_J._Informatyka,
 author={Greniewski, Marek J.},
 howpublished={online},
 publisher={Greniewski Marek J.},
 language={pol},
 title={Informatyka a logika formalna– wraz z podstawami walidacji programów komputerowych},
 type={książka},
 keywords={Big Data, hardware, informatyka, język SQL, kodowanie informacji, kryptografia, logika, logika formalna, maszyna logiczna, Maszyna Turinga, notacja Z, programowanie w języku C, sieci komputerowe, walidacja},
}