Halmos ∎

Математиканы изилдөө

Логикалык негиздер

Proof, computation, set theory, and the foundations of mathematics.

0 макалалар

Макала жазуу →
  1. Сиздин идеяларыңыз үчүн бул жерде орун бар.

    Бул фильтрлерге ылайык жарыяланган макалалар жок. Авторлор темаларды жана тегдерди өз эмгектери үчүн тандашат.

    Жакында жазылгандарды кароо

Сөйлөшүүлөргө катышуу.

Жазуу, идеяларды сактоо жана сизди шыктандырган адамдарга жолдоо үчүн компьютерге кирүү керек.

Учеттук жазууну жаратуу · Сырсөздү унуттуңузбу?

Колдонуучунун аты жана сырсөзү гана керек.

Кайралоо

Бизге эмне болгонун же эмнени күтүп жатканыңызды айтыңыз. Биз ар бир билдирүүнү окуйбуз.

Спасибо, мы получили. Если вы оставили электронную почту, мы ответим.