Skip to content

NovaLib

Sample Page
library

NovaLib

Sample Page

Library / Author / Sergio Galvan

Books by author

Sergio Galvan

An Introduction to Proof Theory. Normalization, Cut-Elimination, and Consistency Proofs

An Introduction to Proof Theory. Normalization, Cut-Elimination, and Consistency Proofs

2021 · ENGLISH · PDF

View details →

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

2021 · ENGLISH · PDF

View details →

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

2021 · ENGLISH · PDF

View details →

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

2021 · ENGLISH · PDF

View details →

Non contraddizione e terzo escluso. Le regole della negazione nella logica classica, intuizionistica e minimale

Non contraddizione e terzo escluso. Le regole della negazione nella logica classica, intuizionistica e minimale

1997 · ITALIAN · PDF

View details →

Analytic Philosophy Without Naturalism

Analytic Philosophy Without Naturalism

2005 · ENGLISH · PDF

View details →

Analytic Philosophy Without Naturalism

Analytic Philosophy Without Naturalism

2005 · ENGLISH · PDF

View details →

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme