National Science Library of Georgia

Your search returned 31 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Model theory and the philosophy of mathematical practice : formalization without foundationalism / John T. Baldwin. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2018
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Model theory of stochastic processes / Sergio Fajardo, H. Jerome Keisler. by Series: Lecture notes in logic ; 14.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Bounded variable logics and counting : a study in finite models / Martin Otto. by Series: Lecture notes in logic ; 9.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Fundamentals of stability theory / John T. Baldwin. by Series: Perspectives in logic
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Model theory of fields / David Marker, Margit Messmer, Anand Pillay. by Series: Lecture notes in logic ; 5.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Model-theoretic logics / edited by J. Barwise, S. Feferman. by Series: Perspectives in logic
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Essential stability theory / Steven Buechler. by Series: Perspectives in logic
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Descriptive set theory and forcing : how to prove theorems about Borel sets the hard way / Arnold W. Miller. by Series: Lecture notes in logic ; 4.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Proper and improper forcing / Saharon Shelah. by Series: Perspectives in logic
Edition: Second edition.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Online resources:
Availability: No items available.
Log in to add tags Add to cart
O-minimality and diophantine geometry / edited by G.O. Jones, University of Manchester, A.J. Wilkie, University of Manchester,. by Series: London Mathematical Society lecture note series ; 421.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2015
Other title:
  • O-Minimality & Diophantine Geometry
Online resources:
Availability: No items available.
Log in to add tags Add to cart
A guide to NIP theories / Pierre Simon, CNRS, Université Lyon I. by Series: Lecture notes in logic ; 44.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2015
Online resources:
Availability: No items available.
Log in to add tags Add to cart
A course in model theory / by Katrin Tent, Martin Ziegler. by Series: Lecture notes in logic ; 40.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2012
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Finite and algorithmic model theory / edited by Javier Esparza, Christian Michaux, Charles Steinhorn. by Series: London Mathematical Society lecture note series ; 379.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2011
Other title:
  • Finite & Algorithmic Model Theory
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Simple theories and hyperimaginaries / Enrique Casanovas. by Series: Lecture notes in logic ; 39.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2011
Other title:
  • Simple Theories & Hyperimaginaries
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Models and games / Jouko Väänänen. by Series: Cambridge studies in advanced mathematics ; 132.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2011
Other title:
  • Models & Games
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Motivic integration and its interactions with model theory and non-Archimedean geometry. Volume 2 / edited by Raf Cluckers, Johannes Nicaise, Julien Sebag. by Series: London Mathematical Society lecture note series ; 384.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2011
Other title:
  • Motivic Integration & its Interactions with Model Theory & Non-Archimedean Geometry
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Motivic integration and its interactions with model theory and non-Archimedean geometry. Volume 1 / edited by Raf Cluckers, Johannes Nicaise, Julien Sebag. by Series: London Mathematical Society lecture note series ; 383.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2011
Other title:
  • Motivic Integration & its Interactions with Model Theory & Non-Archimedean Geometry
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Forcing idealized / Jindřich Zapletal. by Series: Cambridge tracts in mathematics ; 174.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2008
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Stable domination and independence in algebraically closed valued fields / Deirdre Haskell, Ehu Hrushovski, Dugald Macpherson. by Series: Lecture notes in logic ; 30.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2008
Other title:
  • Stable Domination & Independence in Algebraically Closed Valued Fields
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Pages
Not finding what you're looking for?
Copyright © 2023 Sciencelib.ge All rights reserved.