ELTE összesen 516 IK Kari Könyvtár 253 TTK Kari Könyvtár 198 Egyetemi Könyvtár és Levéltár 96 TÁTK Kari Könyvtár 19 TÓK Könyvtár 17 többet ... BGGYK Könyvtára 14 BTK Filozófiai Intézet Kvt. 8 PPK Kari Könyvtár 8 BTK Közp. Olvasóterem 7 Mednyánszky Dénes Könyvtár és 5 Márton Áron Szakkoll. Kvt. 5 ÁJK Kari Könyvtár 3 BTK Könyvtár- és Inf.tud. Int. 2 BTK Magyar Nytud. és Finnugor 2 Bárczi Általános Iskola Kvt. 2 EDIT 2 BTK Francia Nyelvi és Irodalmi 1 BTK Indológiai és Indoe. Szkgy 1 BTK Germanisztikai Int. Kvt. 1 BTK Szláv és Balti Filológiai 1 többet mutat ... kevesebbet ...

e-book 136

könyv 540 disszertáció 9 folyóirat 7 szakdolgozat 1

angol 375 magyar 92 német 44 orosz 42 francia 10 ógörög 1 többet ... cseh 1 olasz 1 svéd 1 többet mutat ... kevesebbet ...

SpringerLink (Online service), közreadó testület 136 Smullyan, Raymond M. (1919-) 9 Urbán János (1939-) 8 Frege, Friedrich Ludwig Gottlob (1848-1925) 7 Gil'bert, D. (1862-1943) 7 Hilbert, David (1862-1943) 7 többet ... Keisler, H. Jerome 7 Ers̆ov, Urij Leonidovič (1940-) 6 Hermes, Hans (1912-?) 6 Ruzsa Imre (1921-2008) 6 Barwise, Jon 5 Ebbinghaus, Heinz-Dieter (1939-) 5 Frege, Gottlob 5 Pásztorné Varga Katalin 5 Robinson, Abraham (1918-1974) 5 Varga Tamás (1919-1987) 5 Adân, Sergej Ivanovič 4 Asser, Günter 4 Bolyai János Matematikai Társulat (Budapest) 4 Ebbinhauz, G.-D 4 Ershov, Yu. L 4 Hámori Miklós 4 Minc, G. E. 4 Uspenskij, Vladimir Andreevič 4 Ackermann, Wilhelm (1896-1962), Tft 3 European Joint Conferences on Theory and Practice of Software22.(2019) (Prague, Czech Republic) 3 Flum, Jörg 3 International Conference on Tools and Algorithms for the Construction and Analysis of Systems25.(2019) (Prague, Czech Republic) 3 Kabakov, F. A. 3 Kleene, Stephen Cole (1909-1994) 3 többet mutat ... kevesebbet ...

matematikai logika tanulmányok 158 konferenciakötet 150 elektronikus könyv 136 Mathematical logic 129 konferencia 110 többet ... matematikai logika -- konferencia 101 Artificial intelligence 78 mesterséges intelligencia 63 matematika 53 modellelmélet 52 Computer logic 49 számítógépes logika 47 Software engineering 45 formális logika 44 modellelmélet -- matematikai logika 43 szoftverfejlesztés 37 Logic, Symbolic and mathematical 32 Algorithms 31 Application software 28 számítógépes logika -- konferencia 27 logika 26 informatika 25 Database management 24 adatbáziskezelés 24 filozófia 24 programozási nyelvek 24 halmazelmélet 22 Computer science—Mathematics 20 Computers 20 többet mutat ... kevesebbet ...