<?xml version="1.0" encoding="utf-8" standalone="no"?>
<!DOCTYPE ead PUBLIC "+//ISBN 1-931666-00-8//DTD ead.dtd (Encoded Archival Description (EAD) Version 2002)//EN" "ead.dtd">
<ead relatedencoding="MARC21"> 
<eadheader id="a0" audience="internal" findaidstatus="edited-full-draft"
 langencoding="iso639-2b" repositoryencoding="iso15511"
 countryencoding="iso3166-1" scriptencoding="iso15924" dateencoding="iso8601"> 
  <eadid countrycode="us" mainagencycode="TxU-TH"
	encodinganalog="852$a">urn:taro:utexas.cah.00209</eadid> 
  <filedesc> 
	 <titlestmt> 
		<titleproper>A Guide to the Abraham Robinson Papers, 1901,
		  1926-1976</titleproper> 
	 </titlestmt> 
  </filedesc> 
  <profiledesc> 
	 <creation>Text converted and initial EAD tagging done by Traci JoLeigh
		Drummond on 
		<date era="ce" calendar="gregorian">June 27, 2003</date> </creation> 
	 <langusage>Finding aid written in <language>English.</language>
		</langusage> 
  </profiledesc> 
  <revisiondesc> 
	 <change> 
		<date>Tue Jul 22 15:29:15 CDT 2003</date> 
		<item>urn:taro:utexas.cah.00209 converted from EAD 1.0 to 2002 by
		  v1to02.xsl (20030505).</item> 
	 </change> 
  </revisiondesc> 
</eadheader> 
<archdesc type="inventory" level="collection"> 
  <did id="a1"> 
	 <head>Descriptive Summary</head> 
	 <origination label="Creator"> 
		<persname encodinganalog="100" source="lcnaf">Robinson, Abraham,
		  </persname> </origination> 
	 <unittitle encodinganalog="245" label="Title">Abraham Robinson
		Papers</unittitle> 
	 <unitdate>1901, 1926-1976 and undated</unitdate>
	 <unitid countrycode="us" repositorycode="TxU-TH"
	  encodinganalog="099" label="Accession No."> 86-26</unitid> 
	 <physdesc label="Extent" encodinganalog="300$a">5 ft., 10 in.</physdesc> 
  	<repository label="Repository:" encodinganalog="852$a"> 
  		<extref href="http://www.cah.utexas.edu" show="new" actuate="onrequest"> 
  			<corpname><subarea> Dolph Briscoe Center for American
  				History,</subarea> The University of Texas at
  				Austin</corpname></extref></repository>
	 <abstract label="Abstract" encodinganalog="520$a">The Abraham Robinson
		Papers consist of photocopies, reprints, manuscripts, mimeographed drafts,
		monographs, reports, theses, dissertations, and periodicals. Topics covered
		include symbolic and mathematical logic, algebra, non-standard analysis, model
		theory, philosophy of mathematics, and applied mathematics.</abstract> 
	 <langmaterial label="Language"> <language langcode="eng">English.</language>
	 </langmaterial> 
  </did> 
  <bioghist encodinganalog="545" id="a2"> 
	 <head>Biographical Note</head> 
	 <p>Abraham Robinson was born in Germany in 1918. He was studying at the
		Sorbonne in 1940 when he (a Jew) went to England to escape Hitler's
		encroachment on France. While in England, he joined the Free French Air Force,
		but was sent to the Royal Aircraft Establishment at Farnborough so that his
		mathematical skills could be put to use for the war effort. After the war, he
		earned a Master of Science from Hebrew University in 1946 and a Ph. D. at the
		University of London in 1949. He taught different subjects at several
		prestigious universities, including aerodynamics at the College of Aerodynamics
		at Cranfield, mathematics at the University of Toronto, mathematics at Hebrew
		University in Jerusalem, mathematics and philosophy at the University of
		California, Los Angeles, and mathematics at Yale University. He died from
		pancreatic cancer in 1974, at the age of 56.</p><p>His interests included
		physics, pure mathematics, fluid mechanics, and relations between logic and
		mathematics. He contributed to the development of Model Theory and is known for
		inventing non-standard analysis.</p> 
  </bioghist> 
  <scopecontent id="a3" encodinganalog="520"> 
	 <head>Scope and Contents</head> 
	 <p>The Abraham Robinson Papers consist of photocopies, reprints,
		manuscripts, mimeographed drafts, monographs, reports, theses, dissertations,
		and periodicals. Topics covered include symbolic and mathematical logic,
		algebra, non-standard analysis, model theory, philosophy of mathematics, and
		applied mathematics.</p> 
	 <p>Note on the reprint collection: Title pages of reprints and preprints
		were copied and the originals were sent to the American Institute of
		Mathematics in Palo Alto, California for cataloguing. Unique manuscripts were
		kept in the reprint collection. Correspondence, notes, and other material were
		separated from the reprints and brought together at the end of the “Reprint
		Collection” series.</p><p>Note on the monograph collection: Title pages of
		monographs were copied and the original books, technical reports or bound
		theses/dissertations were separated to PCL Gifts for cataloguing in the
		Physics-Mathematics-Astronomy library, or separation to another campus. Unbound
		theses and manuscripts were discarded. Unique manuscripts and rare items were
		kept in the collection.</p><p>Forms part of the Archives of American
		Mathematics.</p> 
  </scopecontent> 
  <accessrestrict id="a14" encodinganalog="506"> 
	 <head>Access Restrictions</head> 
	 <p>Unrestricted access.</p> 
  </accessrestrict> 
  <userestrict id="a15" encodinganalog="540"> 
	 <head>Use Restrictions</head> 
  	<p>The majority of these papers are stored remotely at CDL.  Advance notice required for retrieval.  
  		Contact repository for retrieval.</p> 
  </userestrict> 
  <prefercite id="a18" encodinganalog="524"> 
	 <head>Preferred Citation</head> 
	 <p>Abraham Robinson Papers, 1901, 1926-1976 and undated, Archives of
		American Mathematics, Dolph Briscoe Center for American History, University of Texas at
		Austin.</p> 
  </prefercite> 
  <processinfo id="a20" encodinganalog="583"> 
	 <head>Archivist's Note</head> 
	 <p>The materials in the Abraham Robinson Papers have not yet been arranged
		and described, and date information is not available for the materials located
		therein. This is reflected in the following box listing, and the lack of dates
		does not indicate that materials are necessarily undated. Reprints are filed by
		author or title if there is no obvious author. Monographs are filed similarly,
		but there are a few monographs without clear authors or titles filed in box
		20.</p> 
  </processinfo> 
  <controlaccess id="a12"> 
	 <head>Index Terms</head> 
	 <controlaccess> 
		<persname source="lcnaf" encodinganalog="600">Robinson, Abraham,
		  1918-1974</persname> 
		<corpname source="lcsh" encodinganalog="610">Hebrew University,
		  Jerusalem</corpname> 
		<corpname source="lcsh" encodinganalog="610">University of
		  London</corpname> 
		<subject encodinganalog="650" source="lcsh">Model theory</subject> 
		<subject source="lcsh" encodinganalog="650">Non-standard
		  analysis</subject> 
		<subject source="lcsh" encodinganalog="650">Philosophy of mathematics and
		  science</subject> 
		<subject source="lcsh" encodinganalog="650">Symbolic and mathematical
		  logic</subject> 
		<subject source="lcsh" encodinganalog="650">Applied mathematics</subject>
		<subject source="lcsh" encodinganalog="650">Algebra</subject> 
	 </controlaccess> 
  </controlaccess> 
  <relatedmaterial id="a6" encodinganalog="544 1"> 
	 <head>Related Material</head> 
	 <p>Another collection of Abraham Robinson's personal papers are located at
		the Yale University archives.</p> 
  </relatedmaterial> 
  <dsc id="a23" type="in-depth"> 
	 <head>Detailed Description of the Collection</head> 
	 <c01> 
		<did> 
		  <unittitle>Writings by Robinson [organized chronologically by
			 publication number]:</unittitle> 
		</did> 
		<c02> 
		  <did><container type="box">86-26/1</container> 
			 <unittitle>Bibliography, [includes assigned publication numbers], 
				<unitdate>undated</unitdate></unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/1</container> 
			 <unittitle>Numbers 1-25, [incomplete], 
				<unitdate>1939-1950</unitdate></unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/1</container> 
			 <unittitle>Numbers 26-50, [incomplete], 
				<unitdate>1950-1956</unitdate></unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/1</container> 
			 <unittitle>Numbers 51-75, [incomplete], 
				<unitdate>1957-1962</unitdate></unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/1</container> 
			 <unittitle>Numbers 76-90, [incomplete], 
				<unitdate>1962-1966</unitdate></unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/1</container> 
			 <unittitle>Numbers 91-105, 
				<unitdate>1967-1970</unitdate></unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/2</container> 
			 <unittitle>Numbers 106-122, 
				<unitdate>1971-1973</unitdate></unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/2</container> 
			 <unittitle>Numbers 123-134, 
				<unitdate>1973-1975</unitdate></unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/2</container> 
			 <unittitle>Unnumbered, 
				<unitdate>undated</unitdate></unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/2</container> 
			 <unittitle>Manuscripts and drafts, 
				<unitdate>1971-1972</unitdate></unittitle> 
		  </did> 
		</c02> 
	 </c01> 
	 <c01> 
		<did> 
		  <unittitle>Writings by others:</unittitle> 
		</did> 
		<c02> 
		  <did><container type="box">86-26/2</container> 
			 <unittitle>Copies of published works, 
				<unitdate>[1926?], 1963-1976 and undated</unitdate></unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/2</container> 
			 <unittitle> 
				<title render="italic">The New Scottish Book</title>, Wrockaw
				1946-1958, annotated [by Robinson?], 
				<unitdate>undated</unitdate></unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/2</container> 
			 <unittitle>A. W. Tucker, bibliography on “New Patterns in
				Mathematical Education,” 
				<unitdate>August 1957</unitdate></unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/2</container> 
			 <unittitle>“Set Theory and Logic II,” University of Houston, Spring
				1969 and unidentified lecture notes, both by Dr. J. Schmidt, 
				<unitdate>1969 and undated</unitdate></unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/2</container> 
			 <unittitle>Gerald E. Sacks, manuscript version of 
				<title render="italic">Saturated Model Theory</title>, page
				129-325, 
				<unitdate>ca. 1972</unitdate></unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/2</container> 
			 <unittitle>Manuscripts, 
				<unitdate>undated</unitdate></unittitle> 
		  </did> 
		</c02> 
	 </c01> 
	 <c01> 
		<did> 
		  <unittitle>Unidentified authors:</unittitle> 
		</did> 
		<c02> 
		  <did><container type="box">86-26/2</container> 
			 <unittitle>Handwritten, 
				<unitdate>undated</unitdate></unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/3</container> 
			 <unittitle>Manuscripts and drafts, 
				<unitdate>undated</unitdate></unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/3</container> 
			 <unittitle>Bibliography on relevance logics, 
				<unitdate>undated</unitdate></unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/3</container> 
			 <unittitle>Missing title:</unittitle> 
		  </did> 
		  <c03> 
			 <did><container type="box">86-26/3</container> 
				<unittitle>Various pieces, 
				  <unitdate>undated</unitdate></unittitle> 
			 </did> 
		  </c03> 
		  <c03> 
			 <did><container type="box">86-26/3</container> 
				<unittitle>Manuscript, page 1-505, “Chapter 1. Symbolic Logic…,” 
				  <unitdate>undated</unitdate></unittitle> 
			 </did> 
		  </c03> 
		  <c03> 
			 <did><container type="box">86-26/3</container> 
				<unittitle>Manuscript, page 1.2-3.53, “representing individual
				  light particles…,” 
				  <unitdate>undated</unitdate></unittitle> 
			 </did> 
		  </c03> 
		  <c03> 
			 <did><container type="box">86-26/3</container> 
				<unittitle>Manuscript, page I-7.13, “Preface (Vol. II)…,” 
				  <unitdate>undated</unitdate></unittitle> 
			 </did> 
		  </c03> 
		  <c03> 
			 <did><container type="box">86-26/3</container> 
				<unittitle>Manuscript, page 45-167, “Chapter II: Application of the
				  Fundamental Properties of Cohomology Modules…," 
				  <unitdate>undated</unitdate></unittitle> 
			 </did> 
		  </c03> 
		</c02> 
	 </c01> 
	 <c01> 
		<did> 
		  <unittitle>Reprint collection,</unittitle> 
		  <unitdate>ca. 1930s-1970s and undated:</unitdate> 
		</did> 
		<c02> 
		  <did><container type="box">86-26/4</container> 
			 <unittitle>Abian - Ax</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/4</container> 
			 <unittitle>Babbitt - Barwise, and unidentified</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/4</container> 
			 <unittitle>Batschelet - Bender</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/4</container> 
			 <unittitle>Benioff - Beth</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/4</container> 
			 <unittitle>Bewley - Bottenbruch</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/4</container> 
			 <unittitle>Bowen - Butchart</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/5</container> 
			 <unittitle>Cabannes - Chao-Tien, and unidentified</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/5</container> 
			 <unittitle>Chao-Tien – Cole</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/5</container> 
			 <unittitle>Collins – Cusin</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/5</container> 
			 <unittitle>Dade – Dyson, and unidentified</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/5</container> 
			 <unittitle>Eberle – Engeler, and unidentified</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/5</container> 
			 <unittitle>Engeler – Evans</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/5</container> 
			 <unittitle>Fagg – Feldman</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/6</container> 
			 <unittitle>Felgner - Fraïssé</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/6</container> 
			 <unittitle>Fraïssé - Freudenthal</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/6</container> 
			 <unittitle>Fried – Friedman</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/6</container> 
			 <unittitle>Friedman – Furth</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/6</container> 
			 <unittitle>Gagliardo – Gautam, and unidentified</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/6</container> 
			 <unittitle>Geiser – Glimm</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/7</container> 
			 <unittitle>Glimm - Gonshor</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/7</container> 
			 <unittitle>Gordon – Gurevic</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/7</container> 
			 <unittitle>Haddard – Harper</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/7</container> 
			 <unittitle>Harries – Hinman</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/7</container> 
			 <unittitle>Hintikka – Hurd</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/7</container> 
			 <unittitle> 
				<title render="italic">ICSU World of Science</title> –
				Iverson</unittitle> 
		  </did> 
		</c02> 
		<c02> 
			<did><container type="box">86-26/7</container> 
			 <unittitle>Jabotinsky – Juzuk, and unidentified</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/8</container> 
			 <unittitle>Kaiser – Kasdan</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/8</container> 
			 <unittitle>Kato – Komkov</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/8</container> 
			 <unittitle>Komkov – Kreisel</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/8</container> 
			 <unittitle>Kreisel – 
				<title render="italic">Kyungpook Mathematical
				  Journal</title></unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/8</container> 
			 <unittitle>Labelle – Lang, and unidentified</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/8</container> 
			 <unittitle>Langewiesche – Lighthill</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/9</container> 
			 <unittitle>Lightstone – Luxemburg</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/9</container> 
			 <unittitle>Luxemburg – Lyndon</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/9</container> 
			 <unittitle>McCarthy – Macintyre, and unidentified</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/9</container> 
			 <unittitle>Macintyre – Maschler</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/9</container> 
			 <unittitle>Massey – Moody</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/10</container> 
			 <unittitle>Morawetz – Moschovakis</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/10</container> 
			 <unittitle>Moschovakis – Myhill</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/10</container> 
			 <unittitle>Nador – Notre Dame Journal of Formal Logic</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/10</container> 
			 <unittitle>Oberschelp – Ostrowski, and unidentified</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/10</container> 
			 <unittitle>Pabion – Podewski, and unidentified</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/10</container> 
			 <unittitle>Ponomarev – Puritz</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/10</container> 
			 <unittitle>Rabin – Reineke, and unidentified</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/11</container> 
			 <unittitle>Reineke – Robinson</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/11</container> 
			 <unittitle>Robkin – Ryll-Nardzewski</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/11</container> 
			 <unittitle>Sabbagh – Schmidt, and unidentified</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/11</container> 
			 <unittitle>Schmidt</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/11</container> 
			 <unittitle>Schmidt – Segal</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/11</container> 
			 <unittitle>Segré – Sengupa</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/12</container> 
			 <unittitle>Serre – Simmons</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/12</container> 
			 <unittitle>Simmons – Szmielew</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/12</container> 
			 <unittitle>Takahashi – Tamari, and unidentified</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/12</container> 
			 <unittitle>Tarski – Tugué</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/12</container> 
			 <unittitle>Uhl – Ursell</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/12</container> 
			 <unittitle>Valentine – Vuckovic</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/12</container> 
			 <unittitle>van der Waerden – Weispfenning, and
				unidentified</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/12</container> 
			 <unittitle>Weiss – Wyss</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/13</container> 
			 <unittitle>Yaffe – Zubieta</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/13</container> 
			 <unittitle>Correspondence, printed material and notes separated from
				the reprint collection, 
				<unitdate>1949-1973 and undated</unitdate></unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/13</container> 
			 <unittitle>Reviews and articles by Robinson, removed from reprint
				collection</unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">4RM112</container> 
			 <unittitle>Photographs:</unittitle> 
		  </did> 
		  <c03> 
			 <did><container type="box">4RM112</container> 
				<unittitle>Two black and white photographic prints removed from
				  reprint by L. A. Bokût, [Hoehmce, Smiznov and Lavzov{?} pictured], 
				  <unitdate>1969</unitdate></unittitle> 
			 </did> 
		  </c03> 
		</c02> 
	 </c01> 
	 <c01> 
		<did> 
		  <unittitle>Monograph collection:</unittitle> 
		</did> 
		<c02> 
		  <did><container type="box">86-26/13</container> 
			 <unittitle>Conference proceedings, 
				<unitdate>1948-1968 and undated</unitdate></unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/13</container> 
			 <unittitle>Serials [Note: some serials were filed in the reprint
				collection], 
				<unitdate>1946-1974</unitdate></unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/13</container> 
			 <unittitle>Theses and dissertations, Bernstein – Wheeler, 
				<unitdate>1955-1973 and undated</unitdate></unittitle> 
		  </did> 
		</c02> 
		<c02> 
		  <did><container type="box">86-26/13</container> 
			 <unittitle>Monographs:</unittitle> 
		  </did> 
		  <c03> 
			 <did><container type="box">86-26/13</container> 
				<unittitle>Air Ministry – Valpola and unidentified, 
				  <unitdate>1939-1970 and undated</unitdate></unittitle> 
			 </did> 
		  </c03> 
		  <c03> 
			 <did><container type="box">86-26/13</container> 
				<unittitle>American Mathematical Society, 
				  <title render="italic">Lecture Notes Prepared in Conjunction with
					 the Summer Institute on Axiomatic Set Theory</title> held at University of
				  California, Los Angeles, sponsored by the National Science Foundation under
				  grant GP-6698, 
				  <unitdate>July 10 – August 4, 1967</unitdate></unittitle> 
			 </did> 
		  </c03> 
		  <c03> 
			 <did><container type="box">86-26/13</container> 
				<unittitle>Applied Logic Corporation, James H. Bennett, William B.
				  Easton, James R. Guard, David B. Loveman and Thomas H. Mott, Jr., 
				  <title render="italic">Semi-Automated Mathematics: SAM
					 IV</title>, Contract No. AF 19(628)-3250, Project No. 5632, Task No. 563205,
				  Scientific Report No. 3, prepared for Air Force Cambridge Research
				  Lobaratories, AFCRL 64-827, 
				  <unitdate>October 15, 1964</unitdate></unittitle> 
			 </did> 
		  </c03> 
		  <c03> 
			 <did><container type="box">86-26/13</container> 
				<unittitle>Behrens, M., 
				  <title render="italic">Analytic and Meromorphic Function in the
					 Open Unit Disk – A Nonstandard Approach</title>, [typed manuscript], 
				  <unitdate>undated</unitdate></unittitle> 
			 </did> 
		  </c03> 
		  <c03> 
			 <did><container type="box">86-26/14</container> 
				<unittitle>Bernays, Paul, 
				  <title render="italic">Logical Calculus</title>, Notes by Prof.
				  Bernays with assistance of Mr. F. A. Ficken, The Institute for Advanced Study, 
				  <unitdate>1935-1936</unitdate></unittitle> 
			 </did> 
		  </c03> 
		  <c03> 
			 <did><container type="box">86-26/14</container> 
				<unittitle>Birkhoff, Garrett and Gian-Carlo Rota, 
				  <title render="italic">Lecture Notes on Ordinary Differential
					 Equations</title>, revised for use at Harvard University and the Massachusetts
				  Institute of Technology, Ginn and Co., Part A and Part B, 
				  <unitdate>1960-1961</unitdate></unittitle> 
			 </did> 
		  </c03> 
		  <c03> 
			 <did><container type="box">86-26/14</container> 
				<unittitle>British Intelligence Objectives Sub-Committee, 
				  <title render="italic">German Aircraft Industry –
					 Aeroelasticity</title>, Final Report No. 12, Item No. 25, reported by A. R.
				  Collar, H. A. Jahn, A. Robinson, and E. G. Broadbent, BIOS Team No. 792, Target
				  No. 25/503, 
				  <unitdate>undated</unitdate></unittitle> 
			 </did> 
		  </c03> 
		  <c03> 
			 <did><container type="box">86-26/14</container> 
				<unittitle>Church, Alonzo, 
				  <title render="italic">Mathematical Logic</title>, lectures by
				  Alonzo Church, notes by F. A. Ficken, H. G. Landau, H. Ruja, R. R. Singleton,
				  N. E. Steenrod, J. H. Sweer, F. J. Weyl, Princeton University, 
				  <unitdate>October 1935-January 1936</unitdate></unittitle> 
			 </did> 
		  </c03> 
		  <c03> 
			 <did><container type="box">86-26/14</container> 
				<unittitle>College of Aeronautics Cranfield, “List of
				  Publications,” list of reports and notes, 
				  <unitdate>March 1957</unitdate></unittitle> 
			 </did> 
		  </c03> 
		  <c03> 
			 <did><container type="box">86-26/14</container> 
				<unittitle>Dedekind, R., 
				  <title render="italic">Ueber die Permutationen des Körpers aller
					 algebraischen Zahlen</title>, and David Hilbert, 
				  <title render="italic">Ueber das Dirichlet’sche Princip</title>,
				  Berlin, Weidmannsche Buchhandlung, 
				  <unitdate>1901</unitdate></unittitle> 
			 </did> 
		  </c03> 
		  <c03> 
			 <did><container type="box">86-26/14</container> 
				<unittitle>Grünbaum, B., 
				  <title render="italic">Extensions, Retractions and
					 Projections</title>, The Hebrew University, The Department of Mathematics,
				  Technical Notes No. 2, Prepared under contract AF 61(052)-04, Jerusalem,
				  Israel, 
				  <unitdate>January 1958</unitdate></unittitle> 
			 </did> 
		  </c03> 
		  <c03> 
			 <did><container type="box">86-26/14</container> 
				<unittitle>Kaiser, Klaus, 
				  <title render="italic">Über projective und quasi-universelle
					 Modellklassen, Habilitationsschrift am Fachbereich Mathematik der Technischen
					 Hochschule Darmstadt</title>, Köln, 
				  <unitdate>April 1973</unitdate></unittitle> 
			 </did> 
		  </c03> 
		  <c03> 
			 <did><container type="box">86-26/14</container> 
				<unittitle>Kober, 
				  <title render="italic">Dictionary of Conformal
					 Representations</title>, Admiralty Computing Service, Department of Scientific
				  Research and Experiment, London, Ref. Nos. SRE/ACS 101 and 107, Parts one and
				  two, 
				  <unitdate>1945</unitdate></unittitle> 
			 </did> 
		  </c03> 
		  <c03> 
			 <did><container type="box">86-26/14</container> 
				<unittitle>Massey, W. S., 
				  <title render="italic">Introduction to Homology Theory</title>,
				  Notes for Math 144 (a), Yale University, Department of Mathematics, 
				  <unitdate>1968</unitdate></unittitle> 
			 </did> 
		  </c03> 
		  <c03> 
			 <did><container type="box">86-26/14</container> 
				<unittitle>Potthoff, Klaus, 
				  <title render="italic">Über Enderweiterungen von
					 Nichtstandardmodellen der Arithmetik und Anderer Strukturen</title>, der
				  Mathematisch, Naturwissenschaftlichen Fakultät der
				  Christian-Albrechts-Universität als Habilitationsschrift für das Fach
				  Mathematik eingereicht, 
				  <unitdate>undated</unitdate></unittitle> 
			 </did> 
		  </c03> 
		  <c03> 
			 <did><container type="box">86-26/14</container> 
				<unittitle>Sacks, G. E., 
				  <title render="italic">Saturated Model Theory</title>, (rough
				  preliminary version), Massachusetts Institute of Technology, preparation
				  supported by NSF-GP-18728, 
				  <unitdate>February 8, 1971</unitdate></unittitle> 
			 </did> 
		  </c03> 
		</c02> 
	 </c01> 
  </dsc> 
</archdesc>
</ead>
