RecordNumber

34801

LC Class

QA

LC Number

9.7

LC CutterNumber

.Q36

Dewey Class

511

Dewey Date

.3

Title

Quantifiers

Author Statement

edited by Michal Krynicki, Marcin Mostowski, Leslaw W. Szczerba

Publication

Kluwer Academic Publishers

Publication Year

c1995

Collation

2 v.: ill.; 23 cm

Series

Synthese library ; v. 248-249

Contents

v. 1. Surveys -- v. 2. Contributions

Subject

Model theory

ADDED ENTRIES

Krynicki, Michal

Holding Info.

0792334507

Original By

78/09

DocumentNumber

46297

SubTitle

: logics, models, and computation

Biblography

Includes bibliographical references and indexes

BL

BL