Studies in Proof Theory - Lecture Notes

Visualizzazione di 2 risultati

• 

  

  Bounded Arithmetic

  Autore: Buss Samuel R.

  This dissertation uses methods from mathematical logic to examine issues continua

  €31.00

• 

  

  Theories for admissible sets

  Autore: Jäger Gerhard

  In this Habilitationschrift we will present a unifying approch to continua

  €26.00