The language of first-order logic : ncluding the IBM-compatible Windows version of Tarski's world 4.0 /

Bibliographic Details
Main Author:	Barwise, Jon, 1942-2000
Other Authors:	Etchemendy, John, 1952-
Format:	Book
Language:	English
Published:	Stanford : Centre for the study of language and information, 1992.
Edition:	3a. ed. rev. and aum.
Series:	CSLI Lecture notes ; no. 34
Subjects:	Lógica matemática. Teoría de la computación. TARSKI'S WORLD 4.0 Programming languages Lenguajes de programación

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20171116184342.0
008	100308s1992 cau\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020			\|a 0-937073-90-3(pbk)
100	1		\|9 1103 \|a Barwise, Jon, \|d 1942-2000.
245	1	4	\|a The language of first-order logic : \|c Jon Barwise, John Etchemendy. \|b ncluding the IBM-compatible Windows version of Tarski's world 4.0 /
250			\|a 3a. ed. rev. and aum.
260			\|a Stanford : \|b Centre for the study of language and information, \|c 1992.
300			\|a xiv, 319 p. ; \|c 23 cm.
490	0		\|a CSLI Lecture notes ; \|v no. 34
500			\|a Con diskette
650		4	\|a Lógica matemática.
650		4	\|a Teoría de la computación.
650		4	\|a TARSKI'S WORLD 4.0
650		4	\|a Programming languages
650		4	\|a Lenguajes de programación
700	1		\|9 4889 \|a Etchemendy, John, \|d 1952-
942			\|c LIBRO \|2
945			\|a AB
952			\|0 0 \|1 0 \|2 MSC \|4 0 \|6 M_03_B296 \|7 0 \|9 4249 \|a MMA \|b MMA \|c 2 \|d 2008-06-09 \|e Asoc. Coop. FAMAF \|l 2 \|m 1 \|o M 03 B296 \|p 11799 \|r 2023-01-26 \|s 2019-06-06 \|w 2008-06-09 \|y LIBRO
999			\|c 3215 \|d 3215