UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

Hogeschool Gent (1)

KU Leuven (1)

UGent (1)

UHasselt (1)

Resource type

book (1)

Language

English (1)

Year

From To

1993 (1)

Listing 1 - 1 of 1
Sort by

Tarski's world : version 4.0 for MS Windows
Authors: Barwise, Jon --- Etchemendy, John --- Center for the Study of Language and Information (U.S.)
ISBN: 1881526283 9781881526285 Year: 1993 Publisher: Stanford, CA Center for the Study of Language and Information

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Mathematical logic --- First-order logic. --- Logic, Modern --- Logic, Symbolic and mathematical --- Tarski's world (Computer program) --- First-order logic --- Handbooks, manuals, etc --- Tarski's world --- Software.

Listing 1 - 1 of 1
Sort by