Area della Ricerca di Padova
Corso Stati Uniti,4 35127 Padova (ITALY) - Tel.+39 049 8295611 - Fax.+39 049 8295671

The language of first-order logic including the program Tarski's World 4.0 /

by Barwise, Jon
Normal View ISBD View
Authors: Etchemendy, John Series: CSLI Lectures Notes ; . 34 Edition statement:3. ed. Published by : CSLI, (Stanford : ) Physical details: XIV, 319 p. ; 23 cm.+ diskette Subject(s): First-order logic | Tarski's world (computer program) Year : 1992
No tags for this title. Log in to add tags.
Item type Location Call Number Copy Status Date Due
Books Centro studi per ricerche di fonetica INF1/30 (Browse Shelf) 1 Available

There are no comments for this item.

Log in to your account to post a comment.
Important links here.