Package Springer Book Archive Mathematics Complete

Provider
Springer Nature
Status
Current
Description
URL
UUID
767c7bcd-f9b0-40cc-bfbb-bfee7bca3736

Curated By

  • SLUB Dresden

TIPPs (7402)

Name Identifiers Coverage
Formal Aspects of Context
  • isbn : 9789401593977
  • pisbn : 9780792363507
  • doi : 10.1007/978-94-015-9397-7
 Fulltext
The Semantics and Proof Theory of the Logic of Bunched Implications
  • isbn : 9789401700917
  • pisbn : 9781402007453
  • doi : 10.1007/978-94-017-0091-7
 Fulltext
Advances in Intensional Logic
  • isbn : 9789401588799
  • pisbn : 9780792347118
  • doi : 10.1007/978-94-015-8879-9
 Fulltext
Foundations of Rational Agency
  • isbn : 9789401592048
  • pisbn : 9780792356011
  • doi : 10.1007/978-94-015-9204-8
 Fulltext
Frontiers in Belief Revision
  • isbn : 9789401598170
  • pisbn : 9780792370215
  • doi : 10.1007/978-94-015-9817-0
 Fulltext
What is Negation?
  • isbn : 9789401593090
  • pisbn : 9780792355694
  • doi : 10.1007/978-94-015-9309-0
 Fulltext
Frontiers of Combining Systems
  • isbn : 9789400903494
  • pisbn : 9780792342717
  • doi : 10.1007/978-94-009-0349-4
 Fulltext
Thirty Five Years of Automating Mathematics
  • isbn : 9789401702539
  • pisbn : 9781402016561
  • doi : 10.1007/978-94-017-0253-9
 Fulltext
Advances in Temporal Logic
  • isbn : 9789401595865
  • pisbn : 9780792361497
  • doi : 10.1007/978-94-015-9586-5
 Fulltext
New Essays in Free Logic
  • isbn : 9789401597616
  • pisbn : 9781402002168
  • doi : 10.1007/978-94-015-9761-6
 Fulltext