Cover Image

Spravočnaja kniga po matematičeskoj logike Čast' 4. Teorija dokazatel'stv i konstruktivnaja matematika

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