Thoralf Albert Skolem
Jens Erik. Fenstad
Logic from Russell to Church, (2009) 127-194. doi:10.1016/S1874-5857(09)70008-1
年:
2014
语言:
english
文件:
PDF, 173.68 MB
IPFS:
,
english, 2014