उदयनाचार्य प्रसिद्ध नैयायिक एवं न्याय-वैशेषिक दर्शन के प्रख्यात गुरु, नास्तिकता के विरुद्ध ईश्वर-साक्षात्कार के लेल हजारों वर्ष पूर्व न्यायकुसुमंजलि नामक एकटा बहुत विद्वान पुस्तक लिखने छलाह ।
 ओ मिथिलाक निवासी छलाह, जतय हुनक वंशज आइयो 'करियन' नामक गाम मे रहैत छथि । ई सब अक्षपद गौतम स शुरू भ रहल प्राचीन न्याय क परंपरा क अंतिम परिपक्व न्यायाधीश मानल जाइत छथि । अपन महानता, पाण्डित्य, अलौकिक शेमुशी आ परिपक्व तर्कशीलताक कारणेँ 'उदयानाचार्य' नाम सँ प्रसिद्ध छथि । हिनका लोकनिक रूप दसम शताब्दीक उत्तरार्ध मे अछि । हिनक 'लक्षणावली'क रचना ९०६ साक (९८४ ई. ) पोथीक अन्तमे निर्दिष्ट अछि।
 ओ प्राचीन न्यायशास्त्रक रचना सेहो केने छथि, जाहि मे हुनक मौलिक समझ आ उदात्त प्रतिभा केँ डेग-डेग पर चिन्हल जाइत अछि । हिनक प्रसिद्ध कृति सभ अछि :
(1) किरणावली - प्रशत्पदभाष्य पर टीका;
(2) तत्पर्यपरिशुद्धि - वाचस्पति मिश्र द्वारा रचित 'न्यायवार्तिक' की व्याख्या, तत्पर्यतिका का वयस्क व्याख्यान जिनका द्वितीय नाम 'न्यायनिबंध' है;
(4) बोधसिद्धि - जे न्यायसूत्रक वृत्ति थिक जकर प्रसिद्ध उपाधि 'न्यायपरिषित' अछि;
(5) आत्म-अनुशासन - जाहि मे बौद्ध विज्ञान आ शून्यवादक सिद्धांतक विस्तार सँ खंडन कए कानूनी पद्धति सँ भगवान् केर सिद्धि कयल गेल अछि । उदयनक रचना मे एकरा विशेष परिपक्व आ तर्कसंगत मानल गेल अछि । रघुनाथ शिरोमणि, शंकर मिश्र, भागीरथ ठक्कुर आ नारायणाचार्य अत्रेय सन विद्वानक टीकाक शक्ति एहि पोथीक गूढ़ताक प्रत्यक्ष प्रमाण थिक । मुदा उदयन सबसँ नीक काज अछि।
 ऐश्वर्य मद मत्तोऽसि मामवज्ञाय वर्तसे।
 येषां नास्पदमादधासि हृदये ते शैलसाराशयाः।
 किन्तु प्रस्तुतविप्रतीप विधयोऽप्युच्चैर्भवच्चिन्तकाः
काले कारुणिक त्वयैव कृपया ते भावनीया नराः।
 एकर अर्थ ई जे 'कृपसागर, एहि तरहें वेद, न्याय, तर्क आदिक रूप मे हम सभ एहि पोथी मे झरना केर जल प्रस्तुत केने छी आ ओहि नास्तिक लोकनिक गंदा हृदय केँ सेहो नीक जकाँ धोने छी, जाहि सँ ओ सभ योग्य बनि गेल छथि ।' अपन निवास स्थान। जाउ मुदा एतय जँ जगह नहि भेटि जाय तखनो हम सभ कहब जे हुनका लोकनिक हृदय फौला वा वज्रक छनि । मुदा मोन राखू जे भयंकर दुश्मनक रूप मे ओहो सभ अहाँ केँ पूर्णतः याद करैत छथि आखिर। ताहि लेल ई उचित अछि जे जखन समय आओत तखन अहाँ सभ सेहो हुनका सभ केँ भक्त जकाँ संतुष्ट करू। '
In the third part we have shown how the study of the so-called 'restrictive conditions for universals' in Navya-Nyaya logic anticipated some of the developments of modern set theory. [. . . ] In this section the discussion will center around some of the 'restrictive conditions for universals (jatibadhaka) proposed by Udayana. [. . . ] Another restrictive condition is anavastha or vicious infinite regress. According to this restrictive condition, no universal (jati) can be admitted to exist, the admission of which would lead to a vicious infinite regress. As an example Udayana says that there can be no universal of which every universal is a member; for if we had any such universal, then, by hypothesis, we have got a given totality of all universals that exist and all of them belong to this big universal. But this universal is itself a universal and hence (since it cannot be a member of itself, because in Udayana's view no universal can be a member of itself) this universal too along with other universals must belong to a bigger universal and so on ad infinitum. What Udayana says here has interesting analogues in modern set theory in which it is held that a set of all sets (i. e. , a set to which every set belongs) does not exist.
 सतीशचन्द्र विद्याभूषण : भारतीय तर्क का इतिहास (कलकत्ता, 1921);
दिनेशचन्द्र भट्टाचार्य : मिथिला मे नवन्याय का इतिहास (मिथिला संस्कृत संस्थान, दरभंगा, 1958)