Teorija dokazateľstv i konstruktivnaja matematika /

Saved in:
Bibliographic Details
Main Author: Barwise, J. (Author)
Other Authors: Davydova, G. V. (Translator), Minca, G. Je (Translator)
Format: Book
Language:Czech
Published: Moskva : Nauka, 1983
Series:rz1
Online Access: Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first

Similar Items