1 |
|
Handbook of satisfiability [Monograph ]
|
|
2009 |
|
Shelf Location: 005.111 HAN.
Collections: General.
Number of Holdings: 1.
|
2 |
|
Set theory: Boolean-valued models and independence proofs [Ebook]
|
Bell, John Lane 1945-
|
2007 |
|
Shelf Location: Online Resource : Oxford Scholarship Online.
|
3 |
|
A Boolean Algebra: Abstract and Concrete [Ebook]
|
Bowran, Alfred Percy
|
1965 |
|
Shelf Location: Online resource: Springer.
|
4 |
|
Introduction to lattices and order [Monograph ]
|
Davey, Brian A.
|
2002 |
|
Shelf Location: 510.2 DAV.
Collections: General.
Number of Holdings: 1.
|
5 |
|
Lectures on Boolean algebras [Monograph ]
|
Halmos, Paul Richard 1916-2006
|
1963 |
|
Shelf Location: 512.56 HAL.
Collections: General.
Number of Holdings: 1.
|
6 |
|
Lectures on Boolean algebras [Monograph ]
|
Halmos, Paul Richard 1916-2006
|
1974 |
|
Shelf Location: 512.56 HAL Rep. ed..
Collections: General.
Number of Holdings: 1.
|
7 |
|
Cardinal Functions on Boolean Algebras [Ebook]
|
Monk, James Donald. 1930-
|
1990 |
|
Shelf Location: Online resource: Birkhäuser.
|
8 |
|
Cardinal Invariants on Boolean Algebras [Ebook]
|
Monk, James Donald. 1930-
|
2014 |
|
Shelf Location: Online Resource: Birkhäuser.
|
9 |
|
Cardinal Invariants on Boolean Algebras [Ebook]
|
Monk, James Donald. 1930-
|
2010 |
|
Shelf Location: Online Resource: Birkhäuser.
|
10 |
|
Algèbre de Boole: théorie, méthodes de calcul, applications : avec exercices [Monograph ]
|
Permingeat, Noël
|
1988 |
|
Shelf Location: 512.56 PER.
Collections: General.
Number of Holdings: 1.
|
11 |
|
Simplified independence proofs: Boolean valued models of set theory [Monograph ]
|
Rosser, John Barkley 1907-
|
1969 |
|
Shelf Location: 510.6 ROS.
Collections: General.
Number of Holdings: 1.
|