Quantifiers logics, models and computation
Saved in:
Other Authors: | , , |
---|---|
Format: | Book |
Published: |
Bordrecht
Kluwer Academic
1995
|
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
LEADER | 00000n a2200000 a 4501 | ||
---|---|---|---|
001 | wils-218026 | ||
020 | # | # | |a 0792334485 |
090 | 0 | 0 | |a QA9.7 |b .Q36 1995 |
245 | 0 | 0 | |a Quantifiers |b logics, models and computation |c edited by Michal Krynicki, Marcin Mostowski, Leslaw W. Szczerba |
260 | # | # | |a Bordrecht |b Kluwer Academic |c 1995 |
300 | # | # | |a viii, 418 p. |b ill. |c 24 cm |
504 | # | # | |a Includes bibliographical references and index |
505 | 1 | # | |a v. 1. Surveys |
650 | # | 0 | |a Model theory |
700 | 1 | # | |a Michal Krynicki |
700 | # | # | |a Mostowski, Marcin |
700 | # | # | |a Szczerba, Leslaw W. |
740 | 0 | 2 | |a Surveys |
856 | 4 | 0 | |z Click Here to View Status and Holdings. |u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=218026 |
964 | # | # | |c BOK |d 01 |
040 | # | # | |a Shah Alam |
998 | # | # | |a 00260##a0011.2.2||00260##b0011.2.2||00260##c0011.2.2||00300##a0011.2.2||00300##b0011.2.2||00300##c0011.2.2||01700##a0011.2.2||02700##a0011.2.2|| |