SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES

Quick Search :

Web Online Public Access Catalog - Use the search options to find documents quickly
Found 10 from your keywords:
Subject : "Model Theory"
Query took 3.18731 second(s) to complete
The Monadic second order theory of all countable ordinals
Author(s) : Buchi, J. Richard - Siefkes, Dirk -
Edition :
Call Number : 511.3 BUC
Record Detail
Model theory of algebra and arithmetic
Author(s) : Pacholski, L. - Wierzrjewski, J. - Wilkie, A.J. -
Edition :
Call Number : 511.8 MOD
Record Detail
Model theory and arithmetic
Author(s) : Berline, C. - McAloon, K. - Ressayre, J.P. -
Edition :
Call Number : 511.8 MOD
Record Detail
Infinitary logic
Author(s) : Kueker, D. W. -
Edition :
Call Number : 511.2 INF
Record Detail
Model theory and algebra
Author(s) : Saracino, D. H. - Weispfenning, V. B. -
Edition :
Call Number : 511.8 MOD
Record Detail
Aspects of Constructibility
Author(s) : Devlin, Keith J. -
Edition :
Call Number : 511.3 DEV
Record Detail
Forcing, arithmetic, division rings
Author(s) : Hirschfeld, Joram - Wheeler, William H. -
Edition :
Call Number : 511.8 HIR
Record Detail
Model theory and topoi
Author(s) : Lawvere, F. W. - Maurer, C. - Wraith, G.C. -
Edition :
Call Number : 511.8 MOD
Record Detail
First order categorical logic
Author(s) : Makkai, Michael - Reyes, Gonzalo E. -
Edition :
Call Number : 512.55 MAK
Record Detail
Introduction to model theory and to the Metamathematics of algebra
Author(s) : Robinson, Abraham -
Edition :
Call Number : 511.3 ROB/1974
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