Proceedings Of The Sixth Asian Logic Conference
Seiten
1998
World Scientific Publishing Co Pte Ltd (Verlag)
978-981-02-3432-4 (ISBN)
World Scientific Publishing Co Pte Ltd (Verlag)
978-981-02-3432-4 (ISBN)
This volume collects written versions of invited and contributed talks presented at the conference. It covers many areas of logic and the foundations of mathematics, as well as computer science.
Seminormal fine measures on Pk(lambda), Y. Abe; recursion theory and weak fragments of Peano arithmetic - a study of definable cuts, C.T. Chong and Y. Yang; lattice embedding into d-r.e. degrees preserving 0 and 1, D. Ding and L. Qian; on stationary reflection principles, Q. Feng; decidability and undecidability in the enumerable Turing degrees, S. Lempp; a note on weak segments of PFA, T. Miyamoto; linear set theory with strict comprehension, M. Shirahata; a solution to a problem of Marek and Truszcy ski, K. Su and H. Chen; DNK and natural reasoning, M. Yasugi and M. Nakata; Asian logic conferences, M. Yasugi; other papers.
| Verlagsort | Singapore |
|---|---|
| Sprache | englisch |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| ISBN-10 | 981-02-3432-5 / 9810234325 |
| ISBN-13 | 978-981-02-3432-4 / 9789810234324 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
was jeder über Informatik wissen sollte
Buch | Softcover (2024)
Springer Vieweg (Verlag)
CHF 53,15
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
CHF 48,95
Eine Einführung in die Systemtheorie
Buch | Softcover (2022)
UTB (Verlag)
CHF 34,95
