選択資料から書架並びで前後20冊ずつを表示します。
Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček
書庫2階
The art of proof : basic training for deeper mathematics / Matthias Beck, Ross Geoghegan
書庫2階
Proofs and Fundamentals : a first course in abstract mathematics / Ethan D. Bloch
: hbk
書庫2階
On the shape of mathematical arguments / A.J.M. van Gasteren ; foreword by Edsger W. Dijkstra
書庫2階
Frege's notations : what they are and how they mean / Gregory Landini
書庫2階
Mathematical thinking and writing : a transition to abstract mathematics / Randall B. Maddox
書庫2階
Proof analysis : a contribution to Hilbert's last problem / Sara Negri, Jan von Plato
: hardback
書庫2階
On constructive interpretation of predicative mathematics / Charles Parsons
書庫2階
Proof theory / Kurt Schütte ; translation from the German by J.N. Crossley
書庫2階
Varieties of constructive mathematics / Douglas Bridges, Fred Richman
書庫2階
Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979 / edited by A.P. Ershov and D.E. Knuth
書庫2階
Algorithms and complexity : Second Italian Conference, CIAC '94, Rome, Italy, February 23-25, 1994 : proceedings / M. Bonuccelli, P. Crescenzi, R. Petreschi, (eds.)
: gw
書庫2階
Algorithms and complexity : Third Italian Conference, CIAC'97, Rome, Italy, March 12-14, 1997 : proceedings / Giancarlo Bongiovanni, Daniel Pierre Bovet, Giuseppe Di Battista (eds.)
書庫2階
Algorithms and complexity : 4th Italian Conference, CIAC 2000, Rome, Italy, March 1-3, 2000 : proceedings / Giancarlo Bongiovanni, Giorgio Gambosi, Rossella Petreschi (eds.)
書庫2階
The theory of algorithms / by A.A. Markov and N.M. Nagorny ; translated by M. Greendlinger
書庫2階
Stochastic algorithms: foundations and applications : International Symposium, SAGA 2001, Berlin, Germany, December 13-14, 2001 : proceedings / Kathleen Steinhöfel (ed.)
書庫2階
SWAT 88 : 1st Scandinavian Workshop on Algorithm Theory, Halmstad, Sweden, July 5-8, 1988 : proceedings / R. Karlsson, A. Lingas (eds.)
書庫2階