About Cosense
Help
Log in
suto3の大福帳
N
o
n
f
i
r
s
t
o
r
d
e
r
i
z
a
b
i
l
i
t
y
Related
Sort by
Related
Modified
Created
Last visited
Most linked
Page rank
Title
Links
first-order logic
[一階述語論理][ACL2] — A Computational Logic for Applicative Common Lisp[Aristotelian logic][Equiconsistency][Ehrenfeucht-Fraisse game]
Created
a few seconds ago
by
suto3suto3
Updated
a few seconds ago
by
suto3suto3
Views: 1
Page rank: 0
Copy link
Copy readable link
Nonfirstorderizability