Cover Image

Recursive program schemes

semantics and proof theory

Part of: Mathematical Centre tracts ; 70
Author: Roever, Willem-Paul de
Media Type: Printed Book
Language: English
Published: Amsterdam, Math. Centrum, 1976
ISBN: 90-6196-127-0
Subjects:

System Under Maintenance

Our Library Management System is currently under maintenance.

Item availability information is currently unavailable. There is a maintenance from 00.00 to 01.45 a.m. every day.

Internet

Index

Central Library (Building 32)

Status Item Information Call Number Barcode Note Functions
indeterminate 4 weeks lendable (MAG) MAG 700/273-70 106481198 Not freely available, please contact the library staff