Book serie: / Книги серии: Studies in Logic and the Foundations of Mathematics 87 » Page 4 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Studies in Logic and the Foundations of Mathematics 87 » Page 4

book Logic Colloquium'76: Proceedings of a conference held in Oxford in July 1976

Logic Colloquium'76: Proceedings of a conference held in Oxford in July 1976

pdf

Author: R.O. Gandy J.M.E. Hyland (eds.)
Language: English
Year: 1977

00

27.01.2024

0

0

book Tools and Techniques in Modal Logic

Tools and Techniques in Modal Logic

pdf

Author: Marcus Kracht
Language: English
Year: 1999

00

27.01.2024

0

0

book Handbook of Proof Theory

Handbook of Proof Theory

djvu

Author: Samuel R. Buss (Editor)
Language: English
Year: 1998

00

27.01.2024

0

0

book Logical Frameworks for Truth and Abstraction: An Axiomatic Study

Logical Frameworks for Truth and Abstraction: An Axiomatic Study

djvu

Author: Andrea Cantini
Language: English
Year: 1996

00

27.01.2024

0

0

book Abstract Set Theory

Abstract Set Theory

djvu

Author: Abraham A. Fraenkel
Language: English
Year: 1966

00

27.01.2024

0

0

book Abstract Set Theory

Abstract Set Theory

pdf

Author: Abraham A. Fraenkel
Language: English
Year: 1966

00

27.01.2024

0

0

book Set Theory: An Introduction to Large Cardinals

Set Theory: An Introduction to Large Cardinals

pdf

Author: Frank R. Drake
Language: English
Year: 1974

00

27.01.2024

0

0

book The lambda calculus : its syntax and semantics

The lambda calculus : its syntax and semantics

pdf

Author: H P Barendregt
Language: English

00

27.01.2024

0

0

book Topoi, the categorial analysis of logic

Topoi, the categorial analysis of logic

pdf

Author: Robert Goldblatt
Language: English
Year: 1984

00

27.01.2024

0

0

book Topoi: The Categorial Analysis of Logic

Topoi: The Categorial Analysis of Logic

djvu

Author: Robert Goldblatt
Language: English
Year: 1984

00

27.01.2024

0

0