Scientific Library of Tomsk State University

   E-catalog        

Your search returned 5 results.

Sort
Results
1.
Dag Prawitz on Proofs and Meaning electronic resource edited by Heinrich Wansing.

by Wansing, Heinrich [editor.] | SpringerLink (Online service).

Series: Outstanding Contributions to LogicSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
2.
The Unity of Science in the Arabic Tradition Электронный ресурс Science, Logic, Epistemology and their Interactions / edited by Shahid Rahman, John Symons, Jean Paul Bendegem, Johan Benthem, Jacques Dubucs, Anne Fagot-Largeault, Bas Fraassen, Dov Gabbay, Jaakko Hintikka, Karel Lambert, Graham Priest, Gabriel Sandu, Heinrich Wansing, Timothy Williamson, Shahid Rahman, Tony Street, Hassan Tahiri.

by Rahman, Shahid | Bendegem, Jean Paul | Benthem, Johan | Dubucs, Jacques | Fagot-Largeault, Anne | Fraassen, Bas | Gabbay, Dov | Hintikka, Jaakko | Lambert, Karel | Priest, Graham | Rahman, Shahid | Sandu, Gabriel | Street, Tony | Symons, John | Tahiri, Hassan | Wansing, Heinrich | Williamson, Timothy | SpringerLink (Online service).

Series: Logic, Epistemology, and The Unity of ScienceSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer Science+Business Media B.V., 2008Online access: Click here to access online Availability: No items available :
3.
Towards Mathematical Philosophy Электронный ресурс Papers from the Studia Logica conference Trends in Logic IV / edited by Ryszard Wójcicki, Vincent F. Hendricks, Daniele Mundici, Ewa Orłowska, Krister Segerberg, Heinrich Wansing, David Makinson, Jacek Malinowski, Heinrich Wansing.

by Wójcicki, Ryszard | Hendricks, Vincent F | Makinson, David | Malinowski, Jacek | Mundici, Daniele | Orłowska, Ewa | Segerberg, Krister | Wansing, Heinrich | Wansing, Heinrich | SpringerLink (Online service).

Series: Trends in LogicSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available :
4.
Recent Trends in Philosophical Logic electronic resource edited by Roberto Ciuni, Heinrich Wansing, Caroline Willkommen.

by Ciuni, Roberto [editor.] | Wansing, Heinrich [editor.] | Willkommen, Caroline [editor.] | SpringerLink (Online service).

Series: Trends in Logic, Studia Logica LibrarySource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
5.
Logics in Artificial Intelligence Электронный ресурс 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings / edited by Jaime G. Carbonell, Jörg Siekmann, Steffen Hölldobler, Carsten Lutz, Heinrich Wansing.

by Carbonell, Jaime G | Hölldobler, Steffen | Lutz, Carsten | Siekmann, Jörg | Wansing, Heinrich | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
Pages