Macintosh Garden - Jon Barwise & John Etchemendy http://macintoshgarden.org/taxonomy/term/4186/0 en Turing's World 3.0 http://macintoshgarden.org/apps/turings-world <div class="field field-type-filefield field-field-screenshot"> <div class="field-items"> <div class="field-item odd"> <img class="imagefield imagefield-field_screenshot" width="640" height="480" alt="Game screenshot" src="http://macintoshgarden.org/sites/macintoshgarden.org/files/screenshots/turingsworld.gif?1306976443" /> </div> </div> </div> <div class="field field-type-filefield field-field-file"> <div class="field-label">Application file:&nbsp;</div> <div class="field-items"> <div class="field-item odd"> <div class="filefield-file"><img class="filefield-icon field-icon-application-x-stuffit" alt="application/x-stuffit icon" src="http://macintoshgarden.org/sites/all/modules/filefield/icons/package-x-generic.png" /><a href="http://macintoshgarden.org/sites/macintoshgarden.org/files/apps/turingsworld30.sit" type="application/x-stuffit; length=142648">turingsworld30.sit</a></div> </div> </div> </div> <p>Turing's World 3.0 is a small application which accompanies the text <i>Turing's World 3.0: An Introduction to Computability Theory </i>by Barwise and Etchemendy under CSLI Publications. This book is still widely available from Amazon and always includes an 800K double-sided floppy with Turing's World.</p> <p>Machine and Tape files are included.</p> <!-- google_ad_section_start --><div class="field field-type-content-taxonomy field-field-category-app"> <div class="field-label">Category:&nbsp;</div> <div class="field-items"> <div class="field-item odd"> Numbers &amp; Spreadsheets </div> </div> </div> <!-- google_ad_section_end --><div class="field field-type-content-taxonomy field-field-author"> <div class="field-label">Author:&nbsp;</div> <div class="field-items"> <div class="field-item odd"> Jon Barwise &amp; John Etchemendy </div> </div> </div> <div class="field field-type-content-taxonomy field-field-year"> <div class="field-label">Year released:&nbsp;</div> <div class="field-items"> <div class="field-item odd"> 1993 </div> </div> </div> <div class="field field-type-content-taxonomy field-field-publisher-2"> <div class="field-label">Publisher:&nbsp;</div> <div class="field-items"> <div class="field-item odd"> CSLI Publications </div> </div> </div> <div class="field field-type-text field-field-system"> <div class="field-label">System:&nbsp;</div> <div class="field-items"> <div class="field-item odd"> System 6.x </div> <div class="field-item even"> System 7.0 - 7.6 </div> <div class="field-item odd"> Mac OS 8 - 8.1 </div> <div class="field-item even"> Mac OS 9 </div> </div> </div> <div class="field field-type-text field-field-emulation"> <div class="field-label">Emulation:&nbsp;</div> <div class="field-items"> <div class="field-item odd"> SheepShaver (PPC) </div> <div class="field-item even"> Basilisk II (68k) </div> <div class="field-item odd"> Mini vMac (68k) </div> </div> </div> <div class="field field-type-text field-field-architecture"> <div class="field-label">Architecture:&nbsp;</div> <div class="field-items"> <div class="field-item odd"> 68k </div> </div> </div> http://macintoshgarden.org/apps/turings-world#comments Numbers & Spreadsheets 1993 CSLI Publications Jon Barwise & John Etchemendy Thu, 02 Jun 2011 01:00:43 +0000 MacinTricks 4461 at http://macintoshgarden.org Tarski's World http://macintoshgarden.org/apps/tarskis-world <div class="field field-type-filefield field-field-screenshot"> <div class="field-items"> <div class="field-item odd"> <img class="imagefield imagefield-field_screenshot" width="640" height="480" alt="Game screenshot" src="http://macintoshgarden.org/sites/macintoshgarden.org/files/screenshots/tarskisworld.gif?1306976186" /> </div> </div> </div> <div class="field field-type-filefield field-field-file"> <div class="field-label">Application file:&nbsp;</div> <div class="field-items"> <div class="field-item odd"> <div class="filefield-file"><img class="filefield-icon field-icon-application-x-stuffit" alt="application/x-stuffit icon" src="http://macintoshgarden.org/sites/all/modules/filefield/icons/package-x-generic.png" /><a href="http://macintoshgarden.org/sites/macintoshgarden.org/files/apps/tarskisworld412.sit" type="application/x-stuffit; length=128368">tarskisworld412.sit</a></div> </div> </div> </div> <p>Tarski's World 4.1.2 is a small application designed to accompany <i>The Language of First-Order Logic, 3rd ed. </i>by Barwise and Etchemendy under CSLI Publications. This book is still widely available on Amazon and always includes a 800K double-sided floppy with Tarski's World.</p> <p>World and Sentence files are included.</p> <!-- google_ad_section_start --><div class="field field-type-content-taxonomy field-field-category-app"> <div class="field-label">Category:&nbsp;</div> <div class="field-items"> <div class="field-item odd"> Numbers &amp; Spreadsheets </div> </div> </div> <!-- google_ad_section_end --><div class="field field-type-content-taxonomy field-field-author"> <div class="field-label">Author:&nbsp;</div> <div class="field-items"> <div class="field-item odd"> Jon Barwise &amp; John Etchemendy </div> </div> </div> <div class="field field-type-content-taxonomy field-field-year"> <div class="field-label">Year released:&nbsp;</div> <div class="field-items"> <div class="field-item odd"> 1997 </div> </div> </div> <div class="field field-type-content-taxonomy field-field-publisher-2"> <div class="field-label">Publisher:&nbsp;</div> <div class="field-items"> <div class="field-item odd"> CSLI Publications </div> </div> </div> <div class="field field-type-text field-field-system"> <div class="field-label">System:&nbsp;</div> <div class="field-items"> <div class="field-item odd"> System 6.x </div> <div class="field-item even"> System 7.0 - 7.6 </div> <div class="field-item odd"> Mac OS 8 - 8.1 </div> <div class="field-item even"> Mac OS 9 </div> </div> </div> <div class="field field-type-text field-field-emulation"> <div class="field-label">Emulation:&nbsp;</div> <div class="field-items"> <div class="field-item odd"> SheepShaver (PPC) </div> </div> </div> <div class="field field-type-text field-field-architecture"> <div class="field-label">Architecture:&nbsp;</div> <div class="field-items"> <div class="field-item odd"> 68k </div> </div> </div> http://macintoshgarden.org/apps/tarskis-world#comments Numbers & Spreadsheets 1997 CSLI Publications Jon Barwise & John Etchemendy Thu, 02 Jun 2011 00:56:53 +0000 MacinTricks 4460 at http://macintoshgarden.org