*sublabel_Solr*
*custom_text_above_search_result**custom_text_above_search_result_Solr*
*Showing* 1 - 20
*of* 512
*custom_text_below_search_result*
*Narrow Search*
*facet_department*
*facet_classification_rvk*
*s200*
235
*s100*
162
*e200*
140
*c100*
131
*a100*
89
*g100*
67
*more* ...
*q100*
54
*m200*
32
*c200*
29
*b100*
25
*e300*
20
*p100*
17
*d100*
16
*z250*
14
*a200*
13
*n100*
12
*z220*
10
*z230*
10
*e100*
9
*u100*
8
*z280*
8
*h100*
6
*i100*
6
*z300*
6
*l400*
5
*l300*
4
*m100*
4
*NIL*
3
*e210*
3
*k100*
3
*less* ...
*facet_topic_facet*
Mathematische Logik
105
Lehrbuch
67
Logik
43
Konferenzschrift
34
Linguistik
26
Künstliche Intelligenz
25
*more* ...
Einführung
24
Semantik
19
Berechnungstheorie
18
Formale Grammatik
18
Hochschulschrift
17
Philosophie
17
Formale Sprache
16
Deutsch
15
Formale Semantik
15
Natürliche Sprache
15
Theoretische Informatik
15
Formale Syntax
14
Informatik
14
Logische Programmierung
13
Syntax
13
Negation
12
Programmierlogik
12
Sprache
12
Formale Methode
11
Programmiersprache
11
Aussagenlogik
10
Berechenbarkeit
10
Computerlinguistik
10
Mathematik
10
*less* ...
*facet_material_brief*
*facet_author_facet*
Feistel, Hartmut-Ortwin
8
George, Dieter
8
Voigt, Wolfgang
8
Ebbinghaus, Heinz-Dieter
7
Flum, Jörg
7
Kutschera, Franz von
7
*more* ...
Thomas, Wolfgang
7
de Queiroz, Ruy
7
Carnap, Rudolf
6
Lerch, Reinhard
5
Quiring-Zoche, Rosemarie
5
Rautenberg, Wolfgang
5
Stegmüller, Wolfgang
5
Beierle, Christoph
4
Breitkopf, Alfred
4
Carstensen, Kai-Uwe
4
Kern-Isberner, Gabriele
4
Kleine Büning, Hans
4
Kohlenbach, Ulrich
4
Ausubel, David P.
3
Beckermann, Ansgar
3
Bedürftig, Thomas
3
Boolos, George
3
Börger, Egon
3
Burgess, John P.
3
Bühler, Karl
3
Cori, René
3
Ebert, Christian
3
Ebert, Cornelia
3
Hasenjaeger, Gisbert
3
*less* ...
*facet_publish_date*
*Filter*