Simplified independence proofs : Boolean valued models of set theory / J. Barkley Rosser.
Series Pure and applied mathematics (Academic Press): 31.Editor: New York : Academic Press, 1969Descripción: xv, 217 p. ; 24 cmOtra clasificación: 03E35Item type | Home library | Shelving location | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
![]() |
Instituto de Matemática, CONICET-UNS | Libros ordenados por tema | 03 R828 (Browse shelf) | Available | A-3683 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 R724 Theory of recursive functions and effective computability / | 03 R813 The elements of mathematical logic / | 03 R813 The elements of mathematical logic / | 03 R828 Simplified independence proofs : | 03 R828d Deux esquisses de logique / | 03 R828l Logic for mathematicians / | 03 R828l Logic for mathematicians / |
Bibliografía: p. 214.
MR, 40 #2536
There are no comments on this title.