Go to main content

A model-theoretic approach to proof theory / Henryk Kotlarski, author.

Kotlarski, Henryk, author.; Adamowicz, Zofia.; Bigorajska, Teresa.; Zdanowski, Konrad.
2019
QA9.54
Available Online
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Add to Basket

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
A model-theoretic approach to proof theory / Henryk Kotlarski, author.
Author
Kotlarski, Henryk, author.
ISBN
9783030289218 (electronic book)
3030289214 (electronic book)
9783030289201
Publication Details
Cham : Springer, 2019.
Language
English
Description
1 online resource (123 pages).
Item Number
10.1007/978-3-030-28
Call Number
QA9.54
Dewey Decimal Classification
511.3/6
160
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Source of Description
Description based on print version record.
Added Author
Adamowicz, Zofia.
Bigorajska, Teresa.
Zdanowski, Konrad.
Series
Trends in logic ; v. 51.
Available in Other Form
A Model-Theoretic Approach to Proof Theory
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
Chapter 1. Some combinatorics
Chapter 2. Some model theory
Chapter 3. Incompleteness
Chapter 4. Transfinite induction
Chapter 5. Satisfaction classes.

Browse Subjects

Show more subjects...

Statistics

from
to
Export