Scientific Library of Tomsk State University

   E-catalog        

Refine your search


База знаний по целевым капиталам

  •    Эндаумент
       Фандрайзинг
       Нормативные документы

  • Your search returned 29 results.

    1.
    Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals electronic resource by Anna Horská.

    by Horská, Anna [author.] | SpringerLink (Online service).

    Series: SpringerBriefs in PhilosophySource: 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 :
    2.
    Computational Complexity of Solving Equation Systems electronic resource by Przemysław Broniek.

    by Broniek, Przemysław [author.] | SpringerLink (Online service).

    Series: SpringerBriefs in PhilosophyEdition: 1st ed. 2015.Source: 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 :
    3.
    Linking Game-Theoretical Approaches with Constructive Type Theory electronic resource Dialogical Strategies, CTT demonstrations and the Axiom of Choice / by Nicolas Clerbout, Shahid Rahman.

    by Clerbout, Nicolas [author.] | Rahman, Shahid [author.] | SpringerLink (Online service).

    Series: SpringerBriefs in PhilosophySource: 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 :
    4.
    Infinite Regress Arguments electronic resource by Jan Willem Wieland.

    by Wieland, Jan Willem [author.] | SpringerLink (Online service).

    Series: SpringerBriefs in PhilosophySource: 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.
    The Arché Papers on the Mathematics of Abstraction Электронный ресурс edited by Roy T. Cook.

    by Cook, Roy T | SpringerLink (Online service).

    Series: The Western Ontario Series in Philosophy of ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer, 2008Online access: Click here to access online Availability: No items available :
    6.
    On Law and Reason Электронный ресурс by Aleksander Peczenik ; edited by Francisco J. Laporta, Aleksander Peczenik, Frederick Schauer.

    by Peczenik, Aleksander | Laporta, Francisco J | Peczenik, Aleksander | Schauer, Frederick | SpringerLink (Online service).

    Series: Law and Philosophy LibraryEdition: 2.Source: 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 :
    7.
    Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics electronic resource by Ulianov Montano.

    by Montano, Ulianov [author.] | SpringerLink (Online service).

    Series: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of ScienceSource: 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 :
    8.
    Analogy in Indian and Western Philosophical Thought Электронный ресурс by David B. Zilberman ; edited by Helena Gourko, Robert S. Cohen.

    by Zilberman, David B | Cohen, Robert S | Gourko, Helena | SpringerLink (Online service).

    Series: Boston Studies in the Philosophy of ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer, 2006Online access: Click here to access online Availability: No items available :
    9.
    Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language electronic resource edited by Alessandro Torza.

    by Torza, Alessandro [editor.] | SpringerLink (Online service).

    Series: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of ScienceSource: 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 :
    10.
    A logical Approach to Philosophy Электронный ресурс Essays in Honour of Graham Solomon / edited by David Devidi, Tim Kenyon.

    by Devidi, David | Kenyon, Tim | SpringerLink (Online service).

    Series: The Western Ontario Series in Philosophy of Science, A Series of Books in Philosophy of Science, Methodology, Epistemology, Logic, History of Science, and Related FieldsSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer, 2006Online access: Click here to access online Availability: No items available :
    11.
    Logicism, Intuitionism, and Formalism Электронный ресурс What has Become of Them? / edited by Vincent F. Hendricks, John Symons, Dirk Dalen, Theo A. F. Kuipers, Teddy Seidenfeld, Patrick Suppes, Jan Woleński, Sten Lindström, Erik Palmgren, Krister Segerberg, Viggo Stoltenberg-Hansen.

    by Hendricks, Vincent F | Dalen, Dirk | Kuipers, Theo A. F | Lindström, Sten | Palmgren, Erik | Segerberg, Krister | Seidenfeld, Teddy | Stoltenberg-Hansen, Viggo | 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 Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available :
    12.
    Problems of Normativity, Rules and Rule-Following electronic resource edited by Michał Araszkiewicz, Paweł Banaś, Tomasz Gizbert-Studnicki, Krzysztof Płeszka.

    by Araszkiewicz, Michał [editor.] | Banaś, Paweł [editor.] | Gizbert-Studnicki, Tomasz [editor.] | Płeszka, Krzysztof [editor.] | SpringerLink (Online service).

    Series: Law and Philosophy LibrarySource: 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 :
    13.
    Recent Developments in the Philosophy of Science: EPSA13 Helsinki electronic resource edited by Uskali Mäki, Ioannis Votsis, Stéphanie Ruphy, Gerhard Schurz.

    by Mäki, Uskali [editor.] | Votsis, Ioannis [editor.] | Ruphy, Stéphanie [editor.] | Schurz, Gerhard [editor.] | SpringerLink (Online service).

    Series: European Studies in Philosophy of ScienceEdition: 1st ed. 2015.Source: 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 :
    14.
    From Logic to Practice electronic resource Italian Studies in the Philosophy of Mathematics / edited by Gabriele Lolli, Marco Panza, Giorgio Venturi.

    by Lolli, Gabriele [editor.] | Panza, Marco [editor.] | Venturi, Giorgio [editor.] | SpringerLink (Online service).

    Series: Boston Studies in the Philosophy and History of ScienceSource: 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 :
    15.
    Formal Ontology and Conceptual Realism Электронный ресурс by Nino B. Cocchiarella.

    by Cocchiarella, Nino B | SpringerLink (Online service).

    Series: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer, 2007Online access: Click here to access online Availability: No items available :
    16.
    Aristotle's Theory of Abstraction electronic resource by Allan Bäck.

    by Bäck, Allan [author.] | SpringerLink (Online service).

    Series: The New Synthese Historical Library, Texts and Studies in the History of PhilosophySource: 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 :
    17.
    Romanian Studies in Philosophy of Science electronic resource edited by Ilie Pȃrvu, Gabriel Sandu, Iulian D. Toader.

    by Pȃrvu, Ilie [editor.] | Sandu, Gabriel [editor.] | Toader, Iulian D [editor.] | SpringerLink (Online service).

    Series: Boston Studies in the Philosophy and History of ScienceSource: 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 :
    18.
    Mereology and the Sciences electronic resource Parts and Wholes in the Contemporary Scientific Context / edited by Claudio Calosi, Pierluigi Graziani.

    by Calosi, Claudio [editor.] | Graziani, Pierluigi [editor.] | SpringerLink (Online service).

    Series: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of ScienceSource: 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 :
    19.
    Heuristic Reasoning electronic resource edited by Emiliano Ippoliti.

    by Ippoliti, Emiliano [editor.] | SpringerLink (Online service).

    Series: Studies in Applied Philosophy, Epistemology and Rational EthicsSource: 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 :
    20.
    Approaching Hegel's logic, obliquely Melville, Moliere, Beckett Angelica Nuzzo.

    by Nuzzo, Angelica, 1964-.

    Series: SUNY series, Intersections: philosophy and critical theoryMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Albany State University of New York, 2018Online access: EBSCOhost Availability: No items available :
    21.
    The Dynamics of Thought Электронный ресурс by Peter Gärdenfors

    by Gärdenfors, Peter | SpringerLink (Online service).

    Series: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer, 2005Online access: Click here to access online Availability: No items available :
    22.
    Axiomatic Method and Category Theory electronic resource by Andrei Rodin.

    by Rodin, Andrei [author.] | SpringerLink (Online service).

    Series: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of ScienceSource: 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 :
    23.
    Visualization, Explanation and Reasoning Styles in Mathematics Электронный ресурс edited by Paolo Mancosu, Klaus Frovin Jørgensen, Stig Andur Pedersen.

    by Mancosu, Paolo | Jørgensen, Klaus Frovin | Pedersen, Stig Andur | SpringerLink (Online service).

    Series: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer, 2005Online access: Click here to access online Availability: No items available :
    24.
    The nature of necessity Alvin Plantinga

    by Plantinga, Alvin, 1932-.

    Series: Clarendon library of logic and philosophyMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Oxford [a. o.] Clarendon Press [a. o.] 1982Availability: No items available :
    25.
    The shadow of totalitarianism action, judgment, and evil in politics Javier Burdman.

    by Burdman, Javier, 1983-.

    Series: SUNY series, intersections : philosophy and critical theoryMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Albany State University of New York Press, [2022]Online access: EBSCOhost Availability: No items available :
    26.
    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 Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available :
    27.
    Demonstratives edited by Palle Yourgrau

    by Yourgrau, Palle [edt].

    Series: Oxford readings in philosophyMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Oxford [a. o.] Oxford University Press 2003Availability: No items available :
    28.
    Epistemology, Context, and Formalism electronic resource edited by Franck Lihoreau, Manuel Rebuschi.

    by Lihoreau, Franck [editor.] | Rebuschi, Manuel [editor.] | SpringerLink (Online service).

    Series: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of ScienceSource: 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 :
    29.
    Philosophy of logic edited by Dale Jacquette

    by Jacquette, Dale [edt].

    Series: Handbook of the philosophy of scienceEdition: 1st ed.Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Amsterdam [a. o.] Elsevier, North-Holland 2007Online access: Publisher description Availability: No items available :