共 35 条
- [32] A very brief introduction to hybrid logic and hybrid-logical proof-theory [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (113): : 3 - +
- [33] A brief introduction to Bertrand Russell's philosophies of logic and mathematics: concepts and inferences from the number [J]. ABAKOS, 2014, 3 (01): : 87 - 101