Rautenberg W. A Concise Introduction to Mathematical Logic 3ed 2009

Download Download Torrent Opens in your torrent client (e.g. qBittorrent)
Category Other
Size0.01 kB
Added1 year ago (2025-03-10 23:38:23)
Health
Dead0/2
Info Hash76F9A094BDAA41167D543213D4188B37E1016842
Peers Updated11 hours ago (2026-03-23 23:43:54)

Report Torrent

0 / 300

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

×