Sequents and Trees, An Introduction to the Theory and Applications of Propositional Sequent Calculi, by Andrzej Indrzejczak
Label
Sequents and Trees, An Introduction to the Theory and Applications of Propositional Sequent Calculi, by Andrzej Indrzejczak
resource.antecedentSource
mixed
Color
not applicable
Dimensions
unknown
Edition
1st ed. 2021.
resource.fileFormat
multiple file formats
Form Of Item
electroniconline
Isbn
9783030571450
resource.levelOfCompression
uncompressed
Physical Description
1 online resource
resource.qualityAssuranceTargets
absent
resource.reformattingQuality
access
Specific Material Designation
remote
Cover Art
Access location
Carrier category
Media category
Mapped to
Incoming Resources
- Item of1
Outgoing Resources
- Instantiates1
- Access location1
- Carrier category1
- Media category1
- Publication1
- Mapped to1