フォロー

link.springer.com/book/10.1007

> M. Fitting; "Types, Tableaus, and Gödel’s God"

Gödel Godが何かは知ってはいるけど、それにしても並べられると字面が物騒すぎる

ログインして会話に参加
Fedibird

様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。