Frontiers in Belief Revision |
- isbn : 9789401598170
- pisbn : 9780792370215
|
Fulltext
|
An Introduction to Mathematical Logic and Type Theory |
- isbn : 9789401599344
- pisbn : 9781402007637
|
Fulltext
|
Intellectics and Computational Logic |
- isbn : 9789401593830
- pisbn : 9780792362616
|
Fulltext
|
Abduction and Induction |
- isbn : 9789401706063
- pisbn : 9780792362500
|
Fulltext
|
Foundations of Bayesianism |
- isbn : 9789401715867
- pisbn : 9781402002236
|
Fulltext
|
Goal-Directed Proof Theory |
- isbn : 9789401717137
- pisbn : 9780792364733
|
Fulltext
|
A Short Introduction to Intuitionistic Logic |
- isbn : 9780306469756
- pisbn : 9780306463945
|
Fulltext
|
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms |
- isbn : 9781461501855
- pisbn : 9780306477126
|
Fulltext
|
Linear Control Systems |
- isbn : 9781461505532
- pisbn : 9780306467431
|
Fulltext
|
Computability and Models |
- isbn : 9781461507550
- pisbn : 9780306474002
|
Fulltext
|