Close menu
Autonomous Region of Sardinia Autonomous Region of Sardinia Autonomous Region of Sardinia Autonomous Region of Sardinia
Sardinia region
Follow us on
Search Search in the site

Sardinia region

Other actions
Come Back Come Back

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
You can find it in

Category

Testo

Nature

Monografia

Title

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

Names

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

Dewey class

160.285

BNI subject

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

Edition

3. ed. revised & expanded

Physical description

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

Standard numbers

ISBN: 0937073997

Date

c1993

Place of publication

Stanford

Village

STATI UNITI

Tongue

INGLESE

Source

Biblioteche SBN Sardegna

ID

IT\ICCU\MIL\0224519

Resources links

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

Other 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!

Author : Anarchist group <Ragusa>

Year : 1982

Results 2 of 1017

View All View All

Texts

Tarskis world : version 4.0 for Macintosh

Tarskis world : version 4.0 for Macintosh

Author : Barwise, Jon

Year : 1993
Tarskis world : version 4.0 for MS Windows

Tarskis world : version 4.0 for MS Windows

Author : Barwise, Jon

Year : 1993

Results 2 of 211732

View All View All

Video

The edge of the world

The edge of the world

Year : 1990
Burgundy and the language of wine

Burgundy and the language of wine

Year : 2002

Results 2 of 16947

View All View All

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

Author : ajkovskij, Petr Ilʹi

Year : 1983
The best of Youssou N'Dour

The best of Youssou N'Dour

Author : N'Dour, Youssou

Year : 1994

Results 2 of 5181

View All View All

Comments

Load others

Write a comment

Send
Write a comment