Symbolic Logic (eBook, PDF)

Symbolic Logic (eBook, PDF)

Versandkostenfrei!
Sofort per Download lieferbar
44,95 €
inkl. MwSt.
Alle Infos zum eBook verschenken
Weitere Ausgaben:
PAYBACK Punkte
22 °P sammeln!
This book provides a comprehensive introduction to the essential elements of standard (classical) symbolic logic. Key topics covered include:· The characteristic nature and scope of logic as a discipline· The construction of a series of distinctly named formal languages suitable for formal translation· Semantic models· The construction of decision procedures· The execution of proof-theoretic arrangements like natural deduction and proof-sequent systemsThe book covers both the semantics and proof theory of the standard sentential (propositional) logic and predicate (first-order) logic. Oth...

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.