81. The Inventor Of The Electronic Computer In 1847 George Boole (18151864), also an english mathematician, englishmathematician Alan Turing (1912-1954) published On Computable Numbers in 1937 http://www.cosmos-club.org/journals/1996/loevinger.html

The Inventor of the Electronic ComputerThe Cosmos Club Member Who Changed Our World by Lee Loevinger The combination of elements that is the essence of the modern computer is the conception of one man-a member of the Cosmos Club from 1957 until his death in 1995. The words of the University of Wisconsin citation conferring an honorary Doctor of Science degree on May 16, 1987, are descriptive: John Vincent Atanasoff ... had the central insights that led to one of the most momentous inventions of the century, the electronic digital computer. His invention is transforming our world. It accelerates mathematical calculations beyond the dreams of our ancestors; it enhances our collective memory; it functions as a surrogate to human intelligence in applications so numerous that not even a computer can aggregate them all. This recognition was corroborated in 1990 when President George Bush awarded Atanasoff the National Medal of Technology "...for his invention of the electronic digital computer and for contribution toward the development of a technically trained U. S. workforce." Like all great inventions, the computer is the product of the ideas and devices of many individuals. The earliest known calculating device, the abacus, probably originated in Babylonia between 4000 and 3000 B.C., during the development of writing. Originally it was a board or slab sprinkled with sand or dust on which marks were made to keep track of numbers. Over time this system evolved into a board marked with lines and counters whose positions indicated numerical values, such as ones, tens, hundreds and so forth, which probably grew out of the habit of counting on fingers. In a Roman version the board was grooved to facilitate moving the counters. This evolved into a frame with counters strung on wires. Through the Middle Ages the abacus was in universal use throughout Europe, Asia and the Arab world and is still used in the Middle East and Asia.

82. Mathematician - Definition Of Mathematician By The Free Online Dictionary, Thesa What does mathematician mean? mathematician synonyms, mathematician antonyms.Information about mathematician in the free online english dictionary and http://www.thefreedictionary.com/mathematician

Domain='thefreedictionary.com' word='mathematician' Your help is needed: American Red Cross The Salvation Army join mailing list webmaster tools Word (phrase): Word Starts with Ends with Definition subscription: Dictionary/ thesaurus Computing dictionary Medical dictionary Legal dictionary Financial dictionary Acronyms Columbia encyclopedia Wikipedia encyclopedia Hutchinson encyclopedia mathematician Also found in: Acronyms Wikipedia 0.03 sec. Page tools Printer friendly Cite / link Email Feedback math·e·ma·ti·cian (m th -m -t sh n) n. A person skilled or learned in mathematics. Thesaurus Legend: Synonyms Related Words Antonyms Noun mathematician - a person skilled in mathematics math mathematics maths - a science (or group of related sciences) dealing with the logic of quantity and shape and arrangement algebraist - a mathematician whose specialty is algebra arithmetician - someone who specializes in arithmetic geometer geometrician - a mathematician specializing in geometry number theorist - a mathematician specializing in number theory probability theorist - a mathematician who specializes in probability theory man of science scientist - a person with advanced knowledge of one of more sciences mathematical statistician statistician - a mathematician who specializes in statistics trigonometrician - a mathematician specializing in trigonometry Abel Niels Abel Niels Henrik Abel - Norwegian mathematician (1802-1829) Al-Hasan ibn al-Haytham al-Haytham Alhazen Ibn al-Haytham - an Egyptian polymath (born in Iraq) whose research in geometry and optics was influential into the 17th century; established experiments as the norm of proof in physics (died in 1040)

83. Whitehead, Alfred North - MavicaNET Whitehead, Alfred North, 18611947, english mathematician and philosopher, grad . english mathematician and philosopher who was interested in the logical http://www.mavicanet.com/directory/eng/7463.html

selCatSelAlt="Deselect category"; selCatDesAlt="Select category"; selSitSelAlt="Deselect site"; selSitDesAlt="Select site"; MavicaNET - Multilingual Search Catalog MavicaNet Lite - Light version Catalog Belarusian Bulgarian Croatian Czech Danish Dutch English Estonian Finnish French German Greek Hungarian Icelandic Irish Italian Latvian Lithuanian Norwegian Polish Portuguese Romanian Russian Serbian (cyr.) Serbian (lat.) Slovak Spanish Swedish Turkish Ukrainian Culture Philosophy By Periods and Regions English Philosophy ... Rationalism Whitehead, Alfred North Sites Sister categories ... Bacon, Sir Francis (1561-1626) Bentham, Jeremy (1748-1832) Berkeley, George (1685-1753) Descartes, René (1596-1650) Godwin, William Hobbes, Thomas (1588-1679) Hume, David (1711-1776) Hutcheson, Francis Leibniz, Gottfried Wilhelm (16... Locke, John Mill, John Stuart (1806-1873) Murdoch, Iris (1919-1999) Pater, Walter (1839-1894) Peirce, Charles Sanders Reid, Thomas (1710-1796) Ruskin, John (1819-1900) Russell, Bertrand (1872-1970) Spencer, Herbert (1820-1903) Spinoza, Benedict de

84. Turing, Alan M., In Full ALAN MATHISON TURING (b. June 23, 1912 June 7, 1954, Wilmslow, Cheshire), english mathematician and logician who pioneeredin the field of computer theory and who contributed important logical http://www.ee.ic.ac.uk/pcheung/teaching/ee2_computing/turing.txt

Turing, Alan M., in full ALAN MATHISON TURING (b. June 23, 1912, London, Eng.d. June 7, 1954, Wilmslow, Cheshire), English mathematician and logician who pioneered in the field of computer theory and who contributed important logical analyses of computer processes. The son of a British member of the Indian Civil Service, Turing studied at Sherborne school and at King's College, Cambridge. Many mathematicians in the first decades of the 20th century had attempted to eliminate all possible error from mathematics by establishing a formal, or purely algorithmic, procedure for establishing truth. The mathematician Kurt Gödel threw up an obstacle to this effort with his incompleteness theorem; Gödel showed that any useful mathematical axiom system is incomplete in the sense that there must exist propositions whose truth can never be determined (undecidable propositions within the system). Turing was motivated by Gödel's work to seek an algorithmic method of determining whether any given propositions were undecidable, with the ultimate goal of eliminating them from mathematics. Instead, he proved in his seminal paper "On Computable Numbers, with an Application to the Entscheidungsproblem [Halting Problem]" (1936) that there cannot exist any such universal method of determination and, hence, that mathematics will always contain undecidable (as opposed to unknown) propositions. To illustrate this point, Turing posited a simple device that possessed the fundamental properties of a modern computing system: a finite program, a large data-storage capacity, and a step-by-step mode of mathematical operation. This Turing machine , as it was later called, is frequently used as a point of reference in basic discussions of automata theory and was also the theoretical basis for the digital computers that came into being in the 1940s. Turing's work, along with that of Gödel, put to rest the hopes of David Hilbert and his school that all mathematical propositions could be expressed as a set of axioms and derived theorems. (see also Index: Turing machine) Turing continued his mathematical studies at Princeton University, completing a Ph.D. (1938) under the direction of the American mathematician Alonzo Church. He then returned to England and accepted a renewed fellowship at King's College. During World War II he served with the Government Code and Cypher School, at Bletchley, Buckinghamshire, where he played a significant role in breaking the German "Enigma" codes. In 1945 he joined the staff of the National Physical Laboratory in London to lead the design, construction, and use of a large electronic digital computer that was named the Automatic Computing Engine (ACE). In 1948 he became deputy director of the Computing Laboratory at the University of Manchester, where the Manchester Automatic Digital Machine (MADAM, as it was referred to in the press), the computer with the largest memory capacity in the world at that time, was being built. His efforts in the construction of early computers and the development of early programming techniques were of prime importance. He also championed the theory that computers eventually could be constructed that would be capable of human thought, and he proposed a simple test, now known as the Turing test , to assess this capability. Turing's papers on the subject are widely acknowledged as the foundation of research in artificial intelligence. In 1952 Turing published the first part of his theoretical study of morphogenesis, the development of pattern and form in living organisms. He left his work unfinished, however. He apparently committed suicide, probably because of the depressing medical treatment that he had been forced to undergo (in lieu of prison) to "cure" him of homosexuality. Turing test, in artificial intelligence, a test proposed (1950) by the English mathematician Alan M. Turing to determine whether a computer can be said to "think." There are extreme difficulties in devising any objective criterion for distinguishing "original" thought from sufficiently sophisticated "parroting"; indeed, any evidence for original thought can be denied on the grounds that it ultimately was programmed into the computer. Turing sought to cut through the long philosophical debate about exactly how to define thinking by means of a very practical, albeit subjective, test: if a computer acts, reacts, and interacts like a sentient being, then call it sentient. To eliminate anthropocentric bias, Turing suggested the "imitation game," now known as the Turing test: a remote human interrogator, within a fixed time frame, must distinguish between a computer and a human subject based on their replies to various questions posed by the interrogator. By means of a series of such tests, a computer's measure of success at "thinking" can then be quantified by its probability of being misidentified as the human subject. Turing predicted that by the year 2000 a computer "would be able to play the imitation game so well that an average interrogator will not have more than a 70-percent chance of making the right identification (machine or human) after five minutes of questioning." Turing machine, hypothetical computing device introduced in 1936 by the English mathematician and logician Alan M. Turing . He originally conceived the machine as a mathematical tool that could infallibly recognize undecidable propositionsi.e., those mathematical statements that, within a given formal axiom system, cannot be shown to be either true or false. (The mathematician Kurt Gödel had demonstrated that such propositions exist in any such system.) Turing instead proved that there can never exist any universal algorithmic method for determining whether a proposition is undecidable. As envisaged by Turing, the machine performs its functions in a sequence of discrete steps and assumes only one of a finite list of internal states at any given moment. The machine itself consists of an infinitely extensible tape, a tape head that is capable of performing various operations on the tape, and a modifiable control mechanism in the head that can store directions from a finite set of instructions. The tape is divided into squares, each of which is either blank or has printed on it one of a finite number of symbols. The tape head has the ability to move to, read, write, and erase any single square and can also change to another internal state between one moment and the next. Any such act is determined by the internal state of the machine and the condition of the scanned square at a given moment. The output of the machinei.e., the solution to a mathematical querycan be read from the system once the machine has stopped. However, in the case of Gödel's undecidable propositions, the machine would never stop, and this became known as the "halting problem." The Turing machine is not a machine in the ordinary sense but rather an idealized mathematical model that reduces the logical structure of any computing device to its essentials. By extrapolating the essential features of information processing, Turing was instrumental in the development of the modern digital computer. His model became the basis for all subsequent digital computers, which share his basic scheme of an input/output device (tape and reader), memory (control mechanism's storage), and central processing unit (control mechanism).

85. Gale - Catalog - Home Italian mathematician; George Boole, english mathematician and logician english mathematician and physicist; Emmy Noether, German mathematician http://www.gale.com/servlet/ItemDetailServlet?region=9&imprint=000&titleCode=M&M

86. Topics In Algebra The english mathematician William Oughtred, in 1631, first used the symbol x for In 1847 the english mathematician and logician George Boole (18151864) http://www.math.wichita.edu/history/topics/algebra.html

Topics in Algebra Topic Tree Home Following are some topics in algebra. Contents of this Page Algebra in Nature A History of Algebra Symbols Boolean Algebra The Hailstone (3n + 1 ) Problem ... Half-Life Algebra in Nature Over the centuries, as mathematical concepts have developed, mathematicians have discovered links from their work to nature. Here are a few topics with their link to the natural world. Fibonacci Numbers When we look a Fibonacci Numbers, we can quickly see the pattern. Many flower species have been found that produce petals that follow this sequence. For example: Enchanter's Nightshade flowers = 2 petals Lilies = 3 petals Wild Geranium = 5 petals Delphinium = 8 petals Corn Merigold = 13 petals Also, pineapple scales and pine cones spiral in two different directions. The number of spirals are Fibonacci numbers. The Golden Ratio The regular pentagon bears a very close relationship to the Golden Ratio. When you draw two diagonal lines from each verticee, you form Golden Triangles. This forms a pentagram. In nature we find a variety of examples that hold true to this concept. Five petaled flower blossoms have the shape of a pentagram. There are more flowers that have five petals than any other number of petals. If you measure the distance from the tip of one petal to the tip of a nonadjacent petal and then divide that distance by the distance between two adjacent petal tips, you will get an approximation of the Golden Ratio.

87. Faces Of Mathematics: Portraits Of Mathematicians By Photographer Marc Atkins An exhibition of Marc Atkins blackand-white photography, featuring portaits ofmathematicians and information about their research. http://www.ma.hw.ac.uk/~ndg/fom.html

FACES OF MATHEMATICS "Faces of Mathematics" penetrates the esoteric world of University mathematics research and presents the human side of this most austere and challenging area of modern science. Focussing on the personalities of twenty influential mathematicians, the exhibition features large-format black and white portraits, taken by the photographer Marc Atkins. Alongside each of the portraits, a text-based display panel conveys the subject's research interests and personal viewpoint on mathematics, and a video loop shows the subject in conversation about their own research and other mathematical ideas. To see a larger portrait image, and to find out more about the individual subjects, click on a small image above. Information on the philosophy and practice behind Faces of Mathematics. Faces of Mathematics has recently been on show at the 2003 conference of the Mathematical Association at The University of East Anglia, and was previously shown at the Highgate Literary and Scientific Institution and the Oxford University Museum of Natural History . You can see some images of the exhibition in Oxford.

88. Mathematical Equations - EqWorld ordinary differential, partial differential, integral, functional, and othermathematical equations. Editor Andrei D. Polyanin english • Russian http://eqworld.ipmnet.ru/

EqWorld The World of Mathematical Equations Editor: Andrei D. Polyanin English Russian Home page ... Math Humor and Jokes Editorial Board George W. Bluman , Canada Francesco Calogero , Italy Peter A. Clarkson , United Kingdom Robert Conte, France Peter G. Leach, South Africa Alexander V. Manzhirov , Russia Willard Miller , USA Anatoly G. Nikitin , Ukraine William E. Schiesser , USA Valentin F. Zaitsev , Russia Alexei I. Zhurov , Russia/UK Daniel I. Zwillinger , USA Equations play a crucial role in modern mathematics and form the basis for mathematical modelling of numerous phenomena and processes in science and engineering. The EqWorld website presents extensive information on solutions to various classes of ordinary differential partial differential integral functional , and other mathematical equations. It also outlines some methods for solving equations, includes interesting articles, gives links to mathematical websites, lists useful handbooks and monographs, and refers to scientific publishers, journals, etc. This site will be kept up to date to include new equations with solutions and other useful information. The EqWorld website is intended for researchers, university teachers, engineers, and students all over the world. All resources presented on this site are free to its users.

89. World-Information.Org english mathematician and logician who pioneered in the field of computer theoryand who contributed important logical analyses of computer processes. http://world-information.org/wio/infostructure/100437611663/100438659338/?ic=100

90. World-Information.Org Alan Turing, an english mathematician and logician, advocated the theory thateventually computers could be created that would be capable of human thought. http://world-information.org/wio/infostructure/100437611663/100438659354/print?i

91. Category:British Mathematicians The root category for mathematicians is here. Some, but not all, mathematiciansfrom the United Kingdom have been subcategorised into http://www.algebra.com/algebra/about/history/Category:British-mathematicians.wik

Category:British mathematicians Regular View Dictionary View (all words explained) Algebra Help my dictionary with pronunciation , wikipedia etc Category:British mathematicians Classification People By occupation Mathematicians ... By nationality British also: United Kingdom People By occupation Mathematicians Mathematicians from Europe by nationality Austrian Azerbaijani Belgian British Byzantine Croatian Czech Danish ... Ukrainian Other continents: Africa Americas Asia and Oceania This category is for British mathematicians . Mathematicians can also be browsed by field and by period . The root category for mathematicians is here Mathematicians of the United Kingdom and Ireland British Irish English Scottish Welsh Some, but not all, mathematicians from the United Kingdom have been subcategorised into a national category. Subcategories There are 4 subcategories to this category. E English mathematicians L British logicians S Scottish mathematicians W Welsh mathematicians Articles in category "British mathematicians" There are 118 articles in this category. A John Couch Adams Frank Adams R. G. D. Allen

92. Pagina Nueva 1 Esta página usa marcos, pero su explorador no los admite. http://euler.ciens.ucv.ve/English/mathematics/

Esta página usa marcos, pero su explorador no los admite.

93. Abel Bicentennial Conference 2002 Thoroughly challenged, Abel studied the works of the 17thcentury Englishmathematician and physicist Isaac Newton and the contemporary mathematicians http://www.math.uio.no/abel/nha/main.html

Niels Henrik Abel Although when Abel's father died in 1820 the family was left in straitened circumstances, the boy was able to enter the University of Christiania (Oslo) in 1821 because his teacher contributed and raised funds. He obtained a preliminary degree from the university in 1822 and continued his studies independently with further subsidies obtained by his teacher. His first papers, published in 1823 in the new periodical Magazin for Naturvidenskaberne, were on functional equations and integrals, his solution of an integral equation being the first. Abel's friends urged the Norwegian government to grant him a fellowship for study in Germany and France. While waiting for the royal decree to be issued, in 1824 he published at his own expense his proof of the impossibility of solving algebraically the general equation of the fifth degree, which he hoped would bring him recognition. He sent the pamphlet to Gauss, who dismissed it, failing to recognize that the famous problem had indeed been settled. Arriving in Paris in the summer of 1826, he called on the foremost mathematicians and completed a memoir on transcendental functions. This major work presented a theory of integrals of algebraic functions, in particular the result known as Abel's theorem: there is a finite number, or genus, of independent integrals of this nature. This theorem is the basis for the later theory of Abelian integrals and Abelian functions. Abel was accepted with restrained civility in Paris, for his work was still unknown. He submitted his memoir for presentation to the Academy of Sciences, hoping to establish his reputation, but he waited in vain. Before leaving Paris, thinking he had a persistent cold, Abel consulted a physician, who informed him he had tuberculosis.

94. Overview Of "Mathematician's Secret Room" Chapter 2 (english) Squares consisted of 3 different digits. Japanese mathematicianSin Hitotsumatsu asked the proof or the contradiction that are there http://www.asahi-net.or.jp/~KC2H-MSM/mathland/overview.htm

Overview of "Mathematician's Secret Room" Challenges to the Unsolved Problems in Number Theory (May 17, 2004) (Chapter 2, 4, 9, 10, Appendix 1, 4 are translated in English. Other chapters are still written only in Japanese, sorry.) Chapter 4 : A solution of case n=52 for n=x +y +z was added. Chapter 2 : Search range for patterns not including zero were extended up to 10 . (May 17, 2004) (For patterns including zero, up to 10 were serached.) (June 04, 2001) : In Chapter 7, new results by Tomas Oliveira and Silva. Their web site is here ( 3x+1 conjecture verification results Chapter 0 : Opening Why I had an interest in Number Theory. Chapter 1 : 4/n = 1/a + 1/b + 1/c whether do there exist the natural number solutions of above equation, or not. I found the construction method of the parameterize solution from arbitrary solutions. That is, Theorem : Let A, B, C in N be a solution of following Diophantine equation, m/P=1/A+1/B+1/C, B=kP (m=4, 5, 6, 7, P=prime, k in N (i.e. 2 of A, B, C can be divisable by P) Define a, b, c, d, e, f, c', d' as

95. About The Handbook Of Mathematical Discourse Its point of view is that mathematical english is a foreign language. It usesfamiliar words with different meanings. Sometimes the meanings are only a http://www.cwru.edu/artsci/math/wells/pub/abouthbk.html

Charles Wells' Website CWRU Mathematics Department Website The Handbook of Mathematical Discourse The Handbook has been published. Website where you can buy it. The Handbook is based on citations from the literature which are available as a PDF file by clicking here . To find a citation, type control-shift n and then the number of the citation. Purpose of the Handbook. Description of the Handbook Links Mathematics ... Other Sites Purpose of the Handbook The Handbook of Mathematical Discourse is a compilation of mathematical usage with a focus on the words and phrases that cause problems for students at the postcalculus level, when they are beginning to study abstract mathematics. It also contains words describing behaviors and attitudes that students and instructors might have. The focus is on American usage/ Its point of view is that mathematical English is a foreign language It uses familiar words with different meanings. Sometimes the meanings are only a little different and sometimes they are very different. It uses familiar grammatical constructions with different meanings.

96. Online Dictionary For French English, Spanish English, Italian English, And More Dictionary software for Frenchenglish, Spanish-english, German-english,Italian-english, and more for mathematical adj. máth mátik l 1. http://www.ultralingua.net/?action=define&text=mathematical&service=&searchtype=

97. Mathematical Problems By David Hilbert address into english for Bulletin of the American Mathematical Society, 1902.A reprint of which appeared in Mathematical Developments Arising from http://www.mathematik.uni-bielefeld.de/~kersten/hilbert/problems.html

Hilbert's Mathematical Problems Hilberts Probleme (deutsch) In 1900, D AVID H ILBERT outlined 23 mathematical problems to the International Congress of Mathematicians in Paris. His famous address influenced, and still today influence, mathematical research all over the world. The original address Mathematische Probleme Mary Winston Newson translated Hilbert's address into English for Bulletin of the American Mathematical Society, 1902. A reprint of which appeared in Mathematical Developments Arising from Hilbert Problems , edited by Felix E. Browder, American Mathematical Society, 1976. There is also a collection on Hilbert's Problems, edited by P. S. Alexandrov, 1969, in Russian, which has been translated into German. Further Reading: Ivor Grattan-Guinness: A Sideways Look at Hilbert's Twenty-three Problems of 1900 (pdf file), Notices of the AMS, 47, 2000. Jeremy J.Gray: We must know, we shall know; a History of the Hilbert Problems, European Math. Soc.: Newsletter 36, and Oxford Univ. Press, 2000. David Joyce, Clark University, produced a

98. Anecdotage.com - Geeks Anecdotes. Anecdotes From Yeats To Gates The english mathematician Charles Babbage, famed for his invention of an early In 1873, the english mathematician William Shanks unveiled a calculation http://anecdotage.com/browse.php?term=Geeks

99. Guardian Unlimited Books | LRB Essay | Key Concepts: The Science Of Secrecy The english mathematician GH Hardy, who worked in the purest of all mathematicalfields, the theory of numbers, used to boast in his patrician way that http://books.guardian.co.uk/lrb/articles/0,6109,260296,00.html

@import url(/external/styles/global/0,14250,,00.css); Skip to main content Read today's paper Sign in Register Go to: Guardian Unlimited home UK news World news Newsblog Archive search Arts Books Business EducationGuardian.co.uk Film Football Jobs MediaGuardian.co.uk Money The Observer Politics Science Shopping SocietyGuardian.co.uk Sport Talk Technology Travel Been there Audio Email services Special reports The Guardian The northerner The wrap Advertising guide Crossword Soulmates dating Headline service Syndication services Events / offers Help / contacts Feedback Information GNL press office Living our values Newsroom Reader Offers Style guide Travel offers TV listings Weather Web guides Working at GNL Guardian Weekly Money Observer Public Home Guardian Review By genre Reviews ... Blog Search this site Other essays Colin Burrow on gardens Divided we stand She never stooped to conquer Lady of Lesbos ... Kathleen Jamie visits midwinter Orkney Key concepts: the science of secrecy In this exclusive online essay taken from the current edition of the London Review of Books, Brian Rotman considers cryptography and privacy in the digital age Wednesday May 24, 2000

100. Wiley-VCH - MLQ - Mathematical Logic Quarterly Mathematical Logic Quarterly (MLQ) (formerly Zeitschrift fuer Mathematische Logik 2005. Volume 51. 6 issues per year. Language of Publication english http://www.wiley-vch.de/publish/en/journals/alphabeticIndex/2256/

Journals Journals from A to Z MLQ - Mathematical Logic Quarterly Books Journals Please specify Accounting Architecture Business Chemistry Civil Engineering Computer Science Earth Science Education Electrical Engineering Finance Geography Graphics Design History Industrial Engin. Life Sciences Materials Science Mathematics Mechanical Engin. Medical Sciences Physics Social Science Statistics Journals from A to Z Online Submission of Manuscripts ... Electronic Media Please specify Accounting Architecture Business Chemistry Civil Engineering Computer Certification Computer Science Earth Science Economics Education Electrical Engineering End-User Computing Finance Geography Graphics Design History Hospitality Industrial Engin. Law Life Sciences Materials Science Mathematics Mechanical Engin. Medical Sciences Physics Psychology Social Science Statistics MLQ - Mathematical Logic Quarterly Latest Issue Access full text, free trials, sample copies, editorial and author information, news, and more. A Journal for Mathematical Logic, Foundations of Mathematics, and Logical Aspects of Theoretical Computer Science Mathematical Logic Quarterly publishes original contributions on mathematical logic and foundations of mathematics and related areas, such as general logic, model theory, recursion theory, set theory, proof theory and constructive mathematics, algebraic logic, nonstandard models, and logical aspects of theoretical computer science. MLQ is abstracted/indexed in Mathematical reviews, Science Citation Index, CompuMath Citation Index, INSPEC, and Zentralblatt für Mathematik.

Page 5     81-100 of 104    Back | 1  | 2  | 3  | 4  | 5  | 6  | Next 20