ELTE összesen 524 IK Kari Könyvtár 266 TTK Kari Könyvtár 200 Egyetemi Könyvtár és Levéltár 86 TÁTK Kari Könyvtár 19 TÓK Könyvtár 17 többet ... BGGYK Könyvtára 14 PPK Kari Könyvtár 13 BTK Filozófiai Intézet Kvt. 7 BTK Közp. Olvasóterem 7 Márton Áron Szakkoll. Kvt. 6 Mednyánszky Dénes Könyvtár és 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 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

angol 381 magyar 87 orosz 42 német 41 francia 9 meghatározatlan 5 többet ... ógörög 1 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 Lavrov, Igor' Andreevič (1937-2011) 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 többet mutat ... kevesebbet ...

matematikai logika 540 tanulmányok 166 konferenciakötet 158 elektronikus könyv 136 Mathematical logic 129 konferencia 111 többet ... matematikai logika -- konferencia 101 Artificial intelligence 78 mesterséges intelligencia 63 matematika 52 modellelmélet 52 Computer logic 49 számítógépes logika 47 Software engineering 45 formális logika 43 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 programozási nyelvek 24 filozófia 23 halmazelmélet 22 Computer science—Mathematics 20 Computers 20 többet mutat ... kevesebbet ...