Recursive Functions and Metamathematics : Problems of Completeness and Decidability, Gödel's Theorems /

Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This theory is first introduced and discussed. Then Gödel's incompleteness theorems are presented, together with generalization...

Full description

Bibliographic Details

Main Author:	Murawski, Roman
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands, 1999.
Series:	Synthese library ; 286.
Subjects:	Philosophy (General) Logic. Science > Philosophy. Information theory. Logic, Symbolic and mathematical. Electronic books.
Online Access:	Connect to the full text of this electronic book