SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES


Quick Search :

Web Online Public Access Catalog - Use the search options to find documents quickly
Found 6 from your keywords:
Subject : "Intuition"
Query took 2.59894 second(s) to complete
Intuition, trust, and analytics
Author(s) : Liebowitz, Jay - Paliszkiewicz, Joanna - Goluchowski, Jerzy -
Edition :
Call Number : 658.403 INT
Extensional Godel functional interpretation
Author(s) : Luchardt, Horst -
Edition :
Call Number : 511.3 LUC
Principles of intuitionism
Author(s) : Troelstra, A. S. -
Edition :
Call Number : 164 TRO
Proof theory and intuitionistic systems
Author(s) : Scarpellini, Bruno -
Edition :
Call Number : 511.3 SCA
Metamathematical investigation of intuitionistic anthmetic and analysis
Author(s) : Troelstra, A. S. -
Edition :
Call Number : 511.3 MET
Intuition and the axiomatic method
Author(s) : Carson, Emily - Huber, Renate -
Edition :
Call Number : 511.3 INT




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