Search Results for Logic


Repeat this search with context displayed

Biographies

  1. Tarski biography
  2. Schroder biography
  3. Curry biography
  4. Scholz biography
  5. Poretsky biography
  6. Church biography
  7. Ackermann biography
  8. Lewis biography
  9. Bernays biography
  10. Trakhtenbrot biography
  11. Adian biography
  12. Janovskaja biography
  13. Slupecki biography
  14. Jevons biography
  15. Quine biography
  16. Tichy biography
  17. Kleene biography
  18. Moisil biography
  19. Frege biography
  20. Lesniewski biography
  21. Shepherdson biography
  22. MacColl biography
  23. Russell biography
  24. Smullyan biography
  25. Kuroda biography
  26. Mostowski biography
  27. Cohen biography
  28. Padoa biography
  29. Davis biography
  30. Sleszynski biography
  31. Skolem biography
  32. Peano biography
  33. Ockham biography
  34. Los biography
  35. Lob biography
  36. Venn biography
  37. Szmielew biography
  38. Aristotle biography
  39. Peirce Charles biography
  40. Lyndon biography
  41. Herbrand biography
  42. Post biography
  43. Boole biography
  44. Hay biography
  45. Rasiowa biography
  46. Chrysippus biography
  47. Jungius biography
  48. Kalicki biography
  49. Robinson biography
  50. Couturat biography
  51. Dodgson biography
  52. Grattan-Guinness biography
  53. Wittgenstein biography
  54. Gentzen biography
  55. Shelah biography
  56. Johnson biography
  57. Shatunovsky biography
  58. Karp biography
  59. Bachmann Friedrich biography
  60. Kalmar biography
  61. Malcev biography
  62. Poincare biography
  63. Albert biography
  64. Specker biography
  65. Fabri biography
  66. Ramsey biography
  67. Gorbunov biography
  68. Lukasiewicz biography
  69. Ladd-Franklin biography
  70. Jourdain biography
  71. MacLane biography
  72. Reichenbach biography
  73. Lowenheim biography
  74. Al-Tusi Nasir biography
  75. Hamilton William biography
  76. Von Neumann biography
  77. Avicenna biography
  78. Carmichael biography
  79. Heyting biography
  80. Vailati biography
  81. De Bruijn biography
  82. Cantelli biography
  83. Boole Mary biography
  84. Aldrich biography
  85. Foster biography
  86. Lindenbaum biography
  87. Pawlak biography
  88. Matiyasevich biography
  89. Burali-Forti biography
  90. Maior biography
  91. Lakatos biography
  92. Kaluznin biography
  93. Del Re biography
  94. Sikorski biography
  95. Kothe biography
  96. Turing biography
  97. Halmos biography
  98. Holder biography
  99. Coutts biography
  100. Saccheri biography
  101. Vacca biography
  102. Lamy biography
  103. Keynes biography
  104. Nikodym biography
  105. Robinson Raphael biography
  106. Finsler biography
  107. Bolzano biography
  108. Al-Kindi biography
  109. Subbotovskaya biography
  110. Enriques biography
  111. Ball biography
  112. Bernoulli Daniel biography
  113. Macbeath biography
  114. Bradwardine biography
  115. Levi Beppo biography
  116. Besicovitch biography
  117. Kneebone biography
  118. Hammer biography
  119. Boethius biography
  120. Hardie Robert biography
  121. Menger biography
  122. Foulis biography
  123. Thue biography
  124. Chini biography
  125. Alexiewicz biography
  126. Ramus biography
  127. Newman biography
  128. Tacquet biography
  129. Ito biography
  130. Appel biography
  131. Manin biography
  132. Stott biography
  133. Wallis biography
  134. Silva biography
  135. Kuratowski biography
  136. Eudemus biography
  137. Bloch biography
  138. Nunes biography
  139. Reidemeister biography
  140. Brouwer biography
  141. Alison biography
  142. Forder biography
  143. Wrinch biography
  144. Leibniz biography
  145. Gardner biography
  146. Lehto biography
  147. Snedecor biography
  148. Kramer biography
  149. Descartes biography
  150. Barrow biography
  151. Dantzig biography
  152. Gerbert biography
  153. Peter biography
  154. Kaestner biography
  155. Novikov biography
  156. Godel biography
  157. Bayes biography
  158. Lax Anneli biography
  159. Ratz biography
  160. Lambert biography
  161. Schwartz Jacob biography
  162. Theilheimer biography
  163. Hayes biography
  164. Radon biography
  165. Nash biography
  166. Wenninger biography
  167. Budan de Boislaurent biography
  168. Bacon biography
  169. Tao biography
  170. Maxwell biography
  171. Fiorentini biography
  172. Truesdell biography
  173. Zylinski biography
  174. Routledge biography
  175. Black biography
  176. Lonie biography
  177. Rado biography
  178. Carslaw biography
  179. Temple biography
  180. Apostol biography
  181. Macintyre biography
  182. Halsted biography
  183. Pullar biography
  184. Thabit biography
  185. Bassi biography
  186. Kantorovich biography
  187. Gunter biography
  188. Albertus biography
  189. Penrose biography
  190. Cusa biography
  191. Whitehead biography
  192. Lorgna biography
  193. Sitter biography
  194. Whitney biography
  195. Belanger biography
  196. Hobbes biography
  197. Grieve biography
  198. Nash-Williams biography
  199. Gentle biography
  200. Kolchin biography
  201. Wiener Norbert biography
  202. Harish-Chandra biography
  203. Kreisel biography
  204. Dougall Charles biography
  205. Castelli biography
  206. De Morgan biography
  207. Lawson biography
  208. Llull biography
  209. Edgeworth biography
  210. Chrystal biography
  211. Bernoulli Jacob biography
  212. Brash biography
  213. Trahtman biography
  214. Zeno of Sidon biography
  215. Konig Julius biography
  216. Adamson biography
  217. Riccioli biography
  218. Forsythe biography
  219. Marescotti biography
  220. Rios biography
  221. Yushkevich biography
  222. Shafarevich biography
  223. Jeffreys biography
  224. Porphyry biography
  225. Capelli biography
  226. Bruno Giordano biography
  227. Comrie biography
  228. Ingarden biography
  229. Novikov Sergi biography
  230. Karsten biography
  231. Frucht biography
  232. Johnstone biography
  233. Hirzebruch biography
  234. Cassels James biography
  235. Browne biography
  236. Fine Nathan biography
  237. Orszag biography
  238. Sturm biography
  239. Pairman biography
  240. Kennedy-Fraser biography
  241. Boscovich biography
  242. Macdonald William biography
  243. Cipolla biography
  244. Kahler biography
  245. Kronecker biography
  246. Maclaurin biography
  247. Euwe biography
  248. Sinan biography
  249. Vivanti biography
  250. Tanaka biography
  251. Thomae biography
  252. Hutton James biography
  253. Mihoc biography
  254. Higman biography
  255. Kolmogorov biography
  256. Gibb biography
  257. Chatelet Albert biography
  258. Walker John biography
  259. Mitchell James biography
  260. Arnauld biography
  261. Green Sandy biography
  262. Pieri biography
  263. Wilder biography
  264. Griffiths Brian biography
  265. Golab biography
  266. Zaremba biography
  267. Yang Hui biography
  268. Hemchandra biography
  269. Levi biography
  270. Ulam biography
  271. Kasner biography
  272. Ascoli biography
  273. Ceva Giovanni biography
  274. Bremermann biography
  275. Bollobas biography
  276. Lueroth biography
  277. Castelnuovo biography
  278. Blum biography
  279. Fefferman biography
  280. Goodstein biography
  281. Eperson biography
  282. Klugel biography
  283. Magnitsky biography
  284. Stringham biography
  285. Cariolaro biography
  286. Delgado biography
  287. Lichnerowicz biography
  288. Hahn biography
  289. Pitman biography
  290. Grothendieck biography
  291. Feigenbaum biography
  292. Burgess biography
  293. MacMillan Chrystal biography
  294. Fine biography
  295. Kemeny biography
  296. Crofton biography
  297. Kline biography
  298. De Moivre biography
  299. Plato biography
  300. Malfatti biography
  301. Gysel biography
  302. Schrodinger biography
  303. Fraenkel biography
  304. Lacroix biography
  305. Drysdale biography
  306. McMullen biography
  307. Born biography
  308. Rouche biography
  309. Beattie biography
  310. Cecioni biography
  311. Gleason biography
  312. Dirac biography
  313. Scholz Arnold biography
  314. Conway biography
  315. Cohn biography
  316. Apaczai biography
  317. Bernoulli Nicolaus(I) biography
  318. Philip biography
  319. Lefebure biography
  320. Al-Samarqandi biography
  321. Caramuel biography
  322. Bachiller biography
  323. Biancani biography
  324. Fredholm biography

History Topics

  1. Bolzano's manuscripts references
  2. Bolzano's manuscripts references
  3. Set theory references
  4. Set theory references
  5. Ledermann interview
  6. Mathematical games references
  7. Jaina mathematics references
  8. Mathematical games references
  9. Jaina mathematics references
  10. Christianity and Mathematics
  11. U of St Andrews History
  12. Word problems
  13. Infinity
  14. Measurement
  15. Set theory
  16. Calculus history
  17. function concept
  18. Bolzano's manuscripts
  19. Greek astronomy
  20. Mathematical games
  21. Topology history references
  22. 20th century time references
  23. Classical time references
  24. Real numbers 2 references
  25. Real numbers 3 references
  26. Infinity references
  27. Topology history references
  28. 20th century time references
  29. Classical time references
  30. Real numbers 2 references
  31. Real numbers 3 references
  32. Harriot's manuscripts
  33. Squaring the circle
  34. Infinity references

Societies etc

  1. Georgian Mathematical Union
  2. National Academy of Sciences of Italy
  3. Columbian Mathematical Society
  4. Colombian Mathematical Society
  5. Mexican Mathematical Society
  6. Bulgarian Academy of Sciences
  7. Czech Academy of Sciences
  8. Royal Irish Academy
  9. Göttingen Mathematical Society
  10. Serbian Academy of Sciences
  11. References for Gottingen
  12. Swedish Academy of Sciences
  13. Association for Women in Mathematics
  14. South African Mathematical Society

Honours

  1. Gödel Lecturer
  2. Karp Prize
  3. International Congress Speaker
  4. New Zealand Mathematics Society Research Award
  5. MAA Chauvenet Prize
  6. Sylvester Medal
  7. IMU Nevanlinna Prize
  8. AMS Steele Prize
  9. Wolf Prize
  10. European Mathematical Society Prize

References

  1. References for Tarski
  2. References for Schroder
  3. References for Frege
  4. References for MacColl
  5. References for Hilbert
  6. References for Janovskaja
  7. References for Church
  8. References for Leibniz
  9. References for Boole
  10. References for Lesniewski
  11. References for Bolzano
  12. References for Halmos
  13. References for Russell
  14. References for Bernays
  15. References for Fraenkel
  16. References for Davis
  17. References for Godel
  18. References for Grattan-Guinness
  19. References for Aristotle
  20. References for Grassmann
  21. References for Lindenbaum
  22. References for Skolem
  23. References for Ockham
  24. References for Kneebone
  25. References for Menger
  26. References for Ackermann
  27. References for Trakhtenbrot
  28. References for Peirce Charles
  29. References for Tichy
  30. References for MacLane
  31. References for Hahn
  32. References for Slupecki
  33. References for De Morgan
  34. References for Szmielew
  35. References for Lukasiewicz
  36. References for Kleene
  37. References for Curry
  38. References for Finsler
  39. References for Kuroda
  40. References for Los
  41. References for Peter
  42. References for Scholz
  43. References for Lewis
  44. References for Descartes
  45. References for Boethius
  46. References for Cohen
  47. References for Avicenna
  48. References for Sikorski
  49. References for Poincare
  50. References for Vailati
  51. References for Poretsky
  52. References for Shatunovsky
  53. References for Galileo
  54. References for Bell
  55. References for Jevons
  56. References for Herbrand
  57. References for Dodgson
  58. References for Peano
  59. References for Padoa
  60. References for Boole Mary
  61. References for Bradwardine
  62. References for Shelah
  63. References for Bernoulli Johann
  64. References for Clausius
  65. References for Plato
  66. References for Heyting
  67. References for Matiyasevich
  68. References for Lobachevsky
  69. References for Euler
  70. References for Aldrich
  71. References for Del Re
  72. References for Kurepa
  73. References for Gentzen
  74. References for Dedekind
  75. References for Hobbes
  76. References for Lowenheim
  77. References for Copernicus
  78. References for Enriques
  79. References for Brouwer
  80. References for Saccheri
  81. References for Bernoulli Jacob
  82. References for Robinson Raphael
  83. References for Al-Kindi
  84. References for Jungius
  85. References for Carmichael
  86. References for Mostowski
  87. References for Whitehead
  88. References for Veblen
  89. References for Chrysippus
  90. References for Arnauld
  91. References for Kepler
  92. References for Thomae
  93. References for Beltrami
  94. References for Al-Tusi Nasir
  95. References for Albert
  96. References for Apery
  97. References for Rohrbach
  98. References for Cantelli
  99. References for Karp
  100. References for Newton
  101. References for Hamilton
  102. References for Zylinski
  103. References for Post
  104. References for Specker
  105. References for Laplace
  106. References for Moisil
  107. References for Zermelo
  108. References for Tacquet
  109. References for Kline
  110. References for Kalicki
  111. References for Pedoe
  112. References for Von Neumann
  113. References for Artin
  114. References for Lambert
  115. References for Maruhn
  116. References for Temple
  117. References for Sleszynski
  118. References for Dubreil
  119. References for Venn
  120. References for Llull
  121. References for Archimedes
  122. References for Adamson
  123. References for Zeno of Elea
  124. References for Capelli
  125. References for Lyndon
  126. References for Jourdain
  127. References for Ladd-Franklin
  128. References for Alcuin
  129. References for Kothe
  130. References for Pieri
  131. References for Lehto
  132. References for Levi
  133. References for Birkhoff Garrett
  134. References for Weyl
  135. References for De Bruijn
  136. References for Delgado
  137. References for Nelson
  138. References for Pawlak
  139. References for Foster

Additional material

  1. Hilbert reviews
  2. Harold Jeffreys on Logic and Scientific Inference
  3. Poincaré on intuition in mathematics
  4. Halmos books 1
  5. Halmos books 2
  6. Borali-Forti preface
  7. A N Whitehead addresses the British Association in 1916, Part 2
  8. Lewis's Survey
  9. R L Wilder: 'Cultural Basis of Mathematics II
  10. C Chevalley: 'On Herbrand's thought
  11. Fraenkel books
  12. Bell books
  13. Slupecki books
  14. Kneebone books
  15. Shepherdson Tribute
  16. Halmos popular papers
  17. Enriques' reviews
  18. Grattan-Guinness books
  19. Peter's books
  20. Lewis's papers
  21. Keynes: 'Probability' Introduction Ch I
  22. Keynes: 'Probability' Introduction Ch II
  23. Bolzano publications
  24. Mac Lane books
  25. Karl Menger on Hans Hahn
  26. Value of Mathematics
  27. A N Whitehead addresses the British Association in 1916
  28. Valdivia aspects of maths
  29. Enciclopedia delle Matematiche
  30. Trakhtenbrot books
  31. Karl Menger's books
  32. Ernest Hobson addresses the British Association in 1910, Part 3
  33. Mathematics at Aberdeen 1
  34. Pedoe's books
  35. Aitken: 'Statistical Mathematics
  36. A N Whitehead: 'Autobiographical Notes
  37. Carol R Karp: 'Languages with expressions of infinite length
  38. Walk Around Paris
  39. Mandelbrot: Foreword to 'Abraham Robinson' by Dauben
  40. Young Researchers
  41. Kuratowski: 'Introduction to Set Theory
  42. Skolem: 'Abstract Set Theory
  43. Ernest Hobson addresses the British Association in 1910, Part 2
  44. Rios Honorary Degree
  45. Isaac Todhunter: 'Euclid' Preface
  46. Halmos Set Theory
  47. E W Hobson: 'Mathematical Education
  48. R L Wilder: 'Cultural Basis of Mathematics III
  49. Gian-Carlo Rota: Alonzo Church
  50. Hilbert's Grundlagen
  51. Students in 1711
  52. Sikorski books
  53. Papers about Lewis
  54. Gordon Preston on semigroups
  55. Duhem onfashion
  56. Brink books
  57. Horace Lamb addresses the British Association in 1904, Part 2
  58. Thue speeches
  59. R L Wilder: 'Cultural Basis of Mathematics I
  60. Whyburn's books
  61. Gibson History 7 - Robert Simson
  62. Vailati writings
  63. G H Hardy's schedule of lectures in the USA
  64. History in mathematical education
  65. Hilbert quotes
  66. Atiyah papers
  67. Sudoku abstract
  68. Valdivia aesthetic maths
  69. Education in St Andrews in 1849
  70. Vailati Reviews
  71. Survey of Modern Algebra
  72. Hans Hahn: 'The crisis in intuition
  73. Keynes: 'Probability' Preface
  74. Dubreil Books
  75. Serge Lang: 'Algebra
  76. Harold Jeffreys on Probability
  77. George Salmon: from mathematics to theology
  78. Kurosh: 'Lectures on general algebra' Introduction
  79. Smith Teaching Papers
  80. Bell papers
  81. Bronowski and retrodigitisation
  82. Weatherburn books
  83. Arthur Eddington's 1927 Gifford Lectures
  84. Chrystal: 'Algebra' Preface
  85. Selected papers of Edward Marczewski' Preface
  86. Dudeney: 'Amusements in mathematics' Preface
  87. Einstein: 'Geometry and Experience
  88. Poincaré on non-Euclidean geometry
  89. Dahlin Extracts
  90. Gentzen Descriptions
  91. Mathematicians and Music
  92. De Coste on Mersenne
  93. Cotlar interview
  94. Valdivia Infinity
  95. Cajori: 'A history of mathematics' Introduction
  96. Samuel Wilks' books
  97. De Morgan 1859 Preface
  98. Speiser books
  99. Mathematics at Aberdeen 2
  100. Centenary of John Leslie
  101. Wall's Creative mathematics
  102. Burali-Forti Russell letter
  103. Leslie works
  104. Mary Boole writing
  105. Finkel's Solution Book
  106. Truesdell's books
  107. R A Fisher: 'Statistical Methods' Introduction
  108. Berge books
  109. Andrew Forsyth addresses the British Association in 1905
  110. Bertrand Russell on Euclid
  111. Slaught on Mathematics and Teaching
  112. Biography of Mathematics
  113. Reviews of Shafarevich's books
  114. Science at St Andrews
  115. Primes abstract
  116. Von Neumann Silliman lectures
  117. Mathematics at Aberdeen 4
  118. Mathematics at Aberdeen 3
  119. Smith's Teaching Books
  120. Kline's books
  121. Al-Kashi's letter
  122. Magnus books
  123. Writings of Charles S Peirce' Preface
  124. Philip Jourdain and Georg Cantor
  125. Pandrosion man woman
  126. Landau and Lifshitz Prefaces
  127. Menger on teaching
  128. George Temple's Inaugural Lecture II
  129. Harold Jeffreys: 'Scientific Inference' Preface
  130. Olds' teaching articles
  131. Comments by Charlotte Angas Scott
  132. Knorr's books
  133. Mordell reminiscences
  134. Pólya's favourite quotes
  135. Halmos: creative art
  136. Calcutta Review 1859
  137. May's papers
  138. May's books
  139. A D Aleksandrov's view of Mathematics
  140. De Thou on François Viète

Quotations

  1. Quotations by Russell
  2. A quotation by Boutroux
  3. Quotations by Church
  4. Quotations by Dantzig
  5. Quotations by Kac
  6. A quotation by Dudeney
  7. Quotations by De Morgan
  8. Quotations by Heaviside
  9. Quotations by Ampere
  10. Quotations by Born
  11. Quotations by Hadamard
  12. Quotations by Polya
  13. Quotations by Hoyle
  14. Quotations by Boole
  15. Quotations by Wiener Norbert
  16. Quotations by Poincare
  17. Quotations by Wittgenstein
  18. Quotations by Ulam
  19. Quotations by Weyl
  20. Quotations by Courant
  21. Quotations by Godel
  22. A quotation by Arnauld
  23. Quotations by Boltzmann
  24. Quotations by Peirce Charles
  25. A quotation by Duhem

Famous Curves

No matches from this section


Chronology

  1. Mathematical Chronology
  2. Chronology for 1850 to 1860
  3. Chronology for 1840 to 1850
  4. Chronology for 1960 to 1970
  5. Chronology for 1300 to 1500
  6. Chronology for 900 to 1100

EMS Archive

  1. Edinburgh Mathematical Society Lecturers 1883-2016
  2. EMS Proceedings papers
  3. EMS Founder Members
  4. EMS 1951 Colloquium

BMC Archive

  1. Minutes for 2011
  2. BMC 1951
  3. BMC 2000
  4. Minutes for 1997
  5. Report2013.html
  6. BMC Press release
  7. BMC 1979
  8. Minutes for 1950
  9. BMC 1998
  10. Report2015.html
  11. Minutes for 2000
  12. BMC 1955
  13. BMC 1974
  14. BMC 2015
  15. Minutes for 1999
  16. BMC 1986
  17. BMC 1991
  18. Minutes for 1996
  19. BMC 1977
  20. Minutes for 2002
  21. Minutes for 1977
  22. Minutes for 1949
  23. Minutes for 1957
  24. Minutes for 1999
  25. Minutes for 1963
  26. Minutes for 1954

Gazetteer of the British Isles

  1. Oxford Institutions and Colleges
  2. London Scientific Institutions
  3. Manchester
  4. Chevening, Kent
  5. London individuals S-Z
  6. London individuals H-M
  7. Glasgow
  8. References
  9. Norwich, Norfolk
  10. Oxford individuals

Astronomy section

No matches from this section


This search was performed by Kevin Hughes' SWISH and Ben Soares' HistorySearch Perl script

Another Search Search suggestions
Main Index Biographies Index

JOC/BS August 2001