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 -...
Birkhauser
Ez a tankönyv részletes bevezetést nyújt a...
Sorozatok és fák: Bevezetés a propozicionális szekvencia-számítások elméletébe és alkalmazásaiba - Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi
<<
1
>>

© Book1 Group - minden jog fenntartva.
Az oldal tartalma sem részben, sem egészben nem másolható és nem használható fel a tulajdonos írásos engedélye nélkül.
Utolsó módosítás időpontja: 2024.11.13 21:05 (GMT)