Смирнов В. А. Владимир Александрович. (1999). Теория логического вывода. Москва, РОССПЭН, 1999.
Dyfyniad Arddull ChicagoСмирнов В. А. Владимир Александрович. Теория логического вывода. Москва, РОССПЭН, 1999, 1999.
Dyfyniad MLAСмирнов В. А. Владимир Александрович. Теория логического вывода. Москва, РОССПЭН, 1999, 1999.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.