Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

  • Your search returned 12 results.

    1.
    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 :
    2.
    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 :
    3.
    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 :
    4.
    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 :
    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.
    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 :
    7.
    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 :
    8.
    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 :
    9.
    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 :
    10.
    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 :
    11.
    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 :
    12.
    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 :