SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES

Quick Search :

Web Online Public Access Catalog - Use the search options to find documents quickly
Found 2 from your keywords:
Subject : "Predicate calculus"
Query took 2.95828 second(s) to complete
Buchi's monadic second order successor arithmetic
Author(s) : Siefkes, Dirk -
Edition :
Call Number : 511.65 STE
Record Detail
Tableau systems for first order number theory and certain higher order theories
Author(s) : Toledo, Sue -
Edition :
Call Number : 511.3 TOL
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