National Science Library of Georgia

Your search returned 9 results.

Sort
Results
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.
Applications of process algebra / edited by J.C.M. Baeten. by Series: Cambridge tracts in theoretical computer science ; 17.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2004
Online resources:
Availability: No items available.
The Covering property Axiom, CPA : a combinatorial core of the iterated perfect set model / Krzysztof Ciesielski, Janusz Pawlikowski. by Series: Cambridge tracts in mathematics ; 164.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2004
Online resources:
Availability: No items available.
Logic, induction and sets / Thomas Forster. by Series: London Mathematical Society student texts ; 56.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2003
Other title:
  • Logic, Induction & Sets
Online resources:
Availability: No items available.
Axiomatic domain theory in categories of partial maps / Marcelo P. Fiore. by Series: Distinguished dissertations in computer science
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1996
Online resources:
Availability: No items available.
An introduction to independence for analysts / H.G. Dales, W.H. Woodin. by Series: London Mathematical Society lecture note series ; 115.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1987
Online resources:
Availability: No items available.
The core model / A. Dodd. by Series: London Mathematical Society lecture note series ; 61.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1982
Online resources:
Availability: No items available.
Coding the universe / A. Beller, R. Jensen, P. Welch. by Series: London Mathematical Society lecture note series ; 47.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1982
Online resources:
Availability: No items available.
Boolean-valued models and independence proofs in set theory / by J. L. Bell. by Series: Oxford logic guides
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Oxford : Clarendon Press, 1977
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 2 (1)Call number: 51.
Pages
Not finding what you're looking for?
Copyright © 2023 Sciencelib.ge All rights reserved.