Your search returned 50 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
2.
Algorithms in Invariant Theory [electronic resource] / by Bernd Sturmfels. by Series: Texts and Monographs in Symbolic Computation
Edition: Second edition.
Publication details: Vienna : Springer-Verlag/Wien, 2008
In: Springer eBooks
Online resources:
Availability: No items available.

3.
4.
5.
Axiom of Choice [electronic resource] / by Horst Herrlich. by Series: Lecture Notes in Mathematics ; 1876
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin/Heidelberg, 2006
In: Springer e-books
Online resources:
Availability: No items available.

6.
Banach spaces and descriptive set theory [electronic resource] : selected topics / by Pandelis Dodos. by Series: Lecture notes in mathematics ; 1993
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
In: Springer eBooks
Online resources:
Availability: No items available.

7.
8.
Cognitive reasoning [electronic resource] : a formal approach / by Oleg M. Anshakov, Tamas Gergely. by Series: Cognitive technologies
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
In: Springer eBooks
Online resources:
Availability: No items available.

9.
10.
11.
A concise introduction to mathematical logic [electronic resource] / by Wolfgang Rautenberg. by Series: Universitext
Edition: 3rd ed.
Publication details: New York, NY : Springer Science+Business Media, LLC, 2010
In: Springer eBooks
Online resources:
Availability: No items available.

12.
13.
Constructive Negations and Paraconsistency [electronic resource] / by Sergei P. Odintsov. by Series: Trends in Logic ; 26
Publication details: Dordrecht : Springer Science+Business Media B.V, 2008
In: Springer eBooks
Online resources:
Availability: No items available.

14.
A course in mathematical logic for mathematicians [electronic resource] / by Yu. I. Manin. by Series: Graduate texts in mathematics ; 53
Edition: 2nd ed.
Publication details: New York, NY : Springer-Verlag New York, 2010
In: Springer eBooks
Online resources:
Availability: No items available.

15.
A Course on Mathematical Logic [electronic resource] / by S. M. Srivastava. by Series: Universitext
Publication details: New York, NY : Springer Science+Business Media, LLC, 2008
In: Springer eBooks
Online resources:
Availability: No items available.

16.
Deduction, computation, experiment [electronic resource] : exploring the effectiveness of proof / edited by Rossella Lupacchini, Giovanna Corsi. by
Publication details: Milano : Springer-Verlag Italia, 2008
In: Springer eBooks
Online resources:
Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: ebooks.

Place hold
17.
Essays in Constructive Mathematics [electronic resource] / by Harold M. Edwards. by
Publication details: New York, NY : Harold M. Edwards, 2005
In: Springer e-books
Online resources:
Availability: No items available.

18.
Field Arithmetic [electronic resource] / by Michael D. Fried, Moshe Jarden. by Series: A Series of Modern Surveys in Mathematics ; 11
Edition: Second Edition.
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In: Springer e-books
Online resources:
Availability: No items available.

19.
Formal theories of information [electronic resource] : from Shannon to semantic information theory and general concepts of information / edited by Giovanni Sommaruga. by Series: Lecture notes in computer science ; 5363
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Other title:
  • From Shannon to semantic Information theory
In: Springer eBooks
Online resources:
Availability: No items available.

20.
Pages

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library