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

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

book Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers, Vol. 1

Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers, Vol. 1

djvu

Author: Piergiorgio Odifreddi
Language: English
Year: 1999

00

27.01.2024

0

0

book The Theory of Models. Proceedings of the 1963 International Symposium at Berkeley

The Theory of Models. Proceedings of the 1963 International Symposium at Berkeley

pdf

Author: J.W. Addison Leon Henkin Alfred Tarski (eds.)
Language: English
Year: 1963

00

27.01.2024

0

0

book Set Theory. An Introduction to Independence Proofs

Set Theory. An Introduction to Independence Proofs

djvu

Author: Kenneth Kunen
Language: English
Year: 1983

00

27.01.2024

0

0

book The axiomatic method with special reference to geometry and physics

The axiomatic method with special reference to geometry and physics

djvu

Author: Henkin L. et al. (eds.)
Language: English
Year: 1959

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 Intuitionism: An introduction

Intuitionism: An introduction

pdf

Author: Arend Heyting
Language: English
Year: 1971

00

27.01.2024

0

0

book Intuitionism: An introduction

Intuitionism: An introduction

pdf

Author: Arend Heyting
Language: English
Year: 1971

00

27.01.2024

0

0

book Intuitionism: An Introduction

Intuitionism: An Introduction

pdf

Author: Arend Heyting
Language: English
Year: 1956

00

27.01.2024

0

0

book Intuitionism: An Introduction

Intuitionism: An Introduction

djvu

Author: Arend Heyting
Language: English
Year: 1956

00

27.01.2024

0

0

book Quantification in Nonclassical Logic: Volume 1

Quantification in Nonclassical Logic: Volume 1

pdf

Author: D.M. Gabbay V.B. Shehtman and D.P. Skvortsov (Eds.)
Language: English
Year: 2009

00

27.01.2024

0

0