Proof theory sequent calculi and related formalisms

other_versions_link
Bibliografische gegevens
Hoofdauteur: Bimbo, Katalin
Formaat: Printed Book
Taal:English
Gepubliceerd in: Boca Raton CRC press 2015
Reeks:Discrete mathematics and its applications
Onderwerpen:
Proof theory
Non classical logic
Display calculi

UL

Exemplaargegevens van UL
Plaatsingsnummer: 510.6 BIM
510.6 BIM;1
Kopie Status is onbeschikbaar
Kopie Status is onbeschikbaar

Gelijkaardige items