National Science Library of Georgia

Your search returned 21 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Abstract recursion and intrinsic complexity / Yiannis N. Moschovakis. by Series: Lecture notes in logic ; 48.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2019
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Descriptive complexity, canonisation, and definable graph structure theory / Martin Grohe. by Series: Lecture notes in logic ; 47.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2017
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
Fine structure and iteration trees / William J. Mitchell, John R. Steel. by Series: Lecture notes in logic ; 3.
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
The core model iterability problem / John R. Steel. by Series: Lecture notes in logic ; 8.
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
Recursion theory / Joseph R. Shoenfield. by Series: Lecture notes in logic ; 1.
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
Aspects of Incompleteness / Per Lindström. by Series: Lecture notes in logic ; 10.
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
Ordinal definability and recursion theory : The Cabal Seminar, Volume 3 / edited by Alexander S. Kechris, Benedikt Löwe, John R. Steel. by Series: Lecture notes in logic ; 43.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Other title:
  • The Cabal seminar.
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
Turing's legacy : developments from Turing's ideas in logic / edited by Rod Downey, Victoria University of Wellington. by Series: Lecture notes in logic ; 42.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2014
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
The Cabal Seminar. Volume 2, Wedge degrees and projective ordinals / edited by Alexander S. Kechris, Benedikt Löwe, John R. Steel. by Series: Lecture notes in logic
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2011
Other title:
  • Wadge Degrees & Projective Ordinals
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Set theory, arithmetic, and foundations of mathematics : theorems, philosophies / edited by Juliette Kennedy, Roman Kossak. by Series: Lecture notes in logic ; 36.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2011
Other title:
  • Set Theory, Arithmetic, & Foundations of Mathematics
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
A framework for priority arguments / Manuel Lerman. by Series: Lecture notes in logic ; 34.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2010
Online resources:
Availability: No items available.
Log in to add tags Add to cart
The Cabal Seminar. Volume 1, Games, scales, and suslin cardinals / edited by Alexander S. Kechris, Benedikt Löwe, John R. Steel. by Series: Lecture notes in logic ; 31.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2008
Other title:
  • Games, Scales & Suslin Cardinals
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.