documents
about archive
about project
Andrei Ershov
in Russian
Archive
Editorial activity
Reviews
Abstract
Abstract
of the paper by S. Maslov "An invertible sequential version of the constructive predicate caculus".
Date: 15.08.1969
Original document language: English
Authors:
Andrei Petrovich Ershov
Images of pages:
1
Back
Next document (Abstract)
Switch to Russian
|
Search
|
Advanced search
|
Folders
| Themes
Home
Help
in Russian
Webmaster
©
Ershov's Institute of Informatics Systems
, 2000-2016
