Your search returned 6 results.

Sort
Results
Topological model theory by
  • Flum, Jorg []
  • Zieger, Martin
Edition:
Publication details: Berlin Springer-Verlag 1980
Availability: Items available for loan: University Library (1)Call number: 515.122.29 FLU.
Elements of finite model theory by
  • Libkin, Leonid []
Edition:
Publication details: Germany Springer-Verlag 2004
Availability: Items available for loan: University Library (1)Call number: 519.6 LIB.
Nonstandard analysis by
  • Vath, Martin []
Edition:
Publication details: Berlin Birkhauser Verlag 2007
Availability: Items available for loan: University Library (1)Call number: 517 VAT.
Introduction to mathematical logic by
  • Mendelson, Elliott
Series: Discrete mathematics and its applications
Edition: 5th ed.
Publication details: Boca Raton CRC 2010
Availability: Items available for loan: University Library (1)Call number: 510.6 MEN.
Functorial model theory newer applications to algebraic topology, descriptive sets, and computing categories topos by
  • Nourani, Cyrus F [author.]
Publication details: Toronto Apple academic press 2014
Availability: Items available for loan: University Library (1)Call number: 515.142 NOU.
E-recursion, forcing and C*-algebras ed.by Chitat, Chong...[et.al] by
  • Chong, Chitat...[et.al]. ed [ed.by]
Series: Lecture notes series, Institute for mathematical sciences, National university of Singapore Vol.27
Publication details: New Jersey World Scientific 2014
Availability: Items available for loan: University Library (1)Call number: 510.67 CHO.
Pages
University Library, CUSAT