41. G.M.F.W. Translate this page Halte Heidelberglaan) Tijd 26 februari 2002, 1600 - 1700 uur AbstractDie Anfänge des Logikers gerhard gentzen in Göttingen. http://www-math.sci.kun.nl/werkgroepen/gmfw/samenv/Trott.html

ABSTRACTS SAMENVATTINGEN Lezing E. Menzler-Trott Utrecht, 26 februari 2002 Gaat niet door wegens ziekte spreker! E. Menzler-Trott Titel: Plaats: zaal B in het Marinus Ruppertgebouw op de Uithof te Utrecht (Trans I, te bereiken met bus 12 vanaf het Centraal Station. Halte Heidelberglaan) Tijd: 26 februari 2002, 16:00 - 17:00 uur Abstract

42. Andrés Raggio - The 50th Anniversary Of Gentzen's Thesis Introduction to gentzen's Hauptsatz and the consistency proof of arithmetic using induction up to Category Science Math Logic and Foundations Proof Theory...... When 50 years ago gerhard gentzen published his doctoral thesis Investigationsinto logical deduction prooftheory was developing very quickly. http://dns.uncor.edu/info/raggio/03obra/logfm/logica/gentz50.htm

principal tope sumario The 50th anniversary of Gentzen's thesis (Originalmente publicado en: Contemporary Mathematics , volume 69, 1988. American Mathematical Society.) When 50 years ago Gerhard Gentzen published his doctoral thesis Investigations into logical deduction proof-theory was developing very quickly. Besides Hilbert's programmatic papers, synthetized and actualized by Bernays in the first volume of Hilbert and Bernays' Grundlagen der Mathematik As is well known, Gentzen's thesis begins building a system of natural deduction for quantification theory. It seems impossible that an approximation of systematic logic to psychological facts could have any theoretical relevance . Nevertheless by means of this system of natural deduction Gentzen showed that the connectives -except negation- and the quantifiers can be analyzed by introduction and elimination rules in such a way that the latter are the inverses of the former. In fact, Disjunction and the quantifiers are handled in the same way. Gentzen's basic idea, simple as all revolutionary ideas in sciences, was that the successive application of an introduction and an elimination rule of the same logical notion were an unnecessary complication of a proof, so that we can reduce its complexity by simply dropping both rules. The two former proofs may be symplified in this way: These two new proofs are simpler than the preceding ones because, as Gentzen says, they make no "roundabouts". As Prawitz

43. Gentzen' Hauptsatz - Sumario Translate this page gentzen' Hauptsatz for the Systems NI and NK. sumario. NI y NK son dos sistemasdiferentes de deducción natural realizados por gerhard gentzen. http://dns.uncor.edu/info/raggio/03obra/logfm/logica/genz1-ab.htm

Gentzen' Hauptsatz for the Systems NI and NK sumario

44. Neuerwerbungen Philosophie August_2002 gentzen S. 307 - 311. - Literaturverz.S. 377 - 400 ISBN 3-7643-6574-9 Schlagwoerter gentzen, gerhard ; Biographie. http://www.uni-frankfurt.de/bzg/neuerwerb/4400.August_2002.html

Neuerwerbungen des Instituts für Philosophie Mill, J. S.: Utilitarianism / J. S. Mill. Ed. by Roger Crisp. - Oxford [u.a.] : Oxford Univ. Press, 1998. - VII, 157 S. (Oxford philosophical texts) Literaturverz. S. 151 - 153 ISBN 0-19-875162-1 ISBN 0-19-875163-X Vorhanden in : 330 - Bibliothekszentrum Geisteswissenschaften Signatur : 02/CH 6015 C932 Bhaskar, Roy: Plato etc. : the problems of philosophy and their resolution / Roy Bhaskar. - London [u.a.] : Verso, 1994. - XII, 267 S. : graph. Darst. ISBN 0-86091-499-2 Vorhanden in : 330 - Bibliothekszentrum Geisteswissenschaften Signatur : 02/CB 4000 B575 Fontaine, Petrus F.: The light and the dark : a cultural history of dualism / P. F. M. Fontaine. - Amsterdam : Gieben, 19XX 16. Imperialism in Medieval history : 2. Dualism in German history 1. - 2001. - XLI, 262 S. : Graph. Darst. Literaturverz. S. 239 - 248 ISBN 90-76953-16-3 Vorhanden in : 330 - Bibliothekszentrum Geisteswissenschaften Signatur : 02/CD 1020 F678-16 Descartes, Ren'e:

45. Index To KR Book Ganter, Bernhard 74 Gärdenfors, Peter 388 Gautama Buddha 56 Geertz, Clifford 355Gelernter, David 237, 239 Genesereth, Michael R. 25 gentzen, gerhard 301, 307 http://users.bestweb.net/~sowa/krbook/krindex.htm

Index to Knowledge Representation This web page contains an index to the book Knowledge Representation by John F. Sowa. It consists of an index of names , an index of subjects , and a list of special symbols . All page numbers refer to the printed edition. Names and subjects displayed in blue have hypertext links to web pages that contain further information about the corresponding persons and topics. Please send any additions or corrections to those links to John Sowa Names: A B C D ... Z Subjects: A B C D ... Z Name Index A Allen, James F. Amarel, Saul Anderson, Alan Ross Apel, Karl-Otto Apt, Krzysztof R. Aquinas, Thomas, St. Arieti, Silvano Aristotle Augustine, St. Avicenna (Ibn Sina) B Badler, Norman I. Bartlett, Frederic C. Barwise, Jon Belnap, Nuel D. ... Beth, Evert Blair, Howard A. Bobrow, Daniel Bogart, Humphrey Bohr, Niels Booch, Grady ... Burke, Edmund Burnstine, Donald C Cantor, Georg Carnap, Rudolf Carriero, Nicholas Casati, Roberto Ceccato, Silvio Chamberlin, Don Chandrasekaran, B. Chen, Peter P. ... Cyre, Walling D Dahl, Ole-Johan

46. Gentzens Problem. Mathematische Logik Im Nationalsozialistischen Deutschland. Translate this page Januar 2002 Inhaltsbeschreibung gerhard gentzen (1909 -1945) ist der Begründerder modernen strukturellen mathematischen Beweistheorie. http://www.uni-protokolle.de/buecher/isbn/3764365749/

Forum Chat Newsletter Nachrichten ... Suche Specials Eignungstest Kreditkarte Gentzens Problem. Mathematische Logik im nationalsozialistischen Deutschland. von Eckart Menzler-Trott Kategorie: 20. Jahrhundert ISBN: 3764365749 Kommentar abgeben Der Autor, die Autorin: Eckart.Menzler-Trott@t-online.de , 16. Januar 2002 Inhaltsbeschreibung Gerhard Gentzen (1909 -1945) ist der Begründer der modernen strukturellen mathematischen Beweistheorie. Die nachhaltige Bedeutung der von ihm entwickelten Methoden, Regeln und Strukturen zeigt sich heute in wichtigen Teilgebieten der Informatik, in der Verifikation von Programmen. Die Arbeiten Gentzens über das natürliche Schließen, der Sequenzenkalkül und die Ordinal-Beweistheorie beeindrucken noch heute durch ihre Einsicht, Klarheit und Eleganz. Eckart Menzler-Trott dokumentiert in dieser ersten umfassenden Biografie Leben und Werk Gerhard Gentzens, seinen tragischen Lebensweg, Festnahme 1945 in Prag, Gefangenschaft und Tod. Die Bedingungen wissenschaftlicher Forschung, in diesem Fall der mathematischen Logik, im nationalsozialistischen Deutschland, den ideologischen Kampf um eine "Deutsche Logik" und deren Protagonisten ist ein weiterer Schwerpunkt des Buches. Zahlreiche, bislang unveröffentlichte Quellen, Fotos und Dokumente aus Korrespondenzen und Nachlass sowie der Abdruck dreier Vorträge von Gerhard Gentzen machen diese Buch zu einer erstrangigen Informationsquelle über diesen bedeutenden Mathematiker und seiner Zeit.

47. INDEX Gandy, Robin Oliver A/5, A/78, A/19, D/4, D/15. ‘General tensors in a group’C/13. gentzen, gerhard B/42. Gepp, A/19. Gervis, Ruth A/19. Gill, S. B/38. http://www.turingarchive.org/catalogue/catindex.htm

Archive Catalogue Introduction Turing Trust ... Section E Index INDEX References in bold type refer to broadcasts and published works by Alan Turing Alexander, C. Hugh A/17 Abraham, M. B/33 ACE (Automatic Computing Engine) B/1-2, C/32 A.M. Turing Award A/24 B/25 Alan Turing : the Enigma A/38, A/40, D/11-13 Almost periodic functions B/10, D/11 Andrews, A.J.P. A/15 Ashby, W. Ross B/34 Association of Computing Machinery A/24 Bachman, Charles W. A/24 Ball, W.W. Rouse B/35 Bates, J.A.V. A/5 Baum, Rudy M. A/40 Bayley, Don A/5 BBC B/5-6 Bernays, Paul B/36, D/5 Bernstein, Jeremy A/40 Birkhoff, Garrett B/37 Bletchley Park D/2 Bowden, Bertram Vivian, Lord Bowden of Chesterfield A/11 Brooker, R.A. B/38 Bullard, Sir Edward (Crisp) A/15, A/28 Cameron, J.M. B/39 B/6 B/5 Cane, Violet D/16 Carpenter, B.E. B/23 B/22 B/8 Church, Alonzo A/9, C/3-5, D/2 Clayton, L. A/15 Clifford, G.D. A/23 Colossus B/27a, B/29a l B/11 Computable numbers B/9, B/11-12 B/9 Cooper, W.M. A/28 Coote, Sir Colin (Reith) A/15 Coxeter, H.S.M. C/25 Crawshay-Williams, Rupert D/5 Crypton, Dr. B/24

48. B PUBLICATIONS, One item printed. B/42 gentzen, gerhard Offprint, ‘Die Widerspruchfreiheitder reinen Zahlentheorie’ from Mathematische Annalen, (Vol. 112, No. http://www.turingarchive.org/catalogue/bpublica.htm

Archive Catalogue Introduction Turing Trust ... Section A Section B Section C Section D Section E Index B PUBLICATIONS, LECTURES, AND TALKS BY ALAN MATHISON TURING B/1 Paper, 31 sh. in envelope. B/2 Paper, 10 sh. in envelope. B/3 Journal of Symbolic Logic R.S. 1948b. For the MS of Part II of the projected work, see C/6 and D/2 Paper, 41 sh. in envelope. Some sh. printed B/4 c Paper, 16 sh. in envelope. See also B/20 for additional TS version B/5 Paper, 8 sh. in envelope. See also letter from C. Strachey in D/5 B/6 Paper, 61 sh. in envelope. B/7 R.S. Paper, 10 sh. in envelope. B/8 Report of a Conference on High Speed Automatic Calculating Machines , pp.67-9. The paper as published contained several transcription errors, and a corrected version, with comments, was published by F.L. Morris and C.B. Jones in Annals of the History of Computing Paper, 6 items in envelope. Xerox and printed B/9 Mind Paper, 40 sh. in envelope. See B/19 for off-print B/10 Journal of the London Mathematical Society , (Vol. 10, 1935). Paper, 1 sh. in envelope. Printed See also D/11 B/11 l The Journal of Symbolic Logic , (Vol. 2, Dec. 1937).

49. Symbolische Mathematik - H - Literaturhinweise Translate this page 1983. gentzen, gerhard Die gegenwärtige Lage in der mathematischenGrundlagenforschung in Deutsche Mathematik 1938, 255-268. Giloi http://www.tydecks.info/online/math_symb_lit.html

tydecks.info Literaturhinweise Adorno, Theodor Wiesengrund: Kierkegaard, Frankfurt/M 1974 -: Negative Dialektik, Frankfurt/M 1970 -: Geometrical Methods in the Theory of Ordinary Differential Equations, New York u.a. 1983 Bayer: Sternbilder und Sternzeichen, Dortmund 1981 -: Grundlagen der Mathematik in geschichtlicher Entwicklung, Frankfurt 1975 Bernal, John Desmond: Wissenschaft, Bd. 1 + 2, Reinbek 1970 Bieberbach, Ludwig: Stilarten mathematischen Schaffens in: Sitzungsberichte d. Preuss. Akad. d. Wiss, Berlin 1934, 351-360 in: Deutsche Mathematik 1937, 11-16 Bishop, Morris: Pascal, Berlin 1932 Bongartz, Klaus u.a.: Farbige Parkette, Basel 1980 Boorstin, Daniel J.: Die Entdecker, Basel u.a. 1985 Calder: Einsteins Universum, Frankfurt/M 1980 Cantor, Georg: Gesammelte Abhandlungen, Berlin 1932 Cassirer, Ernst: Substanzbegriff und Funktionsbegriff, Berlin 1923 -: Philosophie der symbolischen Formen, Bd. 1 + 3, Berlin 1923, 1929 Clocksin, W.F. und Mellish, C.S.: Programming in PROLOG, Westberlin 1981 Cohn-Vossen, Stefan und Hilbert, David: Anschauliche Geometrie, Berlin u.a. 1932

50. Biographien - Archiv Translate this page Gentrys http//www.taurus-press.de/test.php3?S_Sortie rName=5331 Gentz, Friedrichvon http//www.philosophenlexikon.de/gentz.htm gentzen, gerhard http//www http://www.biografien-im-netz.de/archiv.php?Letter=G&Page=400

51. Gadadhara Jonardon Ganeri Gadamer, Hans-Georg Kathleen Wright Genetics and Ethics Ruth Chadwick. Gentile, Giovanni Richard Bellamy. gentzen,gerhard Karl Erich Volker Peckhaus. Geology, Philosophy of Rachel Laudan. http://www.routledge.com/rep/entrie2.shtml

List of Entries A B C D ... Z G Gadadhara Jonardon Ganeri Gadamer, Hans-Georg Kathleen Wright Gaius Grant McLeod Galen R.J. Hankinson Galileo Galilei Mario Biagioli Gandhi, Mohandas Karamchand Frank J. Hoffman Gangesa Stephen H. Phillips Garrigou-Lagrange, Reginald Ralph McInerny Gassendi, Pierre Margaret Osler Gaudiya Vaishnavism Jan Brzezinski Gautama Aksapada Eli Franco Karin Preisendanz Gender and Ethics Zoltan Szabo Gender and Science Sandra Harding Genealogy R. Kevin Hill General Relativity, Philosophical Responses to Thomas Ryckman General Will Peter Nicholson Genetics Lindley Darden Genetics and Ethics Ruth Chadwick Gentile, Giovanni Richard Bellamy Gentzen, Gerhard Karl Erich Volker Peckhaus Geology, Philosophy of Rachel Laudan Geometry, Philosophical Issues in Thomas Ryckman George of Trebizond John Monfasani Gerard of Cremona Mark Jordan Gerard of Odo Bonnie Kent Gerard, Alexander Dabney Townsend Gerbert of Aurillac Fiona Somerset Gerdil, Cardinal Sigismond Patrick Riley German Idealism Paul Franks Gerson, Jean

52. Sg.htm May91, 56; gentzen, gerhard, natural deduction of, in New Languages,Old Logic (P. Wadler), SR1 Dec2000, 37; geographic information http://www.cstone.net/~bachs/ddj/sg.htm

Gabriel, Richard ( M. Swaine gain, in 'Decibels' [sidebar], in "Digital Filtering and Oversampling" ( J. Ledin Galerntner, David, thought of, in "Mind and Life as Mechanism" ( M. Swaine games Gamma, Erich, award recipient, in " Dr. Dobb's Journal's 1998 Excellence in Programming Awards" ( J. Erickson garbage collection. See under memory management Gasteren, Antonetta van ( M. Swaine Gates, William H. (1955- ) gcc compiler. See under GNU general-purpose interface bus, implementing ( D. Morgan Gentzen, Gerhard, natural deduction of, in "New Languages, Old Logic" (P. Wadler), SR1 Dec2000, 37 geographic information systems "Civic Networking with Geographic Information Systems" (R. Civille and R.E. Sieber), IH94, 68 data exchange between [with sidebar: 'Translating Geographic Data'], in "The Information Utility" (R. Oswald), Dec93, 18 data handling for, in "Spatial Data and the Voronoi Tessellation" (H. Lukatela and J. Russell), Dec92, 18; Mar93, 10 storing cartographic date in single file [with utility to convert to DXF format], in "The CVS Data Format" (C.A.G. Perez), May99, 50 GIF file format.

53. Re: Turing & Gentzen According to Premysl Vihan The Last Months of gerhard gentzen in Prague , CollegiumLogicum (Annals of the Kurt Godel Society) Vol 1, gentzen was invited by http://hhobel.phl.univie.ac.at/phlo/199805/msg00019.html

Date Prev Date Next Thread Prev Thread Next ... Thread Index To phil-logic@bucknell.edu Subject From gsolomon@mach1.wlu.ca Date : Sun, 3 May 1998 16:29:02 -0400 (EDT) In-Reply-To 199805030743.JAA01477@my15.sm.luth.se According to Premysl Vihan "The Last Months of Gerhard Gentzen in Prague", Collegium Logicum (Annals of the Kurt Godel Society) Vol 1, Gentzen was invited by Hans Rohrbach to a position at the German University in Prague after habilitating as Dozent from Gottingen and release from army service in 1942. Rohrbach was head of the math institute and also worked as a ciphering officer for the Foreign Office. Gentzen was a member of the SA since 1933 (reaching the rank of Rottenfuhrer), the NSDAP since 1937, and the NSD Dozentenbund since 1941. His army rank was Obergefreiter. Partisans took him and several others to the local police station. The arrival at the station was filmed twice for some reason. I expect the film's whereabouts, like Gentzen's grave, is unknown. He did die of malnutrition, in the Karlovo namesti prison. I still don't know if Gentzen was a cipher officer. References Re: turing From: Prev by Date: Re: turing Next by Date: Prev by thread: Re: turing Next by thread: No Subject Index(es): Date Thread

54. King's College, Cambridge » Modern Archives Gandy, Robin Oliver A/5, A/78, A/19, D/4, D/15. ‘General tensors in a group’C/13. gentzen, gerhard B/42. Gepp, A/19. Gervis, Ruth A/19. Gill, Stanley B/38. http://www.kings.cam.ac.uk/library/archives/modern/catalogue/turing/contents.htm

King's College, Cambridge Library Archive Centre Modern Archives ... Tour of College archives Links to other pages of interest Research - Home - - Search - Modern archive collections Contents INDEX References in bold type refer to broadcasts and published works by Alan Turing Alexander, C. Hugh A/17 Abraham, M. B/33 ACE (Automatic Computing Engine) B/1-2, C/32 A.M. Turing Award A/24 A.M. Turing’s Original Proposal for the Development of an Electronic Computer B/25 Alan Turing : the Enigma A/38, A/40, D/11-13 Almost periodic functions B/10, D/11 Andrews, A.J.P. A/15 ‘Another proof’ C/23 Ashby, W. Ross B/34 Association of Computing Machinery A/24 Bachman, Charles W. A/24 Ball, W.W. Rouse B/35 Bates, John A.V. A/5 Baum, Rudy M. A/40 Bayley, Don A/5 BBC B/5-6 ‘Bemerkungen zu den Grundlagen der Geometrie’ B/36 Bernays, Paul B/36, D/5 Bernstein, Jeremy A/40 Birkhoff, Garrett B/37 Bletchley Park D/2 ‘Body and Mind’ B/39 Bowden, Bertram Vivian, Baron Bowden of Chesterfield A/11 ‘Breaking the code’ A/41 Brooker, R.A. B/38 Bullard, Sir Edward (Crisp) A/15, A/28 Cameron, J.M. B/39

55. ULB Düsseldorf, Fachsystematiken Translate this page Gentz, Friedrich (Fachbibliothek), gerw34740. Gentz, Friedrich, hisk386. gentzen,gerhard K. phid34300. Geoffrey (of Monmouth) (Fachbibliothek), ange43800. http://www.ulb.uni-duesseldorf.de/allhtml/system/pg.htm

[ULB-Hauptseite Katalog und Datenbanken Suche Bibliotheks-ABC ... Virtuelle Bibliothek, Hauptseite] Autoren und Anonyma A B C D ... Z Gabin, Jean Gable, Clark Gabo, Naum Gaboriau, Emile Gabriel y Galan, Jose M. Gabriel, Ange-Jaques Gabriel, Jacques Gabriel-Robinet, Louis Gabrieli, Andrea Gabrieli, Andrea Gabrieli, Giovanni Gabrieli, Giovanni Gace (Brule) Gadamer, Hans-Georg (Fachbibliothek) Gadamer, Hans-Georg Gadamer, Hans-Georg (Fachbibliothek) Gadda, Carlo E. Gaddis, William Gade, Niels W. Gade, Niels W. Gadenne, Paul Gaeta, Francesco Gaetani, Benedetto Gaffurio, Franchino Gaffurio, Franchino Gafori, Franchino Gafori, Franchino Gaggini, ... (Familie) Gagliano, Marco Gagliano, Marco da Gaidon Gaillard, Auger Gaillard, Robert Gaillhard, Augie Gainsborough, Thomas Gaiser, Gerd Gaius (Fachbibliothek) Gaius Gajdaenko, Ivan P. Gajdar, Arkadij P. Gala, Antonio Gala, Antonio Galaction, Gala Galandus (Regniacensis) (Fachbibliothek) Galant, Mavis Galbraith, John K. (Fachbibliothek) Galbraith, John K. Gale, Zona Galeano, Eduardo

56. NFH : Materialien : Bücher: Technikgeschichte Translate this page Buch über Amazon bestellen. Beschreibung gerhard gentzen (1909 -1945) istder Begründer der modernen strukturellen mathematischen Beweistheorie. http://www.nfhdata.de/premium/datenbasis-materialien/pages/B_cher/Technikgeschic

Position: Home Bücher : Technikgeschichte Optionen: Top Bewertungen Suche Neue Einträge im Bereich Materialien Inhalt: Altertum Einträge in dieser Rubrik: Status der Rubrik: Mittellalter Einträge in dieser Rubrik: Status der Rubrik: Weitere Seiten : 1 Titel: Medientheorie 1888-1933. Texte und Kommentare Autor(en): Daten: Seiten: 500 Verlag: Suhrkamp Ort: Jahr: 2002 Optionen: Eintrag per Email versenden Buch über Amazon bestellen Beschreibung: Diese Anthologie dokumentiert umfassend weitgehend unbekannte Quellentexte zur frühen Medientheorie. Sie beschränkt sich nicht auf ein Einzelmedium, sondern thematisiert sowohl drahtlose Telegraphie als auch Photographie, Kino, Radio, Bildfunk und Fernsehen. Dabei wird Mediengeschichte als Diskursgeschichte rekonstruiert, indem diejenigen Debatten im Mittelpunkt stehen, die den Prozeß der Epistemologisierung von Medialität prägten. In dessen Zentrum stehen der Begriff der "Masse" und solche Begriffe, die Vermassungsphänomene in den Kontext der neuen Kommunikationsmöglichkeiten stellen. Kurze Kommentare und mehrfache Register ergänzen den Dokumentationsteil und bieten so ein praktisches Handbuch mit Quellentexten der Medientheorie Titel: Der Türke Autor(en): Daten: Seiten: 220 Verlag: Campus Ort: Jahr: 2002 Optionen: Eintrag per Email versenden Buch über Amazon bestellen Beschreibung: Ein uhrwerkbetriebener Automat, der illustre Zeitgenossen wie Benjamin Franklin, Katharina die Große und Napoleon im Schachspiel besiegte. War er ein mechanisches Wunderwerk, eine erste Künstliche Intelligenz oder doch nur fauler Zauber? Tom Standage rekonstruiert die überaus spannende Geschichte dieses legendären Schachautomaten.

57. BibTex References ARTICLE{gentzen1936, author = {gentzen, gerhard}, title = {`{D}ie {W}iderspruchsfreiheitder reinen {Z}ahlentheorie'}, year = 1936, journal = {Mathematische http://www.st-andrews.ac.uk/~jrgw/bibtexrefs.html

The following are references I've been compiling in BibTex. Includes lots of philosophy of mathematics references; plus some on general metaphysics. They're organised by date of publication (approx). There are some stylistic inconsistencies. If you find any errors, please get in touch. Robbie ( email -*- BibTeX -*- This file has been sorted by bibSort.edt on 03.02.03 at 10:41:38 It includes 371 items, sorted by year = 1989, year = 1974, volume = 4, year = 1994, year = 2001, month = 10, year = 1998, volume = 6, year = 2002, volume = 10, year = 1973, year = 1965, year = 1983, volume = 6, year = 1941, year = 1931, year = 2000, volume = 51, number = 2, year = 1952, volume = 61, year = 2000, year = 1997, volume = 98, year = 2000, year = 1997, year = 1989, year = 1985

58. Investigations Into Logical Deduction by gerhard gentzen. @inbook{gentzen1969a, author = {gerhard gentzen}, editor ={ME Szabo}, note = {Chapter 3 in The Collected Papers of gerhard gentzen''. http://www.itee.uq.edu.au/~bof/Bib/Gentzen1969a.html

Investigations into Logical Deduction by Gerhard Gentzen Check out my bibliography for some other interesting pieces of writing and the latex files to go with the above bibtex entry. You are somewhere in my tangled web pages . If you're completely lost, there's a a quick find list or you could ask me for directions

59. Www.amsta.leeds.ac.uk/events/logic97/abstracts/arai.txt 4 (1938), 1944. \bibitem{K} G. Kreisel, Review of the book 'The Collected Papersof gerhard gentzen', ed. and transl. by ME Szabo, Journal of Philosophy, vol. http://www.amsta.leeds.ac.uk/events/logic97/abstracts/arai.txt

60. Www.phil.uni-passau.de/dlwg/ws03/22-1-95.txt ARISTOTELES 3 CHURCH 4 CARNAP,RUDOLF 5 10 gentzen,gerhard 7 TARSKI http://www.phil.uni-passau.de/dlwg/ws03/22-1-95.txt

ERLÄUTERUNGEN ZU DEN LITERATURHINWEISEN: 1. FORMALBIBLIOGRAPHISCHE INFORMATIONEN V - Verfasser TI - Titel (hinter "..." evtl. ein Abstract) Z - Zeitschriften-(Festschrift usw.) Titel BD - Band (mögliche Abkürzungen: "S" f. Sonderheft, "J" f. Jahrbuch JG - Jahrgang SE - Seiten DT - Dokumententyp (mögliche Abkürzung: "JO" f. Zeitschrift, "CO" f. Kongressakte, "HO" f. Festschrft, "RE" f. Reader SPR - Sprache des Artikels (mögliche Abkürzungen: die ersten vier Buchstaben der englischen Bezeichnung der Sprache, also z.B. "GERM" für deutsch). 2. INHALTLICHE INFORMATION Eine inhaltliche Erschliessung der Nachweise wurde erreicht durch 1. eine Anzahl dem Text entnommener Sachwörter oder Namen (als sogenannte "Deskriptoren"), 2. die Kennzeichnung des thematischen Zusammenhangs der Deskriptoren, 3. die Angabe der Wichtigkeit der Deskriptoren im vorliegenden Dokument In (035)/Kant, Immanuel (020)/Lorentz, Hendrik Antoon (035) SPR: GERM (freie Naturgesetz (035)/Erfahrung (035)/Deskript.) Relativitätstheorie

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Page 3     41-60 of 79    Back | 1  | 2  | 3  | 4  | Next 20