
Mathematical Logic for Computer Science (eBook, PDF)
PAYBACK Punkte
31 °P sammeln!
Gives a rigorous grounding in mathematical logic, using techniques that are appropriate for computer science students and less abstract than books for mathematics students
Content includes topics that are rarely used except in computer science (temporal logic, resolution)
Applications for computer science are extensively discussed after the theory is presented
Content includes topics that are rarely used except in computer science (temporal logic, resolution)
Applications for computer science are extensively discussed after the theory is presented
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.