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

Podrobná bibliografia
Hlavný autor:	Duží, Marie (Autor)
Médium:	Článok
Jazyk:	slovenčina angličtina
ISSN:	1335-0668
Predmet:	Gödel, Kurt, > 1906-1978 metamatematika logika matematika predikátová logika

Podobné exempláre

Fragment o syntéze vnemov
Autor: Steigel, Michal