Algorithmic Structural Completeness and a Retrieval System for Proving Theorems in Algorithmic Theories

Algorithmic

by Andrzej Biela

Paperback

ISBN: 978-83-226-1023-7

ISBN-10: 83-226-1023-8

Silesia University Press · 2000