Proofs and refutations : the logic of mathematical discovery

Contributor(s):

Material type: Text

TextLanguage: English Publication details: Cambridge C U P 1976Description: xii,174pISBN:

Subject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
Item type	Current library	Call number	Status	Date due	Barcode	Item holds
Books	ISI Library, Kolkata	511.3 L192 (Browse shelf(Opens below))	Available		88651

Total holds: 0

Previous								Next
Previous	511.3 K89 Bounded arithmetic, propositional logic, and complexity theory	511.3 K95 Mathematical logic and Theoretical computer science	511.3 K95 Infinitary logic	511.3 L192 Proofs and refutations : the logic of mathematical discovery	511.3 L357 Non-classical logics,model theory,and computability : proceedings	511.3 L357 Methods of mathematical logic : procddeings	511.3 L533 Resolution calculus	Next

There are no comments on this title.

to post a comment.