PUT Libary March 2007






Nr.Authors/EditorsTitleYearPlace





1.Abramsky/ Gabbay/ Maibaum Handbook of Logic in Computer Science
Vol. 1 - Background: Mathematical Structures
1992 Uwe
2.Abramsky/ Gabbay/ Maibaum Handbook of Logic in Computer Science
Vol. 2 - Background: Computational Structures
1992 Michal
3.Abramsky/ Gabbay/ Maibaum Handbook of Logic in Computer Science
Vol. 4 - Semantic Modelling
1995 Michal
4.Abramsky/ Gabbay/ Maibaum Handbook of Logic in Computer Science
Vol. 5 - Logic and Algebraic Methods
2000Michal





5.Gabbay/Guenther Handbook of Philosophical Logic, 2nd Ed., Vol. 1 2001 Michal
6.Gabbay/Guenther Handbook of Philosophical Logic, 2nd Ed., Vol. 2 2001 Michal
7.Gabbay/Guenther Handbook of Philosophical Logic, 2nd Ed., Vol. 3 2001 Michal
8.Gabbay/Guenther Handbook of Philosophical Logic, 2nd Ed., Vol. 4 2002 Michal
9.Gabbay/Guenther Handbook of Philosophical Logic, 2nd Ed., Vol. 5 2002 Michal
10.Gabbay/Guenther Handbook of Philosophical Logic, 2nd Ed., Vol. 6 2002 Michal
11.Gabbay/Guenther Handbook of Philosophical Logic, 2nd Ed., Vol. 7 2002 Michal
12.Gabbay/Guenther Handbook of Philosophical Logic, 2nd Ed., Vol. 8 2002 Michal
13.Gabbay/Guenther Handbook of Philosophical Logic, 2nd Ed., Vol. 9 ordered
14.Gabbay/Guenther Handbook of Philosophical Logic, 2nd Ed., Vol.10 2003 Michal
15.Gabbay/Guenther Handbook of Philosophical Logic, 2nd Ed., Vol.11 2004 Michal





16.van Leeuwen, Jan Handbook of Theoretical Computer Science
Vol. A - Algorithms and Complexity
1992 Uwe
17.van Leeuwen, Jan Handbook of Theoretical Computer Science
Vol. B - Formal Models and Semantics
1992 Thomas





18.Rozenberg/ Salomaa Handbook of Formal Languages
Vol. 1 - Word, Language, Grammar
1997 Uwe
19.Rozenberg/ Salomaa Handbook of Formal Languages
Vol. 2 - Linear Modeling: Background and Application
1997 Uwe





20.Robinson/ Voronkov Handbook of Automated Reasoning Vol. 1 2001 Marc
21.Robinson/ Voronkov Handbook of Automated Reasoning Vol. 2 2001 Marc





22. Borceux, Francis Handbook of Categorical Algebra
Vol. 1 - Basic Category Theory
1994 Uwe
23. Borceux, Francis Handbook of Categorical Algebra
Vol. 2 - Categories and Structures
1994 Uwe
24. Borceux, Francis Handbook of Categorical Algebra
Vol. 3 - Categories of Sheaves
1994 Uwe





25. Bidoit/Mosses CASL - User Manual2004 Uwe
26. Mosses, Peter D. CASL - Reference Manual2004 Uwe





27.Abadi/ CardelliA Theory of Objects 1996Uwe
28.Bader/ NipkowTerm Rewriting and All That 1998 Marc
29.Barwise/MossVicious circles1996 Michal
30.Blackburn/de Rijke/VenemaModal Logic2001 Michal
31.Bolc/BorowikMany-Valued Logics 2 2003 Michal
32.Broy/DenertSoftware Pioneers 2002 Uwe
33.Chagrov/ZakharyaschevModal Logic1997 Michal
34.Chang/KeislerModel Theory Michal
35.Cantor, GeorgTransfinite numbers1955 Michal
36.Ebbinghaus/FlumFinite Model Theory (2nd ed.)1999 Michal
37.de Queiroz, Ruy J.G.B. Logic for Concurrency and Synchronisation 2003 Michal
38.Girard/Lafont/Regnier(eds.) Advances in Linear Logic 1995 Michal
39.Harel/Kozen/TiurynDynamic Logic 2000 Uwe
40.Hodges, WilfridA shorter model theory 1997 Michal
41.Jacobs, BartCategorical Logic and Type Theory (paperback) 2001 Uwe
42.Johnstone, Peter T.Stone Spaces 1986 Michal
43.Lawvere/RoserbrughSets for Mathematics 2003 Uwe
44.Monin/HincheyUnderstanding Formal Methods Adis
45.Peled, Doron A.Software Reliability Methods 2001 Uwe
46.Poizat, Bruno A course in model theory 2000 Michal
47.Sieg/Sommer/Talcott(eds.) Reflections on the Foundations of Mathematics2002 Michal
48.Troelstra/ SchwichtenbergBasic Proof Theory 2000 Marc+Michal