Your search returned 14 results.

Sort
Results
Mathematical methods and economic theory Anjan Mukherji and Subrata Guha

by Mukherji, Anjan | Guha, Subrata.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi; Oxford University Press: 2011Availability: Items available for loan: Central Library (Sunabeda Campus) (1)Call number: 330.0151 MUK.

Discrete mathematics : an introduction edited by Maria Catherine C. Borres

by Borres, Maria Catherine C. [ed.].

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : Arcler Press, 2018Availability: Items available for loan: Central Library (Sunabeda Campus) (1)Call number: 511.1 BOR.

Introduction to Mathematical logic by Agustin Willmott

by Willmott, Agustin.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : Larsen and Keller Education, 2019Availability: Items available for loan: Central Library (Sunabeda Campus) (1)Call number: 511.3 WIL.

Mathematics education : a source book for teachers by N.M. Rao

by Rao, N.M.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi : Neelkamal, 2020Availability: Items available for loan: Central Library (Sunabeda Campus) (1)Call number: 510.71 RAO.

Introduction to bio-ontologies by Peter N. Robinson

by Robinson, Peter N | Baurer, Sebastian.

Series: Library edition: Computational biologyMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Boca Raton: CRC Press, 2020Availability: Items available for loan: Central Library (Landiguda Campus) (1)Call number: 020 ROB.

A Model–Theoretic Approach to Proof Theory [electronic resource] / by Henryk Kotlarski ; edited by Zofia Adamowicz, Teresa Bigorajska, Konrad Zdanowski.

by Kotlarski, Henryk [author.] | Adamowicz, Zofia [editor.] | Bigorajska, Teresa [editor.] | Zdanowski, Konrad [editor.] | SpringerLink (Online service).

Series: Trends in Logic, Studia Logica Library ; 51Edition: 1st ed. 2019.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available.

Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory [electronic resource] / by Mauro Di Nasso, Isaac Goldbring, Martino Lupini.

by Di Nasso, Mauro [author.] | Goldbring, Isaac [author.] | Lupini, Martino [author.] | SpringerLink (Online service).

Series: Lecture Notes in Mathematics ; 2239Edition: 1st ed. 2019.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available.

Mathematics, Informatics, and Their Applications in Natural Sciences and Engineering [electronic resource] : AMINSE 2017, Tbilisi, Georgia, December 6-9 / edited by George Jaiani, David Natroshvili.

by Jaiani, George [editor.] | Natroshvili, David [editor.] | SpringerLink (Online service).

Series: Springer Proceedings in Mathematics & Statistics ; 276Edition: 1st ed. 2019.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available.

Heyting Algebras [electronic resource] : Duality Theory / by Leo Esakia ; edited by Guram Bezhanishvili, Wesley H. Holliday.

by Esakia, Leo [author.] | Bezhanishvili, Guram [editor.] | Holliday, Wesley H [editor.] | SpringerLink (Online service).

Series: Trends in Logic, Studia Logica Library ; 50Edition: 1st ed. 2019.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available.

Combinatorial Set Theory of C*-algebras [electronic resource] / by Ilijas Farah.

by Farah, Ilijas [author.] | SpringerLink (Online service).

Series: Springer Monographs in MathematicsEdition: 1st ed. 2019.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available.

Temporal Type Theory [electronic resource] : A Topos-Theoretic Approach to Systems and Behavior / by Patrick Schultz, David I. Spivak.

by Schultz, Patrick [author.] | Spivak, David I [author.] | SpringerLink (Online service).

Series: Progress in Computer Science and Applied Logic ; 29Edition: 1st ed. 2019.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Birkhäuser, 2019Online access: Click here to access online Availability: No items available.

Numerical Methods of Mathematics Implemented in Fortran [electronic resource] / by Sujit Kumar Bose.

by Bose, Sujit Kumar [author.] | SpringerLink (Online service).

Series: Forum for Interdisciplinary MathematicsEdition: 1st ed. 2019.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Singapore : Springer Singapore : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available.

Incompleteness for Higher-Order Arithmetic [electronic resource] : An Example Based on Harrington’s Principle / by Yong Cheng.

by Cheng, Yong [author.] | SpringerLink (Online service).

Series: SpringerBriefs in MathematicsEdition: 1st ed. 2019.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Singapore : Springer Singapore : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available.

Introduction to Discrete Mathematics via Logic and Proof [electronic resource] / by Calvin Jongsma.

by Jongsma, Calvin [author.] | SpringerLink (Online service).

Series: Undergraduate Texts in MathematicsEdition: 1st ed. 2019.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available.

Pages