Rautenberg W. A Concise Introduction to Mathematical Logic 3ed 2009
Download Torrent
Opens in your torrent client (e.g. qBittorrent)
Health
Dead0/0
Info Hash76F9A094BDAA41167D543213D4188B37E1016842
Peers Updated9 hours ago (2026-05-13 08:34:11)
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