91
IRUS Total
Downloads
  Altmetric

Proof theory and computer programming : the logical foundations of computing

File Description SizeFormat 
Queiroz-RJGBd-1990-PhD-Thesis.pdf18.94 MBAdobe PDFView/Open
Title: Proof theory and computer programming : the logical foundations of computing
Authors: Queiroz, Ruy Jose Guerra Barretto de
Item Type: Thesis or dissertation
Content Version: Imperial Users only
Issue Date: 1990
Date Awarded: 1990
URI: http://hdl.handle.net/10044/1/46514
Author: Queiroz, Ruy Jose Guerra Barretto de
Department: Department of Computing
Publisher: Imperial College London
Qualification Level: Doctoral
Qualification Name: PhD
Appears in Collections:University of London awarded theses - Imperial authors



Unless otherwise indicated, items in Spiral are protected by copyright and are licensed under a Creative Commons Attribution NonCommercial NoDerivatives License.

Creative Commons