Формальный вывод и логические исчисления / В.А. Смирнов ; Отв. ред. П.В. Таванец ; АН СССР. Ин-т философии.

By:

Contributor(s):

Material type:

TextLanguage: Russian Publication details: Москва : Наука, 1972.Description: 272 сSubject(s):

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Home library	Collection	Shelving location	Call number	Copy number	Status	Notes	Barcode
Books	Brusov University Library	Brusov University Library	Depository	Depository	16 С 50 (Browse shelf(Opens below))	LU0142571	Available	Two Weeks Loan	BUL004274