JOURNAL ARTICLE
Mathematical Logic: Proof theory, Constructive Mathematics
Abstract
The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of current mathematics, constructive mathematics and logical aspects of computational complexity
Keywords:
Constructive Constructive proof Calculus (dental) Mathematical logic Algebra over a field Mathematical proof Proof complexity Current (fluid)
Metrics
0
Cited By
0.00
FWCI (Field Weighted Citation Impact)
0
Refs
0.38
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
History and Theory of Mathematics
Physical Sciences → Mathematics → Theoretical Computer Science
Computability, Logic, AI Algorithms
Physical Sciences → Computer Science → Computational Theory and Mathematics
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
JOURNAL ARTICLE
Mathematical Logic: Proof Theory, Constructive Mathematics
Samuel R. BussUlrich KohlenbachHelmut Schwichtenberg
Journal: Oberwolfach Reports Year: 2009 Vol: 5 (2)Pages: 907-952
JOURNAL ARTICLE
Mathematical Logic: Proof Theory, Constructive Mathematics
Mathematisches Forschungsinstitut Oberwolfach
Journal: Mathematisches Forschungsinstitut Oberwolfach Year: 2008
JOURNAL ARTICLE
Mathematical Logic: Proof Theory, Constructive Mathematics
Mathematisches Forschungsinstitut Oberwolfach
Journal: Mathematisches Forschungsinstitut Oberwolfach Year: 2023
JOURNAL ARTICLE
Mathematical Logic: Proof theory, Constructive Mathematics
Mathematisches Forschungsinstitut Oberwolfach
Journal: Mathematisches Forschungsinstitut Oberwolfach Year: 2014
JOURNAL ARTICLE
Mathematical Logic: Proof Theory, Constructive Mathematics
Samuel R. BussUlrich KohlenbachMichael Rathjen
Journal: Oberwolfach Reports Year: 2012 Vol: 8 (4)Pages: 2963-3002