Mathematical Logic: Proof Theory, Constructive Mathematics

(:Unkn) Unknown

doi:10.34657/12014

ScienceGate Book Chapters

JOURNAL ARTICLE

Mathematical Logic: Proof Theory, Constructive Mathematics

(:Unkn) Unknown

Year: 2011 Journal: TIB Repositorium

DOI: 10.34657/12014

Get Full-Text PDF Get Analytical Report

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) Algebra over a field Mathematical logic Mathematical proof Current (fluid)

Metrics

Cited By

0.00

FWCI (Field Weighted Citation Impact)

Refs

0.42

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Topics

Computability, Logic, AI Algorithms

Physical Sciences → Computer Science → Computational Theory and Mathematics

History and Theory of Mathematics

Physical Sciences → Mathematics → Theoretical Computer Science

Logic, programming, and type systems

Physical Sciences → Computer Science → Artificial Intelligence

Mathematical Logic: Proof Theory, Constructive Mathematics

Abstract

Metrics

Topics

Related Documents