Kurt Gödel matemathematical results on formaky undecidable propositions: completeness vs. incompleteness

Bibliographic Details
Main Author:	Duží, Marie (Author)
Format:	Article
Language:	Slovak English
Subjects:	Gödel, Kurt, > 1906-1978 metamatematika logika matematika predikátová logika

Similar Items