Languages
Covers
Jump To : Overview | Titles | Subjects

Centrone, Stefania.

Overview
Works: 1 works in 2 publications in 1 languages
Titles
Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis by: SpringerLink (Online service); Centrone, Stefania.; Minari, Pierluigi. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/aut]
Mathesis Universalis, Computability and Proof by: Sarikaya, Deniz.; Centrone, Stefania.; Schuster, Peter M.; Negri, Sara.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Reflections on the Foundations of Mathematics = Univalent Foundations, Set Theory and General Thoughts / by: Centrone, Stefania.; SpringerLink (Online service); Kant, Deborah.; Sarikaya, Deniz. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Essays on Husserl's logic and philosophy of mathematics by: Husserl, Edmund, (1859-1938); SpringerLink (Online service); Centrone, Stefania. (Language materials, printed)
Temporal logic = from philosophy and proof theory to artificial intelligence and quantum computing / by: Centrone, Stefania.; Mainzer, Klaus. (Language materials, printed)
 
 
Change password
Login