Reinhard Kahle - Advances in Proof Theory (Progress in Computer Science and Applied Logic, Band 28)

Brand : Birkhäuser, Binding : Taschenbuch, Edition : Softcover reprint of the original 1st ed. 2016, Label : Birkhäuser, Publisher : Birkhäuser, medium : Taschenbuch, numberOfPages : 440, publicationDate : 2018-05-27, releaseDate : 2018-05-27, publishers : Reinhard Kahle, Thomas Strahm, Thomas Studer, ISBN : 3319805134 ...