Proof theory -- Congresses

Subject

Browse all works related to Proof theory -- Congresses.

"14" Result
Sort By:
Proof complexity and feasible arithmetics

Proof complexity and feasible arithmetics: DIMACS workshop, April 21-24, 1996

by Buss, Samuel R., NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science, Beame, Paul W., DIMACS (Group), DIMACS Workshop on Feasible Arithmetics and Length of Proofs, Rutgers University)

fromDIMACS series in discrete mathematics and theoretical compu…

0 Type: Book

The 16 papers reflect some of the breakthroughs over the past dozen years in understanding whether or not logical inferences can be made in certain situations and what resources are necessary to make such inferences, questions that play a large role in computer science and artif…

Advances in proof theory

Advances in proof theory

fromProgress in computer science and applied logic

0 Type: Book

The volume is dedicated to the 60th birthday of Professor Gerhard Jäger, who has been instrumental in shaping and promoting logic in Switzerland for the last 25 years. It comprises contributions from the symposium Advances in Proof Theory, which was held in Bern in December 2013.