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

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

book Topoi: The Categorial Analysis of Logic

Topoi: The Categorial Analysis of Logic

pdf

Author: Robert Goldblatt
Language: English
Year: 1984

00

13.02.2024

0

0

book Algebra of proofs

Algebra of proofs

pdf

Author: Szabo M E
Language: English
Year: 1978

00

07.02.2024

0

0

book A survey of mathematical logic

A survey of mathematical logic

djvu

Author: Wang H.
Language: English
Year: 1963

00

30.01.2024

0

0

book The foundations of mathematics: A study in the philosophy of science

The foundations of mathematics: A study in the philosophy of science

djvu

Author: Beth Evert W
Language: English
Year: 1966

00

30.01.2024

0

0

book Proof theory: (based on a series of lectures at the Symposium on intuitionism and proof theory held at Buffalo 1968)

Proof theory: (based on a series of lectures at the Symposium on intuitionism and proof theory held at Buffalo 1968)

djvu

Author: Takeuti Gaisi
Language: English
Year: 1987

00

30.01.2024

0

0

book Problems in the philosophy of mathematics: Proceedings London, 1965, vol. 1

Problems in the philosophy of mathematics: Proceedings London, 1965, vol. 1

djvu

Author: Lakatos I. (ed.)
Language: English
Year: 1967

00

30.01.2024

0

0

book Outlines of a formalist philosophy of mathematics

Outlines of a formalist philosophy of mathematics

djvu

Author: Curry Haskell Brooks
Language: English
Year: 1951

00

30.01.2024

0

0

book Model theory

djvu

Author: Chang C.C. Keisler H.J.
Language: English
Year: 1990

00

30.01.2024

0

0

book Logic, methodology and philosophy of science: proceedings of the ... International Congress of Logic, Methodology and Philosophy of Science / 7 Salzburg, 1983

Logic, methodology and philosophy of science: proceedings of the ... International Congress of Logic, Methodology and Philosophy of Science / 7 Salzburg, 1983

djvu

Author: Marcus R.B. et al. (eds.)
Language: English
Year: 1986

00

30.01.2024

0

0

book Logic, methodology, and philosophy of science VI: proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979

Logic, methodology, and philosophy of science VI: proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979

djvu

Author: Cohen L.J. et al. (eds.)
Language: English
Year: 1982

00

30.01.2024

0

0