Simplified independence proofs : Boolean valued models of set theory /
This text shows how to construct models for set theory in which the truth values of statements are elements of a Boolean algebra.
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | Rosser, J. Barkley (John Barkley), 1907-1989 |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
New York :
Academic Press,
1969.
|
Colección: | Pure and applied mathematics (Academic Press) ;
31. |
Temas: | |
Acceso en línea: | Texto completo Texto completo Texto completo |
Ejemplares similares
Ejemplares similares
-
Algebraic methods of mathematical logic
por: Rieger, Ladislav, 1916-1963
Publicado: (1967) -
Boolean systems topics in asynchronicity /
por: Vlad, �Serban E., 1959-
Publicado: (2023) -
Bent functions : results and applications to cryptography /
por: Tokareva, Natalia
Publicado: (2015) -
Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory /
por: Hailperin, Theodore
Publicado: (1986) -
Use of mathematical literature /
Publicado: (1977)