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

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

book Set Theory: An Introduction to Large Cardinals

Set Theory: An Introduction to Large Cardinals

djvu

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

00

27.01.2024

0

0

book Axiomatic Set Theory

Axiomatic Set Theory

pdf

Author: Paul Bernays with a historical introduction by Abraham A. Fraenkel
Language: English
Year: 1958

00

27.01.2024

0

0

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 Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963

Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963

pdf

Author: John N. Crossley Michael Dummett (editors)
Language: English
Year: 1965

00

27.01.2024

0

0

book Ancient Formal Logic

Ancient Formal Logic

pdf

Author: Joseph M. Bocheński
Language: English
Year: 1951

00

27.01.2024

0

0

book Lectures on the Curry-Howard Isomorphism

Lectures on the Curry-Howard Isomorphism

pdf

Author: Morten Heine Sørensen Paweł Urzyczyn
Language: English
Year: 2006

00

27.01.2024

0

0

book Set theory. An introduction to large cardinals

Set theory. An introduction to large cardinals

djvu

Author: Drake F.
Language: English
Year: 1974

00

27.01.2024

0

0

book Recursive Number Theory: A Development of Recursive Arithmetic in a Logic-Free Equation Calculus

Recursive Number Theory: A Development of Recursive Arithmetic in a Logic-Free Equation Calculus

pdf

Author: Reuben Louis Goodstein
Language: English

00

27.01.2024

0

0

book The Axiom of Choice

The Axiom of Choice

pdf

Author: T. J. Jech
Language: English
Year: 1973

00

27.01.2024

2

0

book Many-Dimensional Modal Logics: Theory and Applications

Many-Dimensional Modal Logics: Theory and Applications

pdf

Author: D.M. Gabbay A. Kurucz F. Wolter M. Zakharyaschev
Language: English
Year: 2003

00

27.01.2024

0

0