Mathesis Universalis, Computability and Proof

Book title Buchtitel
Mathesis Universalis, Computability and Proof
 
 
Publisher Herausgeber
Springer International Publishing
 
Place of publishing Erscheinungsort
Cham
 
Series Schriftenreihe
Mathesis Universalis, Computability and Proof
 

Publications Publikationen



Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kuznets, Roman Through an Inference Rule, DarklyBuchbeitrag Book Contribution 2019