Serie
lecture notes in computer science
(38)lecture notes in mathematics
(12)issn
(11)lecture notes in artificial intelligence
(11)grundlagen der kommunikation und kognition / foundations of communication and cognition
(4)springer-lehrbuch
(4)de gruyter series in logic and its applications
(3)grundlagen der kommunikation und kognition/foundations of communication and cognition
(3)hochschultext
(3)lecture notes in logic
(3)oxford texts in logic
(3)sammlung goeschen
(3)sammlung göschen
(3)studies in logic and the found
(3)studies in logic and the foundations of mathematics
(3)studies in universal logic
(3)universitext
(3)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
gabbay, dov m.
(3)hans hermes
(3)voronkov, andrei
(3)wolfgang rautenberg
(3)alexander prestel
(2)goncharov, sergei
(2)hilbert, david
(2)j. flum
(2)jouannaud, jean-pierre
(2)lorenzen, paul
(2)müller, g. h.
(2)nielsen, mogens
(2)privara, igor
(2)robinson, alan
(2)ruzicka, peter
(2)schroeder-heister, peter
(2)varga von kibéd, matthias
(2)wolfgang thomas
(2)wolfgang tschirk
(2)zakharyaschev, michael
(2)a. tarski
(1)adian, sergei
(1)alan p. parkes
(1)alfred tarski
(1)andreas, holger
(1)andrzej szepietowski
(1)andréka, hajnal
(1)arnold, andre
(1)ausiello, giorgio
(1)baaz, matthias
(1)barteld kooi
(1)barwise, jon
(1)benjamin blankertz
(1)berg, jan
(1)bernd mahr
(1)beziau, jean-yves
(1)bibel, wolfgang
(1)biskup, joachim
(1)boole, george
(1)bornat, richard
(1)bornet, gerard
(1)brookes, stephen
(1)bucher, theodor g.
(1)burkhard, rainer
(1)böhm, c.
(1)börger, e.
(1)börger, egon
(1)bündgen, reinhard
(1)camilleri, juanito
(1)charles n. delzell
(1)chiswell, ian
(1)christian tapp
(1)comon, hubert
(1)cori, rene
(1)cristina sernadas
(1)crossley, j. n.
(1)d.l. johnson
(1)daniel cunningham
(1)david hilbert
(1)demetrovics, janos
(1)denvir, b. t.
(1)derek goldrei
(1)dezani-ciancaglini, mariangiola
(1)dieter landers
(1)dirk siefkes
(1)dirk w. hoffmann
(1)dix, jürgen
(1)donald w. mertz
(1)douglas s. bridges
(1)dov m. gabbay
(1)dyckhoff, roy
(1)e. bergmann
(1)e. engeler
(1)eckart menzler-trott
(1)else m. barth
(1)emde-boas, peter van
(1)enderton, herbert b.
(1)erik c. krabbe
(1)eriksson, lars-henrik
(1)ernest nagel
(1)erwin engeler
(1)even, s.
(1)f. cornelius
(1)feng ye
(1)fiala, jiri
(1)fujisaki, tetsunosuke
(1)furukawa, koichi
(1)fülöp, zoltan
(1)g.e. reyes
(1)galatos, nikolaos
(1)gecseg, ferenc
(1)georg kreisel
(1)george tourlakis
(1)girard, jean-yves
(1)giuseppe peano
(1)gobrecht, reinhard
(1)gorny, peter
(1)grattan-guinness, ivor
(1)gödel, kurt
(1)götze, wolfgang
(1)Verlag / Hersteller
av akademikerverlag
(2)birkhäuser basel
(3)books on demand
(2)cambridge university press
(3)crc press
(7)de gruyter
(22)elsevier science
(4)john wiley & sons
(5)oxford university press
(4)springer berlin heidelberg
(80)springer international publishing
(3)springer london
(5)springer netherlands
(5)springer new york
(6)springer vienna
(5)taylor & francis
(2)vieweg+teubner verlag
(7)Verlag
av akademikerverlag
(2)birkhäuser basel
(3)books on demand
(2)brill mentis
(2)cambridge university press
(3)crc press
(7)de gruyter
(22)elsevier science
(4)john wiley & sons
(5)oxford university press
(5)springer berlin heidelberg
(80)springer international publishing
(3)springer london
(5)springer netherlands
(5)springer new york
(6)springer vienna
(5)taylor & francis
(2)vieweg+teubner verlag
(7)Genre
mathematik
(111)medizin
(111)naturwissenschaften
(111)technik
(111)geisteswissenschaften
(24)kunst
(24)musik
(24)recht
(2)sozialwissenschaften
(2)wirtschaft
(2)Schlagwort
mathematische logik
(188)mathematik
(103)logic
(81)logik
(74)mathematical logic and foundations
(71)mathematischelogik
(69)philosophie
(55)informatik
(54)mathematics
(53)grundlagen
(50)edv
(48)mathematische grundlagen
(43)mathematical logic and formal languages
(32)theory of computation
(32)mathematical logic
(29)allgemeines
(23)artificial intelligence
(21)programming
(21)mathematicallogic
(19)algorithms
(18)mathematics, general
(18)mathematik: logik
(18)künstliche intelligenz
(17)proof
(17)calculus
(16)complexity
(16)lexika
(16)beweis
(15)computer science
(14)formale sprachen
(14)logics and meanings of programs
(14)set theory
(14)theorie
(14)mengenlehre
(13)semantics
(13)computer
(12)programmierung
(12)sonstiges
(12)algebra
(11)algorithmen
(11)automata
(11)intelligenz
(11)ki
(11)künstliche intelligenz (ki)
(11)künstliche intelligenz - ai
(11)model theory
(11)philosophy
(11)settheory
(11)automat
(10)diskrete mathematik
(10)programming techniques
(10)proof theory
(10)software engineering
(10)theoretische informatik
(10)variable
(10)arithmetic
(9)computers
(9)discrete mathematics
(9)geschichte
(9)modeltheory
(9)theorem
(9)analysis
(8)informatik, computer
(8)algorithm
(7)computability theory
(7)computation by abstract devices
(7)general
(7)history of mathematical sciences
(7)knowledge
(7)modelltheorie
(7)philosophie, geisteswissenschaften
(7)programming language
(7)programminglanguage
(7)prooftheory
(7)prädikatenlogik
(7)aussagenlogik
(6)compactness theorem
(6)forcing
(6)formal language
(6)formallanguage
(6)geschichte der mathematik
(6)knowledge representation
(6)komplexität
(6)proving
(6)software engineering/programming and operating systems
(6)technik
(6)theorem proving
(6)verification
(6)ableitung
(5)algorithm analysis and problem complexity
(5)algorithmus
(5)arithmetik
(5)automatentheorie
(5)compactnesstheorem
(5)computer system implementation
(5)extension
(5)geometrie
(5)geometry
(5)knowledgerepresentation
(5)lambda calculus
(5)Erscheinungsjahr
1927
(1)1932
(1)1937
(1)1958
(1)1963
(1)1968
(1)1969
(2)1970
(1)1972
(2)1973
(2)1975
(4)1977
(4)1978
(1)1979
(1)1980
(2)1981
(3)1982
(1)1983
(3)1984
(1)1985
(2)1986
(1)1987
(3)1988
(4)1989
(2)1990
(1)1991
(5)1992
(5)1993
(3)1994
(7)1995
(4)1996
(3)1997
(5)1998
(7)1999
(5)2000
(2)2001
(9)2002
(4)2003
(2)2004
(4)2005
(8)2006
(1)2007
(6)2008
(7)2009
(6)2010
(3)2011
(5)2012
(7)2013
(6)2014
(1)2015
(4)2016
(4)2017
(3)2018
(5)2020
(2)2021
(1)2022
(4)2023
(1)2024
(3)Ergebnis: 188 Artikel
Schlagwort: mathematische logik
