Fermer le menu
Région autonome de la Sardaigne Région autonome de la Sardaigne Région autonome de la Sardaigne Région autonome de la Sardaigne
Sardaigne
Suivez-nous sur
Recherche Rechercher sur le site

Sardaigne

D\'autres actions
Revenir Revenir

The language of first-order logic : including the Macintosh version of Tarskis World 4.0

Barwise, Jon

The language of first-order logic : including the Macintosh version of Tarskis World 4.0
Information
Vous pouvez le trouver dans

Catégorie

Testo

Nature

Monografia

Titre

The language of first-order logic : including the Macintosh version of Tarskis World 4.0

Des noms

[Autore] Barwise, Jon
[Autore] Etchemendy, John

Classe Dewey

160.285

Sujet BNI

LOGICA - MANUALI
LOGICA - APPLICAZIONI DELL'INFORMATICA
INFORMATICA - APPLICAZIONI ALLA LOGICA
PROGRAMMA TARSKIS WORLD
ELABORATORI ELETTRONICI - PROGRAMMA TARSKIS WORLD

Description

ˆThe ‰language of first-order logic : including the Macintosh version of Tarskis World 4.0 / Jon Barwise & John Etchemendy

Édition

3. ed. revised & expanded

Description physique

XIV, 313 p. ; 24 cm + 1 floppy disk.

Nombres standard

ISBN: 0937073997

Date

c1993

Place de publication

Stanford

Village

STATI UNITI

Langue

INGLESE

Source

Biblioteche SBN Sardegna

ID

IT\ICCU\MIL\0224519

Liens de ressources

http://id.sbn.it/bid/MIL0224519
Biblioteca del Distretto delle Scienze umane - Sezione Dante Alighieri
Biblioteca del Distretto di scienze umane - sezione Giordano Bruno

Étiqueter

D\'autres actions

Images

Italy / Distínguished according to the Extent / of all the States, Kingdomes, Republicks, / Dukedoms, Principalities &c. that / to at present Divide it. Most Humbly Inscribd / to the Right Hon. ble the / Earl of Strafford / Kn. t of the most noble / order of the Garter ec. / Revised by / Senex. 1719, in A new General Atlas of the World

Italy / Distínguished according to the Extent / of all the States, Kingdomes, Republicks, / Dukedoms, Principalities &c. that / to at present Divide it. Most Humbly Inscribd / to the Right Hon. ble the / Earl of Strafford / Kn. t of the most noble / order of the Garter ec. / Revised by / Senex. 1719, in A new General Atlas of the World
The construction of the missile base in Comiso can be prevented!

The construction of the missile base in Comiso can be prevented!

Auteur : Anarchist group <Ragusa>

Année : 1982

Résultats 2 de 1017

Voir tout Voir tout

Des textes

Tarskis world : version 4.0 for Macintosh

Tarskis world : version 4.0 for Macintosh

Auteur : Barwise, Jon

Année : 1993
Tarskis world : version 4.0 for MS Windows

Tarskis world : version 4.0 for MS Windows

Auteur : Barwise, Jon

Année : 1993

Résultats 2 de 211732

Voir tout Voir tout

Vidéo

The edge of the world

The edge of the world

Année : 1990
Burgundy and the language of wine

Burgundy and the language of wine

Année : 2002

Résultats 2 de 16947

Voir tout Voir tout

l\'audio

Music for cello and orchestra : including original version of Rococo variations and Pezzo Capriccioso

Music for cello and orchestra : including original version of Rococo variations and Pezzo Capriccioso

Auteur : ajkovskij, Petr Ilʹi

Année : 1983
The best of Youssou N'Dour

The best of Youssou N'Dour

Auteur : N'Dour, Youssou

Année : 1994

Résultats 2 de 5181

Voir tout Voir tout

commentaires

Chargez les autres

Écrire un commentaire

Envoyer
Écrire un commentaire