Research Catalog

Issledovanii︠a︡ po formalizovannym i︠a︡zykam i neklassicheskim logikam : [sbornik stateĭ /

Title
Issledovanii︠a︡ po formalizovannym i︠a︡zykam i neklassicheskim logikam : [sbornik stateĭ / otv. red. D.A. Bochvar].
Publication
Moskva : Nauka, 1974.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
Not available - Please for assistance.
TextUse in library QA267.3.I87Off-site

Details

Additional Authors
  • Bochvar, D. A.
  • Vsesoi︠u︡znyĭ institut nauchnoĭ i tekhnicheskoĭ informat︠s︡ii (Soviet Union) http://id.loc.gov/authorities/names/n81019537
Description
274 p.; 20 cm.
Subject
  • Formal languages
  • Logic, Symbolic and mathematical
Note
  • At head of title: Akademii︠a︡ nauk SSSR. Gosudarstvennyĭ komitet Soveta Ministrov SSSR po nauke i tekhnike. Vsesoi︠u︡znyĭ institut nauchnoĭ i tekhnicheskoĭ informat︠s︡ii.
Bibliography (note)
  • Includes bibliographies.
LCCN
75554105 //r972
Owning Institutions
Princeton University Library