Rautenberg W. A Concise Introduction to Mathematical Logic 3ed 2009
Download Torrent
Opens in your torrent client (e.g. qBittorrent)
Health
Dead0/2
Info Hash76F9A094BDAA41167D543213D4188B37E1016842
Peers Updated11 hours ago (2026-03-23 23:43:54)
Description
Textbook in PDF format
Notation
Propositional Logic
First-Order Logic
Complete Logical Calculi
Foundations of Logic Programming
Elements of Model Theory
Incompleteness and Undecidability
On the Theory of Self-Reference
Index of Terms and Names
Index of Symbols