Zobrazeno 1 - 10
of 150
pro vyhledávání: '"Guaspari, D."'
Autor:
Guaspari, D.
Publikováno v:
Transactions of the American Mathematical Society, 1979 Oct 01. 254, 47-68.
Externí odkaz:
https://www.jstor.org/stable/1998258
Autor:
Abbood, Zainab A.1, AL-Shammari, Ahmed Hamza1, Jasim, Eman M.1, Oraibi, Amjad I.2 amjed.aliraqi101@gmail.com
Publikováno v:
Journal of Chinese Pharmaceutical Sciences. Aug2024, Vol. 33 Issue 8, p737-750. 14p.
Autor:
Bülow, Christopher von
Kurt Gödel zeigte 1931 in seiner klassischen Arbeit 'Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I', dass die wahren Sätze der Mathematik nicht als die Theoreme irgendeines formalen Systems erhalten werden k
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______715::52d960e4a04bae5a1653d2647284a0e3
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Guaspari, D.
Publikováno v:
Proceedings of the Conference: TRI-Ada '89; 1/ 3/1989, p216-224, 9p
Autor:
Guaspari, D.
Publikováno v:
Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance; 1994, p29-37, 9p
Publikováno v:
Proceedings 1995 IEEE Symposium on Security & Privacy; 1995, p88-100, 13p
Autor:
Guaspari, D., Solovay, R.M.
Publikováno v:
Annals of Mathematical Logic. 16:81-99
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e9e0b66d07638159d1c72f13342d70cc
https://doi.org/10.1016/0003-4843(79)90017-2
https://doi.org/10.1016/0003-4843(79)90017-2
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.