

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