Cover Image

Issledovanija po teorii dokazatel'stv

Bibliographic Details
Main Author: Kreisel, G.
Format: Book
Language:Russian
English
Published: Moskva : Mir 1981
Subjects:
matematická logika
zborníky
Location:
AOSLM