Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems /

Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems /

Saved in:

Bibliographic Details
Author / Creator:	Murawski, Roman.
Uniform title:	Funkcje rekurencyjne i elementy metamatematyki. English
Imprint:	Dordrecht ; Boston : Kluwer Academic Publishers, c1999.
Description:	xii, 391 p. : ill. ; 25 cm.
Language:	English
Series:	Synthese library v. 286
Subject:	Recursive functions. Decidability (Mathematical logic) Gödel's theorem. Decidability (Mathematical logic) Gödel's theorem. Recursive functions.
Format:	Print Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/4144402

Hidden Bibliographic Details
ISBN:	0792359046 (alk. paper)
Notes:	Includes bibliographical references (p. 341-375) and index.

Eckhart

Loading map link

Holdings details from Eckhart
Call Number:	QA9.615 .M8713 1999
c.1	Available Loan period: standard loan Request for Pickup Need help? - Ask a Librarian