Proofs and refutations The logic of mathematical discovery / by Imre Lakatos
By: Lakatos, Imre.
Contributor(s): Worrall, John.
Material type:
BookPublisher: Cambridge Cambridge University Press 2015Description: 183 p. 23cm.ISBN: 9781107534056.Subject(s): Mathematical(Symbolic) logic | Mathematics | Mathematics�Philosophy | Maths-StatisticsDDC classification: 511.36
| Item type | Current location | Home library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Books
|
Central Library IIIT Vadodara | Central Library IIIT Vadodara | 511.36 LAK (Browse shelf) | Available | 000331 |
Total holds: 0
Browsing Central Library IIIT Vadodara Shelves Close shelf browser
| 511.352 SIN Elements of computation theory | 511.352 SIN Elements of computation theory | 511.352 WEB Computability theory | 511.36 LAK Proofs and refutations | 511.36028563 FRI The Little Prover | 511.36028563 GAL Logic for computer science | 511.36028563 GAL Logic for computer science | Foundations of automatic theorem proving | Jean H. Gallier |
English
There are no comments for this item.