Cover Image

Teorija dokazarel'stv i konstruktivnaja matematika Čast' IV

Bibliographic Details
Format: Book
Language:Russian
English
Published: Moskva : Nauka 1983
Subjects:
matematická logika
teória
Location:
AOSLM