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

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

book Logic, Methodology and Philosophy of Science III: Proceedings Amsterdam, 1967

Logic, Methodology and Philosophy of Science III: Proceedings Amsterdam, 1967

djvu

Author: van Rootselaar B. Staal J.F. (eds.)
Language: English
Year: 1968

00

27.01.2024

0

0

book Logic Colloquium '80 (no TOC)

Logic Colloquium '80 (no TOC)

djvu

Author: Dirk van Dalen etc.
Language: English
Year: 1982

00

27.01.2024

0

0

book The L.E.J. Brouwer centenary symposium: Proceedings Noordwijkerhout, 1981

The L.E.J. Brouwer centenary symposium: Proceedings Noordwijkerhout, 1981

djvu

Author: A.S. Troelstra D.van Dalen
Language: English
Year: 1982

00

27.01.2024

0

0

book Constructivism in mathematics: An introduction

Constructivism in mathematics: An introduction

djvu

Author: Anne S. Troelstra Dirk van Dalen
Language: English
Year: 1988

00

27.01.2024

0

0

book Proof Theory

djvu

Author: Gaisi Takeuti
Language: English
Year: 1975

00

27.01.2024

1

0

book Logic Colloquium '85: Proceedings Orsay, 1985

Logic Colloquium '85: Proceedings Orsay, 1985

djvu

Author: Paris Logic Group
Language: English
Year: 1987

00

27.01.2024

0

0

book Logic, Methodology and Philosophy of Science IV: Proceedings Bucharest, 1971

Logic, Methodology and Philosophy of Science IV: Proceedings Bucharest, 1971

djvu

Author: Suppes P. et al. (eds.)
Language: English
Year: 1973

00

27.01.2024

0

0

book Logic, Methodology and Philosophy of Science IV: Proceedings Bucharest, 1971

Logic, Methodology and Philosophy of Science IV: Proceedings Bucharest, 1971

djvu

Author: Suppes P. Henkin L. Joja A. Moisil G.C. (eds.)
Language: English
Year: 1973

00

27.01.2024

0

0

book Foundations of Infinitesimal Stochastic Analysis

Foundations of Infinitesimal Stochastic Analysis

djvu

Author: K.D. Stroyan Jose Manuel Bayod
Language: English
Year: 1986

00

27.01.2024

0

0

book Proceedings of the Herbrand symposium: Logic colloquium '81, Marseilles, 1981

Proceedings of the Herbrand symposium: Logic colloquium '81, Marseilles, 1981

djvu

Author: J. Stern
Language: English
Year: 1982

00

27.01.2024

0

0