My Library

University LibraryCatalogue

     
Limit search to items available for borrowing or consultation
Nearby CALL NUMBERS are:
Result Page   Prev Next  
Save Marked Record Save All Records Save Marked to My Lists
    Year Entries
511.352 Vere : Computable functions / A. Shen, N.K. Vereshchagin ; translated by V.N. Dubrovskii.  2003 1
511.352 Webe : Computability theory / Rebecca Weber.  2012 1
511.352 Wegn : Complexity theory : limiting factors on the efficiency of algorithms / Ingo Wegener ; translated from the German by Randall Pruim.  2005 1
511.352 Weih : Computability / Klaus Weihrauch.  1987 1
511.352 Wels : Complexity : knots, colourings and counting / D.J.A. Welsh.  1993 1
511.352 Zima : Computational complexity : a quantitative perspective / Marius Zimand.  2004 1
511.36 Alle : Numbers and proofs / R.B.J.T. Allenby.  1997 1
511.36 Bees   2
511.36 Bimb : Proof theory : sequent calculi and related formalisms / Katalin Bimbó, University of Alberta, Edmonton, Canada.  2015 1
511.36 Brid : Techniques of constructive analysis / Douglas S. Bridges and Luminiţa Simona Vîţ̌a.  2006 1
511.36 Brou : Brouwer's Cambridge lectures on intuitionism / edited by D. van Dalen.  1981 1
511.36 Buss : Bounded arithmetic / Samuel R. Buss.  1986 1
511.36 Char : Mathematical proofs : a transition to advanced mathematics / Gary Chartrand, Albert D. Polimeni, Ping Zhang.  2003 1
511.36 Cook : Perspectives in logic : logical foundations of proof complexity / Stephen Cook, Phuong Nguyen.  2010 1
511.36 Cupi   3
511.36 Dumm   2
511.36 Eccl : An introduction to mathematical reasoning : lectures on numbers, sets, and functions / Peter J. Eccles.  1997 1
511.36 Fran   3
511.36 From Bund10 20110701} : From sets and types to topology and analysis : towards practicable foundations for constructive mathematics / edited by Laura Crosilla and Peter Schuster.  2005 1
511.36 Gabb : Goal-directed proof theory / by Dov M. Gabbay and Nicola Olivetti.  2000 1
511.36 Garn : 100% mathematical proof / Rowan Garnier, John Taylor.  1996 1
511.36 Gibi : Math proofs demystified / Stan Gibilisco.  2005 1
511.36 Gira : Proof theory and logical complexity / Jean-Yves Girard.  c1987- 1
511.36 Good : Recursive analysis.  1961 1
511.36 Grad : Direct and converse theorems : the elements of symbolic logic / by I.S. Gradshtein ; translated from the Russian by T. Boddington.  1963 1
511.36 Hand : Handbook of proof theory / edited by Samuel R. Buss.  1998 1
511.36 Josh   2
511.36 Klau : Konstruktive Analysis.  1961 1
511.36 Leed : Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990 / edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer.  1992 1
511.36 Leiv : Absoluteness of intuitionistic logic / D. M. R. Leivant.  1979 1
511.36 Lerm : A framework for priority arguments / Manuel Lerman.  2010 1
511.36 Mint : A short introduction to intuitionistic logic / Grigori Mints.  2000 1
511.36 Negr : Structural proof theory / Sara Negri, Jan von Plato ; with an appendix by Aarne Ranta.  2001 1
511.36 Nels : Predicative arithmetic / by Edward Nelson.  1986 1
511.36 Oliv : Building proofs : a practical guide / Suely Oliveira, David Stewart (The University of Iowa, USA).  2015 1
511.36 Pano : Metodologicheskie problemy intui͡tsionistskoĭ matematiki / M.I. Panov ; otvetstvennyĭ redaktor E.F. Solopov.  1984 1
511.36 Poer : Adapting proofs-as-programs : the Curry-Howard protocol / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing.  2005 1
511.36 Pols : Q.E.D : beauty in mathematical proof / written and illustrated by Burkard Polster.  2006 1
511.36 Pour : Computability in analysis and physics / Marian B. Pour-El, J. Ian Richards.  1989 1
511.36 Proo : Proof theory : history and philosophical significance / edited by Vincent F. Hendricks, Stig Andur Pedersen, and Klaus Frovin Jørgensen.  2000 1
511.36 Reid : Proof in mathematics education : research, learning and teaching / David A. Reid, Christine Knipping.  2010 1
511.36 Robe : Introduction to mathematical proofs : a transition / Charles E. Roberts, Jr.  2010 1
511.36 Ross : Theorems, corollaries, lemmas, and methods of proof / Richard J. Rossi.  2006 1
511.36 Simm : Derivation and computation : taking the Curry-Howard correspondence seriously / Harold Simmons.  2000 1
511.36 Simp : Subsystems of second order arithmetic / Stephen G. Simpson.  2009 1
511.36 Smit : A transition to advanced mathematics / Douglas Smith, Maurice Eggen, Richard St. Andre.  2006 1
511.36 Solo   2
511.36 Sund   2
511.36 Take   3
511.36 Tayl : Understanding mathematical proof / John Taylor, Rowan Garnier.  2014 1
Save Marked Record Save All Records Save Marked to My Lists
 
Can't find that book? Try BONUS+

Search Discovery

Search CARM Centre Catalogue

Search Trove

Result Page   Prev Next