Megjelenítés:
601 - 558
/
558
- kulcsszavak: '
'
Skip to content
Előző online katalógus
Gimikatalógus
Saját polc
Kijelentkezés
Bejelentkezés
English
magyar
A könyvtárakban
Külső adatbázisokban
EBSCO adatbázisokban
Egyéb adatbázisokban
Bármely mező
Cím
Szerző
Tárgyszó
ISBN/ISSN
Címke
Böngészés betűrendben: Témakör szerint
Böngészés betűrendben: Szerző szerint
Böngészés betűrendben: Cím szerint
Bármely mező
Cím
Szerző
Tárgyszó
Bármely mező
Cím
Szerző
Tárgyszó
Folyóirat címe
Bármely mező
Cím
Szerző
Tárgyszó
Jelzet
ISBN/ISSN
Címke
Keresés
Összetett
Böngészés
Szűrők törlése
Tárgyszó:
matematikai logika
Szűrők törlése
Szűrők megjelenítése (1)
Tárgyszó:
matematikai logika
Keresés:
Megjelenítés:
601 - 558
/
558
- kulcsszavak: '
'
, keresési idő: 0.01mp
Találatok szűrése
Rendezés
Relevancia szerint csökkenő
Megjelenési év szerint csökkenő
Megjelenési év szerint növekvő
Jelzet szerint növekvő
Szerző szerint növekvő
Szerző szerint csökkenő
Cím szerint növekvő
Cím szerint csökkenő
[1]
Előző
18
19
20
21
22
23
24
25
26
27
28
[1]
Előző
18
19
20
21
22
23
24
25
26
27
28
Keresőeszközök:
RSS-hírfolyam
—
Keresés küldése emailben
—
Keresés mentése
Vissza
Keresés szűkítése
Lelőhely
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 ...
Különgyűjtemény
e-book
136
Formátum
könyv
540
disszertáció
9
folyóirat
7
szakdolgozat
1
Nyelv
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 ...
Szerző
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 ...
Tárgyszó
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 ...
Megjelenés éve
Időszak kezdete:
Időszak vége:
×
Betöltés...