TY - BOOK ID - 4930484 TI - Foundational studies : selected works AU - Mostowski, Andrzej AU - Kuratowski, Kazimierz AU - Marek, Wiktor W. AU - Pacholski, Leszek PY - 1979 VL - v. 93 SN - 044485102X 0444851038 9786612309281 1282309285 0080955002 9786613837776 0080955010 1283525321 9780444851031 9780080955001 9780444851024 PB - Warszawa : Amsterdam North-Holland, Panstwowe Wydawnictwo Naukowe (PWN) = Polish scientific publishers DB - UniCat KW - Logic, Symbolic and mathematical KW - Logique symbolique et mathématique KW - Mostowski, Andrzej KW - Bibliography KW - Logic, symbolic and mathematical KW - 510.2 KW - Foundations of mathematics KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - -Mostowski, A. KW - Logic, Symbolic and mathematical. KW - Bibliography. KW - -Bibliography KW - 510.2 Foundations of mathematics KW - Logique symbolique et mathématique KW - ELSEVIER-B EPUB-LIV-FT KW - Mostowski, A. KW - Oeuvres KW - Écrits. KW - Written works. KW - Mathematics. KW - Math KW - Science KW - Logique mathématique KW - Écrits. KW - Mostowski, Andrzej - Bibliography KW - Mathematiques KW - Oeuvres reunies UR - https://www.unicat.be/uniCat?func=search&query=sysid:4930484 AB - Provability, Computability and Reflection ER -