Andrzej Indrzejczak szerző bemutatása:

Andrzej Indrzejczak szerző eddig megjelent könyvei:

Sorozatok és fák: Bevezetés a propozicionális szekvencia-számítások elméletébe és alkalmazásaiba -...

Ez a tankönyv részletes bevezetést nyújt a...