db/baza/zel1213.txt - diff

Return to zel1213.txt CVS log

Up to [Local Repository] / db / baza

version 1.1, 2013/10/25 15:27:18	version 1.2, 2014/01/18 23:16:00
Line 417 Ben Joyce.	Line 417 Ben Joyce.
(значении) навсегда, так же как иностранец, обращающийся за	(значении) навсегда, так же как иностранец, обращающийся за
неиммиграционной визой цивилизованного государства, должен обосновать	неиммиграционной визой цивилизованного государства, должен обосновать
отсутствие намерения остаться в ней навсегда.	отсутствие намерения остаться в ней навсегда.
	z-checkdb: В большинстве случаев беженцам нужна либо иммиграционная
	виза, либо статус, который запрещает высылать их обратно. Т.е. неверно,
	что они почти всегда должны доказывать, что не останутся в данной
	стране, это скорее должны доказывать обычные туристы (Антон Губанов).

Источник:	Источник:
1. S.N. Artemov, L.D. Beklemishev. Provability Logic, в книге D.	1. S.N. Artemov, L.D. Beklemishev. Provability Logic, в книге D.