Package Springer Book Archive Mathematics 2000-2004

Provider
Springer Nature
Status
Current
Description
URL
UUID
413b6fc6-a5e4-4d40-b736-1722010cf496

Curated By

  • MLU Halle

TIPPs (1724)

Name Identifiers Coverage
New Essays in Free Logic
  • isbn : 9789401597616
  • pisbn : 9781402002168
 Fulltext
Frontiers in Belief Revision
  • isbn : 9789401598170
  • pisbn : 9780792370215
 Fulltext
Advances in Temporal Logic
  • isbn : 9789401595865
  • pisbn : 9780792361497
 Fulltext
An Introduction to Mathematical Logic and Type Theory
  • isbn : 9789401599344
  • pisbn : 9781402007637
 Fulltext
Thirty Five Years of Automating Mathematics
  • isbn : 9789401702539
  • pisbn : 9781402016561
 Fulltext
Intellectics and Computational Logic
  • isbn : 9789401593830
  • pisbn : 9780792362616
 Fulltext
Formal Aspects of Context
  • isbn : 9789401593977
  • pisbn : 9780792363507
 Fulltext
Foundations of Bayesianism
  • isbn : 9789401715867
  • pisbn : 9781402002236
 Fulltext
Abduction and Induction
  • isbn : 9789401706063
  • pisbn : 9780792362500
 Fulltext
Goal-Directed Proof Theory
  • isbn : 9789401717137
  • pisbn : 9780792364733
 Fulltext