Skip to content

NovaLib

Sample Page
library

NovaLib

Sample Page

Library / Author / Razvan Diaconescu

Books by author

Razvan Diaconescu

Institution-independent Model Theory

Institution-independent Model Theory

2025 · ENGLISH · PDF

View details →

Logic and Computation

Logic and Computation

2023 · ENGLISH · PDF

View details →

Recent Trends in Algebraic Development Techniques: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

2015 · ENGLISH · PDF

View details →

Institution-independent Model Theory

Institution-independent Model Theory

2008 · ENGLISH · PDF

View details →

Institution-independent Model Theory

Institution-independent Model Theory

2008 · ENGLISH · PDF

View details →

Institution-independent Model Theory

Institution-independent Model Theory

2008 · ENGLISH · PDF

View details →

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme