Formalizirovannyj i konstruktivistskij podchod k probleme istinnosti v matematičeskoj logike /

Saved in:
Bibliographic Details
Main Author: Ryžkov, Anatolij Georgijevič (Author)
Format: Book
Language:Russian
Published: Saratov : Saratovskij universitet, 1964.
Physical Description: 26 strán.
Tags: Add Tag
No Tags, Be the first to tag this record!