University of the Free State Library
        
Start Over Modify Search Another Search
   
Your search query has been changed... Tried: (troelstra and a and s and anne and sjerp and lectures and on and linear and logic) no results found... Tried: (troelstra or anne or sjerp or lectures or linear or logic)
8082 results found. Sorted by relevance .
Result Page   
KEYWORDS (1-50 of 8082)
1
PRINTED MATL
 
 		 Classical mathematical logic : the semantic foundations of logic / Richard L. Epstein ; with contrib Epstein, Richard L., 1947-
Princeton, N.J. : Princeton University Press, c2006.
1 copy available at Sasol Lib Books
LOCATION SHELF NO NOTE STATUS
 Sasol Lib Books  511.3 EPS    IN TRANSIT
Digital mediaDigital Media
  More...
Request this titleRequest
2
PRINTED MATL
 
 		 Constructivism in mathematics : an introduction / A.S. Troelstra, D. van Dalen. Troelstra, A.S.
Amsterdam : North-Holland Pub. Co., c1988.
2 copies available at Sasol Lib Books
LOCATION SHELF NO NOTE STATUS
 Sasol Lib Books  511.3 TRO  v.1    CHECK SHELF
 Sasol Lib Books  511.3 TRO  v.2    CHECK SHELF
 
Request this titleRequest
3
PRINTED MATL
 
 		 The Princeton companion to mathematics / editor, Timothy Gowers ; associate editors, June Barrow-Gre
Princeton, N.J. : Princeton University Press, c2008.
1 copy available at Sasol Lib Books
LOCATION SHELF NO NOTE STATUS
 Sasol Lib Books  510 PRI    CHECK SHELF
 
Request this titleRequest
4
EBOOKS
 
 		 Linear algebra : concepts and methods / Martin Anthony and Michele Harvey, Department of Mathematics Anthony, Martin, author.
Cambridge : Cambridge University Press, 2012.
1 copy available at Bloemfontein Sasol Library
 Digital mediaDigital Media
Request this titleRequest
5
PRINTED MATL
 
 		 Integrated methods for optimization [electronic resource] / by John N. Hooker. Hooker, John, 1949-
New York, N.Y. : Springer, 2007.
Currently no copies available.
LOCATION SHELF NO NOTE STATUS
 Electronic Book see URL    E-BOOK
Digital mediaDigital Media
Request this titleRequest
6
PRINTED MATL
 
 		 Machine learning in medicine : a complete overview / Ton J. Cleophas, Aeilko H. Zwinderman ; with th Cleophas, Ton J. M.
Cham : Springer International Publishing, [2015]
1 copy available at Frik Scott Medical Library
LOCATION SHELF NO NOTE STATUS
 Frik Scott Medical Library  610.285 CLE    CHECK SHELF
 
Request this titleRequest
7
PRINTED MATL
 
 		 Résumé magic : trade secrets of a professional résumé writer / Susan Britton Whitcomb. Whitcomb, Susan Britton, 1957-
Indianapolis, Ind. : JIST Works, c2010.
1 copy available at Sasol Lib Books
LOCATION SHELF NO NOTE STATUS
 Sasol Lib Books  650.142 WHI    CHECK SHELF
 
Request this titleRequest
8
PRINTED MATL
 
 		 Handbook of combinatorial designs / edited by Charles J. Colbourn, Jeffrey H. Dinitz.
Boca Raton, Fla. : Chapman & Hall/CRC/Taylor & Francis, 2007.
1 copy available at Sasol Lib Books
LOCATION SHELF NO NOTE STATUS
 Sasol Lib Books  511.6 HAN    CHECK SHELF
Digital mediaDigital Media
Request this titleRequest
9
PRINTED MATL
 
 		 Between Kant and Hegel : lectures on German idealism / Dieter Henrich ; edited by David S. Pacini. Henrich, Dieter, 1927-
Cambridge, Mass. : Harvard University Press, 2008.
1 copy available at Sasol Lib Books
LOCATION SHELF NO NOTE STATUS
 Sasol Lib Books  193 HEN    CHECK SHELF
 
Request this titleRequest
10
EBOOKS
 
 		 Thinking and deciding / Jonathan Baron. Baron, Jonathan, 1944- author.
Cambridge : Cambridge University Press, 2008.
1 copy available at Bloemfontein Sasol Library
 Digital mediaDigital Media
Request this titleRequest
11
PRINTED MATL
 
 		 Lectures on linear groups / O'Meara, O T. O'Meara, O T.
Povidence, Rhode Island : American mathematical society, for the Conference board of the mathematical sciences, c1974.
1 copy available at Sasol Lib Books
LOCATION SHELF NO NOTE STATUS
 Sasol Lib Books  512.2OME    CHECK SHELF
 
Request this titleRequest
12
PRINTED MATL
 
 		 An introduction to linear programming / Cooper, William Wagner. Cooper, William W. (William Wager), 1914-
New York : Wiley, (1960)
1 copy available at Sasol Lib Books
LOCATION SHELF NO NOTE STATUS
 Sasol Lib Books  519.72 COO    CHECK SHELF
 
Request this titleRequest
13
PRINTED MATL
 
 		 Logic and computer science : lectures given at the 1st session of the Centro Internazionale Matemati
Berlin : Springer, c1990.
1 copy available at Sasol Lib Books
LOCATION SHELF NO NOTE STATUS
 Sasol Lib Books  511.3 LOG    CHECK SHELF
 
Request this titleRequest
14
PRINTED MATL
 
 		 Popular lectures on mathematical logic / Hao Wang. Wang, Hao.
New York : Dover Publications, 1993.
1 copy available at Sasol Lib Books
LOCATION SHELF NO NOTE STATUS
 Sasol Lib Books  511.3WAN    CHECK SHELF
 
Request this titleRequest
15
EBOOKS
 
 		 Introduction to logic and theory of knowledge [electronic resource] : lectures 1906/07 / Edmund Huss Husserl, Edmund, 1859-1938.
Dordrecht ; London : Springer, 2008.
1 copy available at Bloemfontein Sasol Library
 Digital mediaDigital Media
Request this titleRequest
16
PRINTED MATL
 
 		 The essentials of logic : being ten lectures on judgement and inference / by Bernard Bosanquet ; Rep Bosanquet, Bernard.
London : Macmillan, 1903.
6 copies available at Sasol Lib Books and Sasol Lib Storage
LOCATION SHELF NO NOTE STATUS
 Sasol Lib Books  160BOS c.5  CHECK SHELF
 Sasol Lib Storage  160BOS c.6  CHECK SHELF
 Sasol Lib Storage  160BOS    CHECK SHELF
There are additional copies/volumes of this item
  
Request this titleRequest
17
EBOOKS
 
 		 Comprehensive Mathematics for Computer Scientists 1 [electronic resource] : Sets and Numbers, Graphs Mazzola, Guerino.
Berlin, Heidelberg : Springer, 2006.
1 copy available at Bloemfontein Sasol Library
 Digital mediaDigital Media
  More...
Request this titleRequest
18
PRINTED MATL
 
 		 Statistics Alive! / Wendy J. Steinberg, Matthew Price. Steinberg, Wendy J., author.
Thousand Oaks : SAGE Publications Inc, 2020.
Currently no copies available.
  
Request this titleRequest
19
PRINTED MATL
 
 		 Linear algebra and geometry / by A.I. Kostrikin and Yu.I. Manin ; translated from the second Russian Kostrikin, A. I. (Alekseĭ Ivanovich)
New York : Gordon and Breach, c1989.
1 copy available at Sasol Lib Books
LOCATION SHELF NO NOTE STATUS
 Sasol Lib Books  512.5 KOS    CHECK SHELF
 
Request this titleRequest
20
PRINTED MATL
 
 		 Exercises in algebra : a collection of exercises in algebra, linear algebra and geometry / edited by
Amsterdam : Gordon and Breach, 1996.
1 copy available at Sasol Lib Books
LOCATION SHELF NO NOTE STATUS
 Sasol Lib Books  512.0076EXE    CHECK SHELF
 
Request this titleRequest
21
PRINTED MATL
 
 		 The growth of logical thinking from childhood to adolescence : an essay on the construction of forma Inhelder, Bärbel.
[Place of publication not identified] : Basic Books, [1958]
1 copy available at QwaQwa Library
LOCATION SHELF NO NOTE STATUS
 QwaQwa Library  155.413 INH    CHECK SHELF
 
Request this titleRequest
22
PRINTED MATL
 
 		 Lectures in abstract algebra / Jacobson, Nathan. Jacobson, Nathan.
Toronto : D. van Nostrand, 1951.
3 copies available at Sasol Lib Books
LOCATION SHELF NO NOTE STATUS
 Sasol Lib Books  512.02JAC  v.1    CHECK SHELF
 Sasol Lib Books  512.02JAC  v.2    CHECK SHELF
 Sasol Lib Books  512.02JAC  v.3    CHECK SHELF
 
Request this titleRequest
23
PRINTED MATL
 
 		 Twistor geometry and non-linear systems : review lectures given at the 4th Bulgarian Summer School o
Berlin : Springer, 1982.
1 copy available at Sasol Lib Books
LOCATION SHELF NO NOTE STATUS
 Sasol Lib Books  516.3 TWI    CHECK SHELF
 
Request this titleRequest
24
PRINTED MATL
 
 		 Therapeutic aspects of nutrition : Nutricia symposium, 4th, Groningen, 1973 / editors: J. H. P. Jonx Nutricia symposium, 4th, Groningen, 1973.
Leiden : Stenfert Kroese, 1973.
1 copy available at Frik Scott Medical Library
LOCATION SHELF NO NOTE STATUS
 Frik Scott Medical Library  615.854 NUT    CHECK SHELF
 
Request this titleRequest
25
PRINTED MATL
 
 		 Cross-cultural perspectives on early childhood / edited by Theodora Papatheodorou, Janet Moyles.
London : SAGE, 2012.
1 copy available at QwaQwa Library
LOCATION SHELF NO NOTE STATUS
 QwaQwa Library  372.21 CRO    CHECK SHELF
 
Request this titleRequest
26
PRINTED MATL
 
 		 Lectures on logic / Hamilton, Sir William; ed. by the Rev. Henry L. Mansel and John Veitch. Hamilton, Sir William.
Boston : Gould and Lincoln, 1860.
1 copy available at Sasol Lib Storage
LOCATION SHELF NO NOTE STATUS
 Sasol Lib Storage  160.8HAM    CHECK SHELF
 
Request this titleRequest
27
PRINTED MATL
 
 		 The Routledge companion to semiotics / edited by Paul Cobley.
London : Routledge, 2010.
Currently no copies available.
  
Request this titleRequest
28
PRINTED MATL
 
 		 Third person : authoring and exploring vast narratives / edited by Pat Harrigan and Noah Wardrip-Fru
Cambridge, Massachusetts : MIT Press, [2009]
1 copy available at Sasol Lib Books
LOCATION SHELF NO NOTE STATUS
 Sasol Lib Books  794.8 THI    CHECK SHELF
 
Request this titleRequest
29
PRINTED MATL
 
 		 The Cambridge companion to medieval philosophy / edited by A. S. McGrade.
Cambridge, UK ; New York : Cambridge University Press, 2003.
1 copy available at Sasol Lib Books
LOCATION SHELF NO NOTE STATUS
 Sasol Lib Books  189 CAM    CHECK SHELF
 
Request this titleRequest
30
PRINTED MATL
 
 		 State and culture in postcolonial Africa : enchantings / edited by Tejumola Olaniyan.
Bloomington, Indiana : Indiana University Press, [2017]
1 copy available at Sasol Lib Books
LOCATION SHELF NO NOTE STATUS
 Sasol Lib Books  960.33 STA    CHECK SHELF
 
Request this titleRequest
31
PRINTED MATL
 
 		 Reconnecting language : morphology and syntax in functional perspectives / edited by Anne-Marie Simo
Amsterdam ; Philadelphia : J. Benjamins, c1997.
1 copy available at QwaQwa Library
LOCATION SHELF NO NOTE STATUS
 QwaQwa Library  415 REC    CHECK SHELF
 
Request this titleRequest
32
PRINTED MATL
 
 		 A primer of abstract mathematics / Robert B. Ash. Ash, Robert B.
Washington, DC : Mathematical Association of America, c1998.
1 copy available at QwaQwa Library
LOCATION SHELF NO NOTE STATUS
 QwaQwa Library  512.02 ASH    CHECK SHELF
 
Request this titleRequest
33
EBOOKS
 
 		 Advanced optimization for process systems engineering / Ignacio E. Grossmann. Grossmann, Ignacio E., author.
Cambridge : Cambridge University Press, 2021.
1 copy available at Bloemfontein Sasol Library
 Digital mediaDigital Media
Request this titleRequest
34
PRINTED MATL
 
 		 Molecular devices and machines : a journey into the nano world / V. Balzani, A. Credi, M. Venturi. Balzani, Vincenzo, 1936-
Weinheim : Wiley-VCH, c2003 (2006 printing)
1 copy available at Sasol Lib Books
LOCATION SHELF NO NOTE STATUS
 Sasol Lib Books  620.5 BAL    CHECK SHELF
 
Request this titleRequest
35
PRINTED MATL
 
 		 Developing monitoring and evaluation frameworks / Anne Markiewicz, Ian Patrick. Markiewicz, Anne.
Los Angeles, California : SAGE, [2016]
1 copy available at QwaQwa Library
LOCATION SHELF NO NOTE STATUS
 Sasol Lib Books  658.404 MAR    DUE 31-10-24
 QwaQwa Library  658.404 MAR c.2  CHECK SHELF
 
Request this titleRequest
36
EBOOKS
 
 		 The influence of genetics on contemporary thinking [electronic resource] / edited by Anne Fagot-Larg
Dordrecht : Springer, c2007.
Currently no copies available.
LOCATION SHELF NO NOTE STATUS
 Electronic Book see URL    E-BOOK
Digital mediaDigital Media
Request this titleRequest
37
EBOOKS
 
 		 The Legacy of Mario Pieri in Geometry and Arithmetic [electronic resource] / by Elena Anne Marchisot Marchisotto, Elena Anne.
Boston, MA : Birkh©Þuser Boston, 2007.
1 copy available at Bloemfontein Sasol Library
 Digital mediaDigital Media
Request this titleRequest
38
PRINTED MATL
 
 		 Critical reasoning : a practical introduction / Anne Thomson. Thomson, Anne.
London : Routledge, 1996.
2 copies available at Sasol Lib Books and South Campus Library
LOCATION SHELF NO NOTE STATUS
 Sasol Lib Books  160 THO    CHECK SHELF
 South Campus Library  160 THO    CHECK SHELF
 
Request this titleRequest
39
EBOOKS
 
 		 Mobile and blended learning innovations for improved learning outcomes [electronic resource] / David
Hershey, Pennsylvania : Information Science Reference, 2016.
Currently no copies available.
LOCATION SHELF NO NOTE STATUS
 Electronic Book see URL    E-BOOK
Digital mediaDigital Media
Request this titleRequest
40
PRINTED MATL
 
 		 Primer on radiation oncology physics : video tutorials with textbook and problems / Eric Ford. Ford, Eric, author.
London : CRC Press, 2020.
Currently no copies available.
 Digital mediaDigital Media
Request this titleRequest
41
PRINTED MATL
 
 		 Political economy of policy reform in developing countries / Anne O. Krueger. Krueger, Anne O.
Cambridge, Mass. : MIT Press, c1993.
1 copy available at South Campus Library
LOCATION SHELF NO NOTE STATUS
 South Campus Library  339.5 KRU    CHECK SHELF
 
Request this titleRequest
42
PRINTED MATL
 
 		 Critical thinking and writing for nursing students / Bob Price, Anne Harrington. Price, Bob (Educational consultant)
London : SAGE, 2016.
1 copy available at Sasol Lib Books
LOCATION SHELF NO NOTE STATUS
 Sasol Lib Books  610.73076 PRI    CHECK SHELF
 
Request this titleRequest
43
PRINTED MATL
 
 		 Lectures on partial differential equations / Vladimir I. Arnold ; translated by Roger Cooke. Arnolʹd, V. I. (Vladimir Igorevich), 1937-2010.
Berlin : Springer, 2004.
1 copy available at Sasol Lib Books
LOCATION SHELF NO NOTE STATUS
 Sasol Lib Books  515.353 ARN    CHECK SHELF
 
Request this titleRequest
44
PRINTED MATL
 
 		 Mathematics and the historian's craft : the Kenneth O. May lectures / Glen van Brummelen, Michael Ki
New York : Springer, c2005.
1 copy available at Sasol Lib Books
LOCATION SHELF NO NOTE STATUS
 Sasol Lib Books  510.9 MAT    CHECK SHELF
 
Request this titleRequest
45
EBOOKS
 
 		 Formal Methods for Mobile Computing [electronic resource] / 5th International School on Formal Metho Bernardo, Marco.
Berlin Heidelberg : Springer-Verlag GmbH., 2005
1 copy available at Bloemfontein Sasol Library
 Digital mediaDigital Media
  More...
Request this titleRequest
46
EBOOKS
 
 		 Model-Based Testing of Reactive Systems [electronic resource] / Advanced Lectures edited by Manfred Broy, Manfred.
Berlin Heidelberg : Springer-Verlag GmbH., 2005
1 copy available at Bloemfontein Sasol Library
 Digital mediaDigital Media
  More...
Request this titleRequest
47
EBOOKS
 
 		 Reasoning Web (vol. # 3564) [electronic resource] / First International Summer School 2005, Msida, M Eisinger, Norbert.
Berlin Heidelberg : Springer-Verlag GmbH., 2005
1 copy available at Bloemfontein Sasol Library
 Digital mediaDigital Media
  More...
Request this titleRequest
48
EBOOKS
 
 		 Foundations of Security Analysis and Design III [electronic resource] / FOSAD 2004/2005 Tutorial Lec Aldini, Alessandro.
Berlin Heidelberg : Springer-Verlag GmbH., 2005
1 copy available at Bloemfontein Sasol Library
 Digital mediaDigital Media
  More...
Request this titleRequest
49
EBOOKS
 
 		 Formal Methods for Components and Objects (vol. # 3657) [electronic resource] / Third International Bonsangue, Marcello M.
Berlin Heidelberg : Springer-Verlag GmbH., 2005
1 copy available at Bloemfontein Sasol Library
 Digital mediaDigital Media
  More...
Request this titleRequest
50
EBOOKS
 
 		 Formal Methods for Hardware Verification [electronic resource] / 6th International School on Formal Bernardo, Marco.
Berlin Heidelberg : Springer-Verlag GmbH., 2006
1 copy available at Bloemfontein Sasol Library
 Digital mediaDigital Media
  More...
Request this titleRequest
Result Page   
Start Over Modify Search Another Search
Library Home | New Acquisitions | Renewals | Recommend a title | Comments & suggestions | Locating Material