|
1.
|
|
|
2.
|
|
|
3.
|
|
|
4.
|
|
|
5.
|
|
|
6.
|
|
|
7.
|
Degrees of Belief Электронный ресурс edited by Vincent F. Hendricks, John Symons, Jaakko Hintikka, Dirk Dalen, Theo A. F. Kuipers, Teddy Seidenfeld, Patrick Suppes, Jan Woleński, Franz Huber, Christoph Schmidt-Petri. by Hendricks, Vincent F | Dalen, Dirk | Hintikka, Jaakko | Huber, Franz | Kuipers, Theo A. F | Schmidt-Petri, Christoph | Seidenfeld, Teddy | Suppes, Patrick | Symons, John | Woleński, Jan | SpringerLink (Online service). Series: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available :
|
|
8.
|
Analysis and Synthesis of Logics Электронный ресурс How to Cut and Paste Reasoning Systems / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas. by Carnielli, Walter | Coniglio, Marcelo | Gabbay, Dov M | Gouveia, Paula | Sernadas, Cristina | SpringerLink (Online service). Series: Applied Logic SeriesSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Dordrecht : Springer Science+Business Media B.V., 2008Online access: Click here to access online Availability: No items available :
|
|
9.
|
|
|
10.
|
|
|
11.
|
|
|
12.
|
|
|
13.
|
|
|
14.
|
|
|
15.
|
|
|
16.
|
|
|
17.
|
|
|
18.
|
|
|
19.
|
|
|
20.
|
|
|
21.
|
Neural-Symbolic Cognitive Reasoning Электронный ресурс edited by Dov M. Gabbay, Jörg Siekmann, Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay. by Gabbay, Dov M | Gabbay, Dov M | Garcez, Artur S. d'Avila | Lamb, Luís C | Siekmann, Jörg | SpringerLink (Online service). Series: Cognitive TechnologiesSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available :
|
|
22.
|
|
|
23.
|
|
|
24.
|
|
|
25.
|
|
|
26.
|
|
|
27.
|
|
|
28.
|
|
|
29.
|
|
|
30.
|
|
|
31.
|
|
|
32.
|
|
|
33.
|
Unifying the Philosophy of Truth electronic resource edited by Theodora Achourioti, Henri Galinon, José Martínez Fernández, Kentaro Fujimoto. by Achourioti, Theodora [editor.] | Galinon, Henri [editor.] | Martínez Fernández, José [editor.] | Fujimoto, Kentaro [editor.] | SpringerLink (Online service). Series: Logic, Epistemology, and the Unity of ScienceSource: Springer eBooksMaterial type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Dordrecht : Springer Netherlands : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
|
|
34.
|
|
|
35.
|
|
|
36.
|
|
|
37.
|
|
|
38.
|
Institution-independent Model Theory Электронный ресурс by RДѓzvan Diaconescu ; edited by Jean-Yves Beziau, Hajnal Andréka , Mark Burgin, Răzvan Diaconescu, Josep Maria Font, Andreas Herzig, Arnold Koslow, Jui-Lin Lee, Larissa Maksimova, Grzegorz Malinowski, Darko Sarenac, Peter Schröder-Heister, Vladimir Vasyukov. by Diaconescu, Răzvan | Andréka, Hajnal | Beziau, Jean-Yves | Burgin, Mark | Diaconescu, Răzvan | Font, Josep Maria | Herzig, Andreas | Koslow, Arnold | Lee, Jui-Lin | Maksimova, Larissa | Malinowski, Grzegorz | Sarenac, Darko | Schröder-Heister, Peter | Vasyukov, Vladimir | SpringerLink (Online service). Series: Studies in Universal LogicSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Basel : Birkhäuser Verlag, 2008Online access: Click here to access online Availability: No items available :
|
|
39.
|
|
|
40.
|
|
|
41.
|
|
|
42.
|
|
|
43.
|
|
|
44.
|
|
|
45.
|
|
|
46.
|
|
|
47.
|
|
|
48.
|
|
|
49.
|
|
|
50.
|
|