Come Back

Tarskis world : version 4.0 for Macintosh

Barwise, Jon

Information

You can find it in

Category

Testo

Nature

Monografia

Title

Tarskis world : version 4.0 for Macintosh

Names

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

Dewey class

511.30285 Logica matematica (Logica simbolica). Elaborazione dei dati, applicazioni dell'elaboratore.

BNI subject

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

Description

Tarskis world : version 4.0 for Macintosh / Jon Barwise & John Etchemendy

Physical description

XVIII, 116 p. ; 23 cm. + 1 floppy disk.

Standard numbers

ISBN: 1881526275

Date

c1993

Place of publication

Stanford

Village

STATI UNITI

Tongue

INGLESE

Source

Biblioteche SBN Sardegna

IT\ICCU\MIL\0314916

Resources links

http://id.sbn.it/bid/MIL0314916

Comments

Load others

Write a comment

Send

Tarskis world : version 4.0 for Macintosh

Tag

Meccanica quantistica II : applicazioni

Meccanica quantistica II : applicazioni

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

Tarskis world : version 4.0 for MS Windows

Archangel

Phenomenon

Peaceful Choir : New Sound of Choral Music

6: Rhapsody in blue : original version for piano and big band

Comments

Sardinia region

Tarskis world : version 4.0 for Macintosh

Tag

Meccanica quantistica II : applicazioni

Meccanica quantistica II : applicazioni

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

Tarskis world : version 4.0 for MS Windows

Archangel

Phenomenon

Peaceful Choir : New Sound of Choral Music

6: Rhapsody in blue : original version for piano and big band

Comments