Dokazatelʹstvo i ego poisk :
kurs logiki i kompʹi︠u︡ternyĭ praktikum /
[avtory, Smirnov V.A. ... et al. ; otvetstvennyĭ redaktor V.A. Smirnov].

Description

Tools

Cite this Export citation file

Related Names: Smirnov, V. A. (Vladimir Aleksandrovich)
Language(s): Russian
Published: Moskva : "Nauka", 1996.
Subjects: Logic, Symbolic and mathematical.
Programming languages (Electronic computers) > Programming languages (Electronic computers) / Semantics.
DEDUCTIO (Computer program language)
Note: At head of title: Rossiĭskai︠a︡ Akademii︠a︡ nauk.
Physical Description: 254 p. : ill. ; 21 cm. + 1 computer disk (3 1/2 in.).
ISBN: 5020136034
Locate a Print Version: Find in a library

Viewability

Item Link	Original Source
Limited (search only)	University of California

View HathiTrust MARC record

Similar Items

Sot͡sialʹnai͡a aktivnostʹ sovetskikh rabochikh : (Nekotorye metodol. i sot͡siol. aspekty prob.)

Author: Smirnov, V. A. (Vladimir Aleksandrovich)
Published: 1979

Krugi zemli

Author: Smirnov, V. A. (Vladimir Aleksandrovich)
Published: 1971

Spektry kratkovremennykh atmosfernykh svetovykh i͡avleniĭ : meteory

Author: Smirnov, V. A. (Vladimir Aleksandrovich), astrophysicist.
Published: 1994

Logiko-filosofskie i psikhologicheskie issledovanii͡a

Author: Twardowski, Kazimierz, 1866-1938.
Published: 1997

Formalʹnyĭ vyvod i logicheskie ischislenii︠a︡

Author: Smirnov, V. A. (Vladimir Aleksandrovich)
Published: 1972

Logicheskie metody analiza nauchnogo znanii͡a

Author: Smirnov, V. A. (Vladimir Aleksandrovich)
Published: 1987

Terminy v strukture teoriĭ : (Log. analiz)

Author: Karpovich, V. N. (Valentin Nikolaevich)
Published: 1978

Filosofii͡a i logika Lʹvovsko-Varshavskoĭ shkoly

Author: Shulʹga, E. N.
Published: 1999

Kont͡sept͡sii͡a virtualʹnykh mirov i nauchnoe poznanie

Author: Smirnov, V. A. (Vladimir Aleksandrovich)
Published: 2000

Logika i klinicheskai͡a diagnostika : teoreticheskie osnovy : uchebnik dli͡a medit͡sinskikh vuzov

Author: Smirnov, V. A. (Vladimir Aleksandrovich)
Published: 1994