edited by Grigori Mints, Reinhard Muskens

CSLI Publications c2003 CSLI lecture notes no. 161

: pbk

所蔵館21館

Grigori Mints

Springer Science+Business Media 2000 The University series in mathematics

: softcover

所蔵館2館

Grigori Mints

Kluwer Academic / Plenum Publishers c2000 The University series in mathematics

所蔵館25館

V. Kreinovich, G. Mints, editors

American Mathematical Society c1997 American Mathematical Society translations ser. 2, v. 178

所蔵館50館

Grigori Mints

Center for the Study of Language and Information (CSLI) c1994 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-94-193

所蔵館2館

Grigori Mints and Sergei Tupailo

Center for the Study of Language and Information (CSLI) c1993 Report (Center for the Study of Language and Information (U.S.)) no. CSLI-93-175

所蔵館2館

Grigorii E. Mints

Bibliopolis , North-Holland c1992 Studies in proof theory monographs 3

所蔵館18館

Grigori Mints

Center for the Study of Language and Information, Leland Stanford Junior University c1992 CSLI lecture notes no. 30

: pbk

所蔵館53館

P. Martin-Löf, G. Mints (eds.)

Springer-Verlag c1990 Lecture notes in computer science 417

: gw , : us

所蔵館57館