Normal view MARC view ISBD view

Metamathematics, machines, and Godel's proof / N. Shankar

Main Author Shankar, N. Country Reino Unido. Publication Cambridge : Cambridge University Press, 1994 Description XV, 202 p. ; 26 cm Series Cambridge tracts in theoretical computer science , 38 ISBN 0-521-42027-X CDU 510.6

Tags from this library: No tags from this library for this title. Log in to add tags.

average rating: 0.0 (0 votes)

Holdings ( 2 )
Title notes
Comments ( 0 )

Holdings
Item type	Current location	Call number	Status	Date due	Barcode	Item holds
Monografia	Biblioteca Geral da Universidade do Minho	BGUMD 155088	Available		147415
Monografia	Biblioteca Geral da Universidade do Minho	BGUMD 45587	Available		159037