Provability, Computability and Reflection: Volume 62
Lev D. Beklemishev(Author)
Elsevier (Publisher)
Published on 1. April 2000
Book
Hardback
207 pages
978-0-7204-2258-0 (ISBN)
Article exhausted; check different version
More details
Series
Language
English
Place of publication
United States
Target group
Professional and scholarly
ISBN-13
978-0-7204-2258-0 (9780720422580)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions

Lev D. Beklemishev
Model Theory for Infinitary Logic
Logic with Countable Conjunctions and Finite Quantifiers
E-Book
05/2014
Elsevier
€215.00
Available for download