ELTE összesen 1,503 Egyetemi Könyvtár és Levéltár 598 IK Kari Könyvtár 385 TTK Kari Könyvtár 250 PPK Kari Könyvtár 135 TÓK Könyvtár 78 többet ... TÁTK Kari Könyvtár 73 BTK Közp. Olvasóterem 62 BGGYK Könyvtára 62 BTK Filozófiai Intézet Kvt. 56 ÁJK Kari Könyvtár 47 BTK Ókortudományi Int. Kvt. 29 BTK Távol-keleti Intézet Kvt. 25 EDIT 24 BTK Germanisztikai Int. Kvt. 18 BTK Indológiai és Indoe. Szkgy 13 BTK Angol-Amerikai Intézet Kvt 12 BTK Magyar Nytud. és Finnugor 12 Mednyánszky Dénes Könyvtár és 11 Márton Áron Szakkoll. Kvt. 10 BTK Könyvtár- és Inf.tud. Int. 9 BTK Szláv és Balti Filológiai 5 BTK Történeti Intézet Kvt. 5 BTK Magyar Ir. és K.tud. Int. 4 BTK Néprajzi Intézet Könyvtára 4 Bárczi Általános Iskola Kvt. 3 BTK Francia Nyelvi és Irodalmi 1 BTK Olasz Nyelv és Irodalom T. 1 BTK Spanyol Nyelvi és Ir. Tsz. 1 Szakdolgozatok (GTK) - Szakdolgozatok (GTK) 1 többet mutat ... kevesebbet ...

e-book 251 Kézirat, kéziratfordítás 7 Rariora Hungarica gyűjtemény 1

könyv 1,529 disszertáció 45 folyóirat 17 szakdolgozat 11 kisnyomtatvány 9 kézirat 7 többet ... folyóiratcikk 4 könyvrészlet 2 többet mutat ... kevesebbet ...

angol 757 magyar 405 német 232 meghatározatlan 70 orosz 61 francia 49 többet ... latin 46 olasz 17 szanszkrit 15 ógörög 11 kínai 6 tibeti 6 többnyelvű 4 görög 3 lengyel 3 holland 2 román 2 arab 1 bolgár 1 cseh 1 portugál 1 spanyol 1 svéd 1 többet mutat ... kevesebbet ...

SpringerLink (Online service), közreadó testület 250 Ruzsa Imre (1921-2008) 27 Havas Katalin, G. (1929-) 20 Aristotelēs (Kr. e. 384-322) 19 G. Havas Katalin (1929-) 19 Galántainé Havas Katalin (1929-) 19 többet ... Aristote (Kr. e. 384-322) 18 Aristotel' (Kr. e. 384-322) 18 Aristoteles (Kr. e. 384-322) 18 Aristotelés (Kr. e. 384-322) 18 Aristotle (Kr. e. 384-322) 18 Arisztotelész (Kr. e. 384-322) 18 Hegel, Georg Wilhelm Friedrich (1770-1831) 13 Gegel' 11 Hegel, G. W. F 11 Erdei László 10 Frege, Friedrich Ludwig Gottlob (1848-1925) 10 Smullyan, Raymond M. (1919-) 10 Madarász Tiborné 9 Urbán János (1939-) 8 Fogarasi Béla (1891-1959) 7 Gil'bert, D. (1862-1943) 7 Hilbert, David (1862-1943) 7 Keisler, H. Jerome 7 Pólos László (1955-) 7 Baló József 6 Ers̆ov, Urij Leonidovič (1940-) 6 Eötvös Loránd Tudományegyetem (Budapest).Bölcsészettudományi Kar 6 Hermes, Hans (1912-?) 6 Husserl, Edmund (1859-1938) 6 többet mutat ... kevesebbet ...

logika 756 matematikai logika 558 tanulmányok 301 elektronikus könyv 251 konferenciakötet 246 filozófia 188 többet ... konferencia 154 Mathematical logic 142 Artificial intelligence 139 számítógépes logika 116 Computer logic 110 mesterséges intelligencia 110 matematikai logika -- konferencia 101 Software engineering 88 matematika 83 formális logika 81 PPK 78 szoftverfejlesztés 77 Logika 71 PPK -- Logika 70 Logic 65 informatika 59 Computers 53 modellelmélet 52 számítógépes logika -- konferencia 52 Application software 45 modellelmélet -- matematikai logika 43 Philosophy 40 doktori disszertáció 40 Algorithms 38 többet mutat ... kevesebbet ...