Chiudi Menù
Regione Autonoma della Sardegna Regione Autonoma della Sardegna Regione Autonoma della Sardegna Regione Autonoma della Sardegna
Regione Sardegna
Seguici su
Cerca Cerca nel sito

Regione Sardegna

Altre azioni
Torna Indietro Torna Indietro

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
Informazioni
Lo trovi in

Categoria

Testo

Natura

Monografia

Titolo

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

Nomi

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

Classe Dewey

160.285

Soggetto BNI

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

Descrizione

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

Edizione

3. ed. revised & expanded

Descrizione Fisica

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

Numeri Standard

ISBN: 0937073997

Data

c1993

Luogo di pubblicazione

Stanford

Paese

STATI UNITI

Lingua

INGLESE

Fonte

Biblioteche SBN Sardegna

ID

IT\ICCU\MIL\0224519

Link Risorse

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

Tag

Altre azioni

Immagini

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!

Autore : Anarchist group <Ragusa>

Anno : 1982

Risultati 2 di 1017

Visualizza Tutti Visualizza Tutti

Testi

Tarskis world : version 4.0 for Macintosh

Tarskis world : version 4.0 for Macintosh

Autore : Barwise, Jon

Anno : 1993
Tarskis world : version 4.0 for MS Windows

Tarskis world : version 4.0 for MS Windows

Autore : Barwise, Jon

Anno : 1993

Risultati 2 di 211732

Visualizza Tutti Visualizza Tutti

Video

The edge of the world

The edge of the world

Anno : 1990
Burgundy and the language of wine

Burgundy and the language of wine

Anno : 2002

Risultati 2 di 16947

Visualizza Tutti Visualizza Tutti

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

Autore : ajkovskij, Petr Ilʹi

Anno : 1983
The best of Youssou N'Dour

The best of Youssou N'Dour

Autore : N'Dour, Youssou

Anno : 1994

Risultati 2 di 5181

Visualizza Tutti Visualizza Tutti

Commenti

Carica altri

Scrivi un commento

Invia
Scrivi un commento