Space in weak propositional proof sy...
Bonacina, Ilario.

 

  • Space in weak propositional proof systems
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Space in weak propositional proof systems/ by Ilario Bonacina.
    Author: Bonacina, Ilario.
    Published: Cham :Springer International Publishing : : 2017.,
    Description: xvii, 130 p. :ill., digital ; : 24 cm.;
    Contained By: Springer eBooks
    Subject: Proof theory. -
    Online resource: http://dx.doi.org/10.1007/978-3-319-73453-8
    ISBN: 9783319734538
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login