Gabbay, Dov M. - Goal-Directed Proof Theory (Applied Logic Series, 21, Band 21)

Brand : Springer, Binding : Gebundene Ausgabe, Edition : 2000, Label : Springer, Publisher : Springer, PackageQuantity : 1, medium : Gebundene Ausgabe, numberOfPages : 278, publicationDate : 2000-08-31, releaseDate : 2000-08-31, authors : Gabbay, Dov M., N. Olivetti, ISBN : 0792364732 ...