Normal view
MARC view
Tarski's world : versión 4.0 for MS windows / Barwise, Jon, Etchemendy John [Texto impreso]
Language: English Series: CSLI lecture notes ; 45Publisher: Stanford : CSLI, 1993Description: XVIII, 122 p. ; 23 cm + 1 disqueteISBN: 1-881526-28-3Subject(s): Lenguajes de programación
Contents:
1. How to use Tarski's world ; 2. Exercises on propositional logic ; 3. Exercises on first-order logic ; 4. More Theoretical exercises.
Item type | Current location | Collection | Call number | Status | Date due | Barcode | Course reserves |
---|---|---|---|---|---|---|---|
Libro | Biblioteca Universidad Europea del Atlántico Fondo General | No ficción | 004.43 BAR tar | Available | 3160 | ||
Libro | Biblioteca Universidad Europea del Atlántico Fondo General | No ficción | 004.43 BAR tar | Available | 3159 |
1. How to use Tarski's world ; 2. Exercises on propositional logic ; 3. Exercises on first-order logic ; 4. More Theoretical exercises.