

An edition of Inexhaustibility (2002)
A Non-Exhaustive Treatment, Lecture Notes in Logic 16 (Lecture Notes in Logic, 16)
By Torkel Franzén,Torkel Franzen,T. Franze
Publish Date
September 2004
Publisher
Association for Symbolic Logic
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)