Logic; Mathematical Logic and Foundations

LIBRARY

Where is the Gödel-point hiding : Gentzen's consistency proof of 1936 and his representation of constructive ordinals

2014 · ENGLISH · PDF

View details →

LIBRARY

Where is the Gödel-point hiding : Gentzen's consistency proof of 1936 and his representation of constructive ordinals

2014 · ENGLISH · EPUB

View details →

LIBRARY

Course of Mathematical Logic. Volume 1: Relation and Logical Formula

1973 · ENGLISH · PDF

View details →

LIBRARY

Handbook of Philosophical Logic. Volume I: Elements of Classical Logic

1983 · ENGLISH · PDF

View details →

LIBRARY

Handbook of Philosophical Logic. Volume II: Extensions of Classical Logic

1984 · ENGLISH · PDF

View details →

LIBRARY

Metamathematics of Fuzzy Logic

1998 · ENGLISH · PDF

View details →

LIBRARY

Automated Model Building

2004 · ENGLISH · PDF

View details →

LIBRARY

Automated Model Building

2004 · ENGLISH · PDF

View details →

LIBRARY

Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals

2014 · ENGLISH · PDF

View details →

LIBRARY

Constructive Negations and Paraconsistency

2008 · ENGLISH · PDF

View details →

LIBRARY

Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics

1976 · ENGLISH · PDF

View details →

LIBRARY

Course of Mathematical Logic. Volume 2: Model Theory

1974 · ENGLISH · PDF

View details →

LIBRARY

Introduction to Axiomatic Set Theory

1971 · ENGLISH · PDF

View details →

LIBRARY

A Precis of Mathematical Logic

1959 · ENGLISH · PDF

View details →

LIBRARY

Logic and Foundations of Mathematics: Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

1999 · ENGLISH · PDF

View details →

LIBRARY

Leśniewski’s Systems Protothetic

1998 · ENGLISH · PDF

View details →

LIBRARY

Constructive Negations and Paraconsistency

2008 · ENGLISH · PDF

View details →