Computability and logic BOOLOS George; JEFFREY Richard
Material type:
- 0 521 23479 4
- R14, M0
Item type | Current library | Home library | Call number | Status | Barcode | |
---|---|---|---|---|---|---|
![]() |
Ratan Tata Library | Ratan Tata Library | R14 M0 (Browse shelf(Opens below)) | Available | RT0720891 |
Browsing Ratan Tata Library shelves Close shelf browser (Hides shelf browser)
R14 L6/TD1 Proofs and refutations Logic of mathematical dis | R14 L7 Foundations of mathematical logic | R14 M0 Camputability and logic | R14 M0 Computability and logic | R14 M2 From axiom to dialogue A philosophical study of | R14 M3 Philosophy of mathematics Selected readings | R14 M4 Mathematical logic |
There are no comments on this title.
Log in to your account to post a comment.