SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES

Quick Search :

Web Online Public Access Catalog - Use the search options to find documents quickly
Found 3 from your keywords:
Subject : "Metamathematics"
Query took 2.23163 second(s) to complete
The Mathematics of metamathematics
Author(s) : Sikorski, Roman - Rasiowa, Helena -
Edition : 3rd ed.
Call Number : 510.1 RAS/1963
Record Detail
The logic of provability
Author(s) : Boolos, George -
Edition :
Call Number : 511.3 BOOl
Record Detail
How to prove it
Author(s) : Velleman, Daniel J. -
Edition :
Call Number : 511.3 VEL
Record Detail




Select Language

Advanced Search

Title :
Author(s) :
  • SEARCHING...

Subject(s) :
  • SEARCHING...

Call # :
ISBN/ISSN :
GMD : Collection Type : Location :

Developed By

Computer Centre, Q.A.U