Shortcuts
SISSA Library . Default .
PageMenu- Main Menu-
Page content
 

Search Results

Your Search for PROOF THEORY AND CONSTRUCTIVE MATHEMATICS returned 4 Items

Search Result Page: .   1   .   . Page: 1 of 1
SELECT THE TITLE TO ACCESS THE AVAILABILITY INFORMATION
Display results in shelf format.
Search Results
Result Thumbnail Title Author Year Flags Holding Information
1 Algebra without Borders – Classical and Constructive Nonassociative Algebraic Structures: Foundations and Applications / Algebra without Borders – Classical and Constructive Nonassociative Algebraic Structures: Foundations and Applications / [Ebook]   2023 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
2 Logical Skills: Social-Historical Perspectives / Logical Skills: Social-Historical Perspectives / [Ebook]   2021 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
3 Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi / Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi / [Ebook] Indrzejczak, Andrzej 2021 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
4 Mastering Calculus through Practice: A Study Guide with over 300 Solved Exercises / Mastering Calculus through Practice: A Study Guide with over 300 Solved Exercises / [Ebook] Teixeira, Bárbara de Holanda Maia 2021 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
Search Result Page: .   1   .   . Page: 1 of 1
SELECT THE TITLE TO ACCESS THE AVAILABILITY INFORMATION

Quick Search