Selected papers in proof theory /
Grigorii E. Mints.

Description

Tools

Cite this Export citation file

Main Author: Mint︠s︡, G. E.
Language(s): English
Published: Napoli : Bibliopolis ; c1992.
Subjects: Proof theory.
Physical Description: 294 p. : ill. ; 25 cm.
ISBN: 8870882284
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

Matematicheskai͡a teorii͡a logicheskogo vyvoda : sbornik perevodov

Author: Idelʹson, A. V.
Published: 1967

Matematicheskai͡a logika : katalog zarubezhnykh knig Biblioteki Akademii nauk SSSR, 1950-1971 gg.

Author: Lifshit͡s, I. A.
Published: 1974

IV Vsesoi͡uznai͡a konferent͡sii͡a Primenenie metodov matematicheskoĭ logiki : Sekt͡sii͡a Predstavlenie znaniĭ i sintez programm : tezisy dokladov

Author: Vsesoi͡uznai͡a konferent͡sii͡a Primenenie metodov matematicheskoĭ logiki (4th : 1986? : Tallinn, Estonia?)
Published: 1986

IV Vsesoi͡uznai͡a konferent͡sii͡a Primenenie metodov matematicheskoĭ logiki : tezisy dokladov : Sekt͡sii͡a Logika vzaimodeĭstvui͡ushchikh prot͡sessov : Sekt͡sii͡a Algoritmika trudnykh zadach

Author: Vsesoi͡uznai͡a konferent͡sii͡a Primenenie metodov matematicheskoĭ logiki (4th : 1986? : Tallinn, Estonia?)
Published: 1986

Computer mapping, design, and geographical information system options for Arlington County

Author: Arlington County, Va. Computer Mapping Task Force.
Published: 1987

Children's literature in the elementary school

Author: Huck, Charlotte S.
Published: 1987

Research program at CEBAF (II) : report of the 1986 Summer Study Group, June 2-August 29, 1986

Author: CEBAF Summer Study Group (1986 : Newport News, Va.)
Published: 1987

Hard time : understanding and reforming the prison

Author: Johnson, Robert, 1948-
Published: 1987

Course taking, achievement, and curricular policy

Author: Sebring, Penny A.
Published: 1987

The Geography of defence

Author: Riley, R. C., 1931-
Published: 1987