An edition of First order categorical logic (1977)

First order categorical logic

model-theoretical methods in the theory of topoi and related categories

by and

Cover of: First order categorical logic by Michael Makkai, Mihály Makkai, Michael Makkai, Mihály Makkai
Read

My Reading Lists:

Create a new list
Notes
Notes

Download Options

Check nearby libraries

Buy this book

Last edited by MARC Bot
June 30, 2019 | History
Edit
An edition of First order categorical logic (1977)

First order categorical logic

model-theoretical methods in the theory of topoi and related categories

by and

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer-Verlag
Language
/languages/eng
Pages
301

Check nearby libraries

Buy this book

Previews available in: /languages/eng

Subjects

Categories (Mathematics), Model theory, Toposes, Logic
Edition Availability
Cover of: First order categorical logic
First order categorical logic: model-theoretical methods in the theory of topoi and related categories
1977, Springer-Verlag
in /languages/eng

Add another edition?

Book Details

Edition Notes

Bibliography: p. [298]-301.

Published in
Berlin, New York
Series
Lecture notes in mathematics ; 611, Lecture notes in mathematics (Springer-Verlag) ;, 611.

Classifications

Dewey Decimal Class
510/.8 s, 512/.55
Library of Congress
QA3 .L28 no. 611, QA9.7 .L28 no. 611

The Physical Object

Pagination
viii, 301 p. :
Number of pages
301

Edition Identifiers

Open Library
OL4545465M
Internet Archive
firstordercatego00makk
ISBN 10
0387084398
LCCN
77013221
OCLC/WorldCat
3292691
Goodreads
2573538

Work Identifiers

Work ID
OL3906044W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Download catalog record: RDF / JSON
June 30, 2019 Edited by MARC Bot import existing book
March 10, 2019 Edited by ImportBot import existing book
October 23, 2011 Edited by LC Bot import new book
December 5, 2010 Edited by Open Library Bot Added subjects from MARC records.
December 10, 2009 Created by WorkBot add works page