PAPERS IN AGRICULTUREJob Hanmer, Lewis Majendie, James Montgomery, John Storer, George Caswall, B. Myal, John Scholefield Firth, Thomas Robertshaw, J. Schackleton, John Whitaker, W. Halliwell, Robert Deardend, James Walmsley, John Tate, Thomas Clark, Isaac Denton, Jonn Younghusband, Robert Hogg, Thomas Rodd, Ph. Nind, Thomas Gibbons, John Foster, William Sharp, Thomas White, John Hall, Charles Weaver, Samuel Taylor, William Biggs, George Nelthorpe, John Partridge, Samuel Fuller, James Fife, John Stoker, Baker Myall, Richard Andrews, William Honywood, James Tillard, Thomas Randolph Pelham, Henry Thomson, Charles Hope, Benjamin Hobson, James Morton, Thomas Bland, Thomas Skip Dyot Bucknall, Peter Smith, William Hayward, John Woodfield, William Garret, Edward Prentis, J. Harris, Hugh Torrington, William Leigh, James Potter, John Ball, G. Moore, J. Henn, Thomas Slade, Thomas Sylecote, Michal Ward, John Davies, Francis Parry, P. Maurice, Owen Owen, Daniel Thomas, John Jones and Edward Corbet · Transactions of the Society, Instituted at London, for the Encouragement of Arts, Manufactures, and Commerce · 1794

PAPERS IN MECHANICSThomas Grant, William Tendrew, R. G. Keats, Charles Carter, Thomas Burnard, Lewis William Buck, Lawrence Pridham, Thomas Villarett, John Hogg, John Handford, William Callon, James Lillicrap, Gustavus Stupart, Charles Clyne, Richard Buck, John Henlon, Thomas Lane, Thomas Holmes, Richard Raikes, George Prior, J. Park, James Ramshaw, Wm Rodger, P. B. Pellew, Henry Crace, John Gage, C. Ekins, James Walker, A. C. Dickson, E. Boyer, R. Ward, T. Alexander, James Jones, Moses Somerford, David Ritchie, Thomas Cook, James R. Dacres, R. Henderson, William Richardson, Molyneux Shuldham, J. Jackson, W. Brown, A. Churchill, Joseph Clement, W. Lowry and David Ritchie · Transactions of the Society, Instituted at London, for the Encouragement of Arts, Manufactures, and Commerce · 1818

PAPERS IN AGRICULTUREJ. C. Curwen, Mr. MORE, Thomas Hodgson, John Sutton, John Crisp, Robert Berrett, John Denny, Joseph Smith, Samuel Kilderbee, John Storer, Lewis Majendie, James Montgomerie, George Caswall, Barker Myall, Thomas Bird, Thomas Toon, Isaac Pindard, W. Todd, Fife, John Geddes, James Duncan, Thomas Skip Dyot Bucknall, W. Thomas, Henry Martin, Robert Mundell, James Filewood, James Stillingfleet, Wm. Hey, Thomas Dikes, John Wood, Thomas Jones, William Shaw, J. Billingsley, Clement Tudway, John Lovell, William Oakeley, Ev. Owen, John Gryffydh, James Todd, Jos. Hoskins, James Irwin, Wm. Sewell, Charles Upton, Wm. Cox, Edward L. Cox, J. L. Witherall, George Goodwin, William Cox, Adam Scott, John Webbe Weston, Edmund Boehm, John Billingsley and Reg. Braithewaite · Transactions of the Society, Instituted at London, for the Encouragement of Arts, Manufactures, and Commerce · 1797

PAPERS IN AGRICULTUREBRYAN HESLEDEN, George Holden, J. M. Hodgson, William Holgatë, WILLIAM C. KNOWLYS, JOHN MAURICE JONES, W. Williams, David Pritchard, Thomas Roberts, PATRICK STEUART, JOHN WHATELY, M. Baillie, Geo. L. Tuthill, LEONARD PHILLIPPS, Jun, WILLIAM BACKHOUSE, James Thompson, John Atkinson, Edward Charlton, George Coates, Jon. Backhouse, Jun., Thomas Parker, William Snowball, Robert Hunter, Richard Green, John Shakeshaft, Thomas Shakeshaft, Thomas Stebbing, Thomas Pollett, William Pollett, EDWARD KNIGHT and Charlotte Day · Transactions of the Society, Instituted at London, for the Encouragement of Arts, Manufactures, and Commerce · 1813

PAPERS IN MECHANICSMatthew Cooke, THOMAS MACHELL, WILLIAM BOWLER, THOMAS PERRY, John Robert Scott, William P. Jones, Thomas Thatcher, J. GOSS, JAMES ASPINALL, JOSEPH DAVIS, JOSEPH MARTIN, J. KING, DAVID RITCHIE, THOMAS RAMSAY and GEORGE CUMMING · Transactions of the Society, Instituted at London, for the Encouragement of Arts, Manufactures, and Commerce · 1812

PAPERS IN AGRICULTUREWILLIAM BEATTIE, R. LANDAFF, Robert Atkinson, BORINGD0N, Richard Chaffon, John Yolland, William Pearce, WILLIAM LAWRENCE, J. Waring, R. Francis, Rt. Clark, James Shynm, D. P. Francis, WM. LAWRENCE, A. BAIN, CHARLES WAISTELL, J. C. CURWEN, Willliam Knott, Mr. Sunderand, J. Penny Marshall, Thomas Tart, William Armstead, William Staller, Anthony Eidsforth, Christopher Atkinson, Robert Edmondson, ARTHUR YOUNG, ROBERT BURROWS, Peter Le Neve Fostee, John Elmer, William Fitz May, John Bond, James Norton, J. BUTLER, Samuel Mence, George Curtis, Francis Denyer, James Chase, William Money, John Fullech, John Rowland, SAMUEL CURTIS, R. PARKINSON, W. WALLIS MASON, John Foord Naish, Thomas Bryan, William Oram, William Ledrooke, Richard Cattell and TIMOTHY FISHER · Transactions of the Society, Instituted at London, for the Encouragement of Arts, Manufactures, and Commerce · 1808

PAPERS IN AGRICULTURENathaniel Kent, Mr. More, Thomas Page, Samuel More, William Dickinson, George Meickle, William Hunter, Robert Dudgeon, William Seaton, James Bunn, William Lambe, Robert Bell, Thos. Somerville, John Fox, Samuel Goodinge, Edw. Ansell, P. Rotham, Rob. Piper, John Atlee, Geo. Sheen, Sam. Dendy, John Wilson, Thomas Wakefield, James Greenhalgh, W. Farmer, Thomas Eccleston, John Middleton, William Featherstonhaugh, George Wardell, H. J. De Salis and Thomas Skip Dyot Bucknall · Transactions of the Society, Instituted at London, for the Encouragement of Arts, Manufactures, and Commerce · 1799

PAPERS IN AGRICULTUREJohn Morse, William Fox, Edward Davy, Tho Chamberlain, John Gapp, Joseph Cowlishaw, Robert Ramsden, T. Hume, Richard S. Milnes, James Mann, Thomas White, John Clark, Thomas Harrison, John Clarke, John Benson, William Hollins, J. Jones, Rob. Williams, John Davies, Rich. Pryce, William Pitt, John Holt, Edward Presgrave, Gilbert Young, George Harby, R. Stewart, Robert Ireland, Thomas Noyes, Lord Romney, John Ball, Robert Dore, James Wood, Roger Morle, John Winter, Nicholas Tanner, T. Tanner, Richard Morle, William Hayward, William Ward, John Caswall, Thomas Quayle, Robert Mundell, William Waltham, Samuel Bawtree, A. L. Peacocke, Thomas Stuttle, Richard Spurgen, Charles Cowley, Thomas Palling, James Carter, Thomas Beckley, John Robertson, John B. Cholwich, Thomas Lee, John. B. Cholwich, E. Sparks, John Carrinton, John Lane, John Hill, Lewis Bexford, Samuel Clark and Simon Manley · Transactions of the Society, Instituted at London, for the Encouragement of Arts, Manufactures, and Commerce · 1790

Compressibility and Kolmogorov ComplexityBinns, Stephen; Nicholson, Marie · Notre Dame Journal of Formal Logic · 2013

Weak Theories of Concatenation and ArithmeticHorihata, Yoshihiro · Notre Dame Journal of Formal Logic · 2012

On Existence in Set TheoryFreire, Rodrigo A. · Notre Dame Journal of Formal Logic · 2012

On Generalizing KolmogorovDietz, Richard · Notre Dame Journal of Formal Logic · 2010

Metalogic of Intuitionistic Propositional CalculusCitkin, Alex · Notre Dame Journal of Formal Logic · 2010

On a family of paradoxes.Prior, A. N. · Notre Dame Journal of Formal Logic · 1961

Degrees of Relative ProvabilityCai, Mingzhong · Notre Dame Journal of Formal Logic · 2012

The Computational Content of Arithmetical ProofsHetzl, Stefan · Notre Dame Journal of Formal Logic · 2012