SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES

Quick Search :

Web Online Public Access Catalog - Use the search options to find documents quickly
Found 11 from your keywords:
Subject : "Proof Theory"
Query took 2.14704 second(s) to complete
 1   2   Next   Last Page 
Understanding mathematical proof
Author(s) : Taylor, John - Garnier, Rowan -
Edition :
Call Number : 511.36 TAY
Record Detail
Extensional Godel functional interpretation
Author(s) : Luchardt, Horst -
Edition :
Call Number : 511.3 LUC
Record Detail
Iterated inductive definitions and subsystems of analysis
Author(s) : Buchholz, Wilfried et. al. -
Edition :
Call Number : 511 ITE
Record Detail
Proof theory and intuitionistic systems
Author(s) : Scarpellini, Bruno -
Edition :
Call Number : 511.3 SCA
Record Detail
Metamathematical investigation of intuitionistic anthmetic and analysis
Author(s) : Troelstra, A. S. -
Edition :
Call Number : 511.3 MET
Record Detail
ISILC Proof theory symposion
Author(s) : Diller, J. - Muller, G. H. -
Edition :
Call Number : 511.3 PRO
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
Logic in algebraic form : three languages and theories
Author(s) : Craig, William -
Edition :
Call Number : 511.3 CRA
Record Detail
Proofs from the book
Author(s) : Aigner, Martin - Ziegler, Gunter M. -
Edition : 3rd ed.
Call Number : 511.3 AIG/2004
Record Detail
Proof theory
Author(s) : Crossley, J. N. - Schutte, Kurt -
Edition :
Call Number : 510.01 SCP
Record Detail
 1   2   Next   Last Page 




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