Vítáme Vás, můžete se přihlásit nebo vytvořit účet.

Cart

product (empty)

Košík je prázdný

Zboží celkem: 0 Kč

Termín obdržení zásilky
Česká pošta	Úterý 16.09
PPL	Úterý 16.09
Osobní odběr	Středa 17.09
Termíny jsou pouze orientační a mohou se lišit podle zvoleného typu platby. O Průběhu zásilky Vás budeme informovat e-mailem.
Při nákupu většího množství produktů negarantujeme dodání do zobrazeného data

Collected Papers

4378 Kč 4 568 Kč

Sleva až 70% u třetiny knih

Popis knihy

The sentential calculus with infinitely long expressions (with D. Scott).- Remarks on predicate logic with infinitely long expressions.- What is elementary geometry?.- On two properties of free algebras (with B. Jónsson).- Cylindric algebras (with L. Henkin).- On some problems involving inaccessible cardinals (with P. Erdös).- Some problems and results relevant to the foundations of set theory.- From accessible to inaccessible cardinals. Results holding for all accessible cardinal numbers and the problem of their extension to inaccessible ones (with H. J. Keisler).- Refinement properties for relational structures (with C. C. Chang and B. Jónsson).- A simplified formalization of predicate logic with identity.- Metamathematical properties of some affine geometries (with L. W. Szczerba).- The completeness of elementary algebra and geometry.- Equational logic and equational theories of algebras.- An extended arithmetic of ordinal numbers (with J. Doner).- Truth and proof.- An interpolation theorem for irredundant bases of closure structures.- The elementary theory of well-ordering - A metamathematical study (with J. Doner and A. Mostowski).- Metamathematical discussion of some affine geometries (with L. W. Szczerba).- Abstracts.- Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957.- Problems, Reviews, Contributions to Discussions.- Bibliography of Alfred Tarski by S. Givant.