My Account | Home| Bulletin Board| Cart | Help
Close Session
IISER-KIndian Institute of Science Education & Research - Kolkata
SEARCHES : Browse | Advanced | External Databases | Close Session
Quick Search
Search Terms:
All Documents
Books
Newspapers
Periodicals
Articles
Theses
E-Books
Database : IISERK
Set Session Filters
Login to ask the library to add a book.
Active Filter Settings
No Active Filters
There are 0 titles in your cart.
Search History
Recommended Reading
You searched IISERK - Title: Proof and disproof in formal logic : an introduction for programmers / Richard Bornat.
Bib Hit Count Scan Term
1   Proof and disproof in formal logic : an introduction for programmers / Richard Bornat.
1   Proof complexity / Jan Krajíček.
1   Proof in geometry / by A.I. Fetisov. With Mistakes in geometric proofs / by Ya. S. Dubnov.
1   The Proof is in the Pudding [electronic resource] : The Changing Nature of Mathematical Proof / by Steven G. Krantz.
1   A proof of Alon's second eigenvalue conjecture and related problems / Joel Friedman.
1   Proof of the 1-factorization and Hamilton decomposition conjectures
1   Proof of the 1-factorization and Hamilton decomposition conjectures / Béla Csaba [and four others].
1   A proof of the q-Macdonald-Morris conjecture for BCn / Kevin W.J. Kadell.
1   Proof Patterns [electronic resource] / by Mark Joshi.
1   Proof theory / Kurt Schütte ; translation from the German by J. N. Crossley.

« 30 « 20 « 10 « Back  |  Forward » 10 » 20 » 30 »

Browse Search

Words:
Search Type:
Database: IISERK

Set Session Filters
Copyright © 2014 VTLS Inc. All rights reserved.
VTLS.com