MATEMATIČESKAJA LOGIKA I AVTOMATIČESKOJE DOKAZATEĽSTVO TEOREM /

Saved in:
Bibliographic Details
Main Author: Chang, Chin-Liang
Other Authors: Lee, Richard char-tung, Maslov, S. Ju (Editor)
Format: Book
Language:Russian
Published: Moskva : Nauka, 1983
Online Access: Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Login for hold and recall information

Internet

Get full text

CVTI sklad absenčný

Holdings details from CVTI sklad absenčný
Call Number: A430468
A473927
Copy On Shelf
Copy On Shelf

Similar Items