Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
ciuni, roberto
(2)hou, zhe
(2)wansing, heinrich
(2)willkommen, caroline
(2)amer, mohamed a.
(1)andrzej indrzejczak
(1)flávio l. c. de moura
(1)mauricio ayala-rincón
(1)Verlag / Hersteller
springer international publishing
(3)springer, berlin springer international publishing springer
(3)Genre
geisteswissenschaften
(3)kunst
(3)mathematik
(3)medizin
(3)musik
(3)naturwissenschaften
(3)technik
(3)Schlagwort
natural deduction
(7)
naturaldeduction
(7)allgemeines
(4)lexika
(4)philosophie
(4)edv
(3)first-order logic
(3)first-orderlogic
(3)informatik
(3)logic
(3)logik
(3)mathematical logic and foundations
(3)proof theory
(3)prooftheory
(3)sequent calculus
(3)sequentcalculus
(3)advances in philosophical logic
(2)advancesinphilosophicallogic
(2)automata theory
(2)automatatheory
(2)computability
(2)curry-howard correspondence
(2)curry-howardcorrespondence
(2)epistemology
(2)formal languages
(2)formallanguages
(2)knowability paradox
(2)knowabilityparadox
(2)mathematical logic
(2)mathematical logic and formal languages
(2)mathematicallogic
(2)non-classical logic
(2)non-classical logics
(2)non-classicallogic
(2)non-classicallogics
(2)paraconsistent logic
(2)paraconsistentlogic
(2)proof systems
(2)proofsystems
(2)propositional logic
(2)propositionallogic
(2)theory of computation
(2)trends in logic
(2)trendsinlogic
(2)algebraic functions
(1)algebraicfunctions
(1)algebriazation
(1)algorithms
(1)arithmetization
(1)artificial intelligence
(1)axiomatization
(1)classical logic
(1)classicallogic
(1)computerprogrammierung und softwareentwicklung
(1)decidatbility
(1)deductive computational framework
(1)deductivecomputationalframework
(1)epistemologie
(1)formal languages and automata theory
(1)frames
(1)hybrid logics
(1)hybrid systems
(1)hybridlogics
(1)hybridsystems
(1)independence and inadequacy
(1)independenceandinadequacy
(1)informatik, computer
(1)logics and meanings of programs
(1)math applications in computer science
(1)mathe
(1)mathematik
(1)modal logic
(1)modallogic
(1)predicate and propositional logic
(1)predicateandpropositionallogic
(1)proving
(1)racter
(1)resolution
(1)sorites
(1)soundness and completeness
(1)soundnessandcompleteness
(1)structures, models and order models
(1)structures,modelsandordermodels
(1)temporal logics
(1)temporallogics
(1)venn models
(1)vennmodels
(1)Ergebnis: 7 Artikel
Schlagwort: naturaldeduction
