

An edition of Inexhaustibility (2002)
a non-exhaustive treatment
By Torkel Franzén,Torkel Franzen,T. Franze
Publish Date
2004
Publisher
Association for Symbolic Logic,A K Peters
Language
eng
Pages
300
Description:
subjects: Incompleteness theorems, Logic, Symbolic and mathematical, Mathematics, Philosophy, Symbolic and mathematical Logic, Mathematical logic, Logic, Symbolic and mathematic, Science/Mathematics, Logic, Mathematics, philosophy, Onvolledigheid (logica), Semantiek, Bewijstheorie, Verzamelingen (wiskunde)