Create accountLogin

Recent searches

No recent searches

Search options

Not available on mstdn.maud.io.
mstdn.maud.io is one of the many independent Mastodon servers you can use to participate in the fediverse.
The place to express your ❤️ more freely. / あなたの「すき」をもっと自由に書き表すための場所。

Administered by:

Server stats:

343
active users

mstdn.maud.io: AboutStatusProfiles directoryPrivacy policyTerms of service

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.0-alpha.4+maud

TaPL はあまりカリーハワード同型とか詳しくやらない(記号論理の方向にあまり行かない)ので、萩谷,西崎 『論理と計算の仕組み』などがいいんじゃないだろうか

Oct 02, 2018, 01:18 PM·Public·Web
3boosts·4favorites
SearchLive feeds
About