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

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

book Intuitionism: An Introduction

Intuitionism: An Introduction

pdf

Author: A. Heyting
Language: English
Year: 1971

00

27.01.2024

0

0

book Intentional Mathematics

Intentional Mathematics

pdf

Author: Stewart Shapiro
Language: English
Year: 1985

00

27.01.2024

0

0

book Handbook of Computability Theory

Handbook of Computability Theory

pdf

Author: Edward R. Griffor (ed.)
Language: English
Year: 1999

00

27.01.2024

0

0

book Handbook of Proof Theory

Handbook of Proof Theory

pdf

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

00

27.01.2024

0

0

book Hausdorff Gaps and Limits

Hausdorff Gaps and Limits

pdf

Author: R. Frankiewicz P. Zbierski
Language: English
Year: 1994

00

27.01.2024

0

0

book Generalized Recursion Theory

Generalized Recursion Theory

pdf

Author: J.E. Fenstad P. G. Hinman
Language: English
Year: 1974

00

27.01.2024

0

0

book Generalized Recursion Theory II: Proceedings of the 1977 Oslo Symposium: Symposium Proceedings

Generalized Recursion Theory II: Proceedings of the 1977 Oslo Symposium: Symposium Proceedings

pdf

Author: Jens Erik Fenstad et al
Language: English
Year: 1978

00

27.01.2024

0

0

book Formal Systems and Recursive Functions

Formal Systems and Recursive Functions

pdf

Author: J N Crossley M A E Dummett
Language: English
Year: 1965

00

27.01.2024

0

0

book Foundational Studies, Selected Works Vol I

Foundational Studies, Selected Works Vol I

pdf

Author: Andrzej Mostowski
Language: English
Year: 1979

00

27.01.2024

0

0

book Foundational Studies, Selected Works Vol II

Foundational Studies, Selected Works Vol II

pdf

Author: Andrzej Mostowski
Language: English

00

27.01.2024

0

0