Serie
lecture notes in computer science
(96)lecture notes in artificial intelligence
(19)theoretical computer science and general issues
(18)synthese library
(13)trends in logic
(10)mathematics and its applications
(9)applied logic series
(8)universitext
(8)discrete mathematics and its applications
(7)graduate texts in mathematics
(7)ak peters/crc recreational mathematics series
(6)lecture notes in mathematics
(6)textbooks in mathematics
(6)theory and applications of computability
(6)chapman & hall/crc pure and applied mathematics
(5)perspectives in mathematical logic
(5)programming and software engineering
(5)routledge revivals
(5)cognitive technologies
(4)discrete mathematics and theoretical computer science
(4)lecture notes in logic
(4)outstanding contributions to logic
(4)springer monographs in mathematics
(4)studies in computational intelligence
(4)issn
(3)modern birkhäuser classics
(3)progress in theoretical computer science
(3)routledge library editions: logic
(3)the mit press
(3)Hauptwarengruppe
mathematik, naturwissenschaften, technik, medizin
(349)geisteswissenschaften, kunst, musik
(53)Detailwarengruppe
informatik
(156)populäre darstellungen
(36)analysis
(15)arithmetik/algebra
(11)programmiersprachen
(10)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
dov m. gabbay
(6)löwe, benedikt
(5)alfred tarski
(4)lenski, wolfgang
(4)müller, gert h.
(4)chris bernhardt
(3)gabbay, dov m.
(3)gottlob, georg
(3)martin-vide, carlos
(3)rovan, branislav
(3)shashi mohan srivastava
(3)veith, helmut
(3)a.g. kusraev
(2)a.j. ovsyannikov
(2)a.l. semenov
(2)alexander meduna
(2)alexandr draganov
(2)andrew gleason
(2)atara shriki
(2)audun jøsang
(2)augustus de morgan
(2)b. v. senthil kumar
(2)bel-enguix, gemma
(2)bernd schröder
(2)boole, george
(2)bowen, jonathan p.
(2)brewer, william d.
(2)bruno poizat
(2)börger, egon
(2)capelas de oliveira, edmundo
(2)charles parsons
(2)charles roberts
(2)ciuni, roberto
(2)clarke, edmund m.
(2)clifford bergman
(2)cooper, s. b.
(2)cooper, s. barry
(2)cristina sernadas
(2)danilo r. diedrichs
(2)david j. pym
(2)david marker
(2)david s. gunderson
(2)denis bell
(2)dershowitz, nachum
(2)desmond machale
(2)domenico cantone
(2)donald gillies
(2)douglas r. shier
(2)douglas s. bridges
(2)droste, manfred
(2)elena anne marchisotto
(2)ernst zermelo
(2)evangelos triantaphyllou
(2)francisco doria (coppe - federal university of rio de janeiro, brazil)
(2)fuchs, lászló
(2)g. zhang
(2)gasser, james
(2)goldsmith, brendan
(2)gordon j. pace
(2)greg restall
(2)gregory chaitin
(2)guillermo e. rosado haddock
(2)gupta, gopal
(2)h. paul williams
(2)haimanti sarbadhikari
(2)hemen dutta
(2)henzinger, thomas a.
(2)ignacio matte-blanco
(2)igor lavrov
(2)ilario bonacina
(2)isaac wilhelm
(2)j. richard büchi
(2)j.d. monk
(2)j.n. findlay
(2)jason i. brown
(2)jayant v. narlikar
(2)jerry butters
(2)jim henle
(2)jiménez-lópez, m. dolores
(2)joel spencer
(2)john d. ross
(2)john pollock
(2)john taylor
(2)joseph r. shoenfield
(2)karl schlechta
(2)katalin bimbó
(2)kendall c. richards
(2)kenneth e. hummel (trinity university, san antonio, texas, usa)
(2)kenneth w. regan
(2)kohlenbach, ulrich
(2)krause, décio
(2)l.n. shevrin
(2)larisa maksimova
(2)laszlo csirmaz
(2)leitsch, alexander
(2)luca paolini
(2)luminita simona vîta
(2)marcelo coniglio
(2)marilyn a. reba
(2)mark v. lawson
(2)Verlag / Hersteller
benediction classics
(2)birkhäuser boston
(10)college publications
(5)crc press
(82)de gruyter
(5)lap lambert academic publishing
(5)mit press
(3)springer berlin heidelberg
(132)springer international publishing
(45)springer london
(8)springer nature switzerland
(2)springer netherlands
(38)springer new york
(24)springer us
(13)springer vienna
(2)springer, berlin springer international publishing editora da unicamp springer
(2)springer, berlin springer international publishing springer
(6)springer, berlin springer nature singapore springer
(2)taylor & francis
(33)tried and trusted indie publishing
(2)wipf and stock
(2)ws education
(2)wspc
(2)Verlag
benediction classics
(2)birkhäuser boston
(10)college publications
(5)crc press
(82)de gruyter
(5)editora da unicamp
(2)lap lambert academic publishing
(5)mit press
(3)springer
(11)springer berlin heidelberg
(132)springer international publishing
(54)springer london
(8)springer nature singapore
(3)springer nature switzerland
(2)springer netherlands
(38)springer new york
(24)springer us
(13)springer vienna
(2)springer, berlin
(13)taylor & francis
(33)tried and trusted indie publishing
(2)wipf and stock
(2)ws education
(2)wspc
(2)Genre
mathematik
(185)medizin
(185)naturwissenschaften
(185)technik
(185)geisteswissenschaften
(6)kunst
(6)musik
(6)importe
(2)Schlagwort
mathematical logic
(441)mathematicallogic
(200)logic
(187)mathematik
(165)informatik
(151)edv
(149)mathematical logic and foundations
(141)grundlagen
(84)theory of computation
(77)logik
(75)mathematics
(72)mathematical logic and formal languages
(71)mathematische grundlagen
(70)set theory
(66)philosophie
(65)algorithms
(63)mathematik: logik
(63)allgemeines
(57)complexity
(56)artificial intelligence
(53)theorie
(47)programming
(46)computer science
(45)künstliche intelligenz
(44)proof theory
(43)model theory
(41)intelligenz
(39)ki
(38)künstliche intelligenz - ai
(38)semantics
(37)computer
(36)theoretische informatik
(35)algebra
(34)lexika
(34)modeltheory
(34)software engineering
(33)logics and meanings of programs
(32)settheory
(32)discrete mathematics
(31)informatik, computer
(31)proof
(31)philosophy
(30)mathematische logik
(29)computability theory
(26)mathematics of computing
(26)calculus
(25)verification
(25)general
(24)programming languages, compilers, interpreters
(24)prooftheory
(22)automata
(21)computerscience
(21)complexity theory
(20)computers
(20)software engineering/programming and operating systems
(20)software-entw.
(20)philosophy of science
(19)theoretical computer science
(19)diskrete mathematik
(18)formal methods
(18)optimization
(18)undergraduate mathematics
(18)vice versa
(18)artificialintelligence
(17)logic programming
(17)philosophy of mathematics
(17)programmiersprachen
(17)analysis
(16)complexitytheory
(16)formal language
(16)combinatorics
(15)formallanguage
(15)mathematica
(15)model checking
(15)proof techniques
(15)algorithm
(14)computabilitytheory
(14)formal languages
(14)formal logic
(14)modal logic
(14)predicate logic
(14)programming language
(14)automata theory
(13)proving
(13)set theory foundations
(13)sets
(13)algorithmanalysisandproblemcomplexity
(12)arithmetic
(12)formallanguages
(12)formalmethods
(12)history of mathematical sciences
(12)mathematischelogik
(12)modallogic
(12)programmieren
(12)algorithm analysis and problem complexity
(11)computational logic
(11)computer science logic
(11)deduction
(11)formal method
(11)formal verification
(11)Erscheinungsjahr
1960
(1)1972
(1)1973
(2)1974
(3)1976
(1)1977
(1)1978
(1)1984
(1)1985
(1)1987
(1)1988
(4)1989
(2)1990
(1)1991
(6)1992
(5)1993
(6)1994
(5)1995
(6)1996
(5)1997
(4)1998
(4)1999
(7)2000
(12)2001
(9)2002
(15)2003
(12)2004
(9)2005
(12)2006
(9)2007
(6)2008
(11)2009
(5)2010
(37)2011
(20)2012
(21)2013
(16)2014
(14)2015
(5)2016
(18)2017
(13)2018
(18)2019
(23)2020
(7)2021
(21)2022
(19)2023
(20)2024
(11)2025
(7)2026
(2)2031
(1)Ergebnis: 441 Artikel
Schlagwort: mathematical logic
