Megjelenítés: 1 - 1 / 1 - kulcsszavak: '"SpringerBriefs in mathematics"', keresési idő: 0.08mp Találatok szűrése
1
Incompleteness for Higher-Order Arithmetic : An Example Based on Harrington’s Principle
Szerző: Cheng, Yong, szerző
Megjelenés: 2019
“...SpringerBriefs in mathematics, ISSN 2191-8198...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben — Keresés mentése