Studies in Proof Theory – Lecture Notes

Aggiungi al carrello
Quick View

Bounded Arithmetic

Autore: Buss Samuel R.

This dissertation uses methods from mathematical logic to examine issues continua

€31.00
Aggiungi al carrello
Quick View

Theories for admissible sets

Autore: Jäger Gerhard

In this Habilitationschrift we will present a unifying approch to continua

€26.00

©2023 BIBLIOPOLIS – Edizioni di Filosofia e Scienze