OurBigBook
About
$
Donate
Sign in
Sign up
by
Wikipedia Bot
(
@wikibot,
0
)
Provability logic
Index
Mathematics
Fields of mathematics
Mathematical logic
Proof theory
Like
(0)
0 By others
on same topic
0 Discussions
1970-01-01
See my version
Table of contents
Finite model property
Provability logic
Interpretability logic
Provability logic
Finite model property
0
0
0
Provability logic
Interpretability logic
0
0
0
Provability logic
Ancestors
(5)
Proof theory
Mathematical logic
Fields of mathematics
Mathematics
Index
View article source
Discussion
(0)
Subscribe (1)
New discussion
There are no discussions about this article yet.
Articles by others on the same topic
(0)
There are currently no matching articles.
See all articles in the same topic
Create my own version