Boolean-valued models and independence proofs in set theory /

Boolean-valued models and independence proofs in set theory /

41

Bibliografische gegevens
Hoofdauteur:	336600 Bell, John Lane
Formaat:
Gepubliceerd in:	Oxford : Clarendon, 1977
Onderwerpen:	Set theory Independence (mathematics) Algebra, Boolean

Gelijkaardige items

Simplified independence proofs : Boolean Valued models of set theory /
door: 341990 Rosser, J. Barkley
Gepubliceerd in: (1969)

Sets and boolean algebra /
door: 253118 Rueff, Marcel
Gepubliceerd in: (1970)

Boolean algebra with computer applications /
door: Williams, Gerald Earl, 1931-
Gepubliceerd in: (1970)

Relationships between post and Boolean algebras with application to multi-valued switching theory / [mikrofilem]
door: 334687 Wojcik, Anthony Stephen

Boolean algebra /
door: Goodstein, R. L. (Reuben Louis)
Gepubliceerd in: (1963)

Boolean algebra /
door: 172189 Ward, Brice
Gepubliceerd in: (1971)

Boolean systems /
door: 342361 Kaye, Douglas
Gepubliceerd in: (1970)

Boolean algebras /
door: 318802 Sikorski, Roman
Gepubliceerd in: (1969)

Boolean matrix theory and applications /
door: 366641 Ki, Hang Kim
Gepubliceerd in: (1982)

Schaum's outline of theory and problems of Boolean algebra and switching circuits /
door: 341948 Mendelson, Elliott
Gepubliceerd in: (1970)

Fundamental boolean algebra /
door: 341855 Kuntzmann,J, et al.
Gepubliceerd in: (1967)

Boolean functions and equations /
door: 342096 Rudeanu, Sergiu
Gepubliceerd in: (1974)

Lectures on boolean algebras /
door: Halmos, Paul R., (Paul Richard), 1916-
Gepubliceerd in: (1974)

Introduction to boolean algebras /
door: 286943 Givant, Steven, et al.
Gepubliceerd in: (2009)

ABC's of boolean algebra /
door: Lytel, Allan Herbert, 1920-
Gepubliceerd in: (1966)

Model-based transformations for quantified boolean formulas /
door: 500151 Bubeck, Uwe
Gepubliceerd in: (2010)

Boolean algebra and its uses /
door: 457073 South, G. F.
Gepubliceerd in: (1974)

Binary arithmetic and Boolean algebra /
door: 432767 Gillie, Angelo C.
Gepubliceerd in: (1965)

Computer assisted learning in Boolean algebra /
door: Mohd. Daud Kasmuni, et al.

Applied boolean algebra : an elementary introduction /
door: 459092 Hohn, Franz Edward
Gepubliceerd in: (1966)

Pseudo-Boolean methods for bivalent programming /
door: 373653 Ivanescu, Petru L.
Gepubliceerd in: (1966)

Relations hips among nonlinearity criteria of boolean functions /
door: 339372 Shouichi Hirose, et al.

Logic and boolean algebra /
door: 398742 Levitz, Kathleen, et al.
Gepubliceerd in: (1979)

Gate algebra : a rationalized and systematized version of Boolean algebra /
door: 189169 Turnbull, Kenneth Denham
Gepubliceerd in: (1976)

Logic I : Boolean algebra
door: Open University. Mathematics Foundation Course Team
Gepubliceerd in: (1971)

ROUGH LATTICE OVER BOOLEAN ALGEBRA
door: Dipankar Rana, et al.
Gepubliceerd in: (2015-03-01)

Practice problems in number systems,logic, and Boolean algebra /
door: 359306 Bukstein, Edward
Gepubliceerd in: (1977)

Practice problems in number systems, logic, and Boolean algebra /
door: 359306 Bukstein, Edward
Gepubliceerd in: (1973)

The complexity of Boolean functions /
door: 180167 Wegener, Ingo
Gepubliceerd in: (1987)

Boolean algebra for computer logic /
door: Ennes, Harold E., 1911-
Gepubliceerd in: (1978)

Introduction to the comparative method with Boolean algebra /
door: 276928 Caramani, Daniele
Gepubliceerd in: (2009)

Boolean algebra and digital computers /
door: 386306 Theodore, Chris Athanasios
Gepubliceerd in: (1969)

Set theory : an introduction to independence proofs /
door: 308482 Kunen, Kenneth
Gepubliceerd in: (1980)

Gelfand theorem implies Stone representation theorem of Boolean rings
door: Parfeny P. Saworotnow
Gepubliceerd in: (1995-01-01)

Extended algebraic immunity of symmetric Boolean function
door: Gao-fei WU, et al.
Gepubliceerd in: (2014-11-01)

Sistem pemudahan Aljabar Boolean - kaedah ESPRESSO /
door: 335991 Rajeswari V . M. Venu Gopal
Gepubliceerd in: (1999)

Role of random generator & problem solver for CAI on minimization of Boolean algebra using karnaugh map /
door: 195724 Liew, Meng Wei
Gepubliceerd in: (1994)

The Qualitative Study of Sustainable Sports Development in Iranian Football Clubs: a Boolean Comparative Study
door: Mohammad Heidari, et al.
Gepubliceerd in: (2024-01-01)

Minimization of Boolean functions in the class of orthogonal disjunctive normal forms
door: Yu. V. Pottosin
Gepubliceerd in: (2021-07-01)

Class of constructions of even variables Boolean function with optimum algebraic immunity
door: CHEN Yin-dong, et al.
Gepubliceerd in: (2009-01-01)