Набиране на средства 15 септември 2024 – 1 октомври 2024 Относно набирането на средства

Logic, Construction, Computation. 3

Main
Mathematics
Logic, Construction, Computation. 3

Logic, Construction, Computation. 3

Berger, Ulrich, Diener, Hannes, Schuster, Peter, Seisenberger, Monika et al.

0 / 0

Колко ви харесва тази книга?

Какво е качеството на файла?

Изтеглете книгата за оценка на качеството

Какво е качеството на изтеглените файлове?

Категории:

Година:

2012

Издателство:

De Gruyter,Ontos Verlag, Transaction Publishers

Език:

english

Страници:

542

ISBN 10:

3868381589

ISBN 13:

9783868381580

Файл:

PDF, 2.39 MB

IPFS:

,

english, 2012

Четете Онлайн

Преобразуването в се извършва

Преобразуването в е неуспешно

Може да се интересувате от

— Constructive Logic and Mathematics 001

John N. Crossley (ed.) — Sets, Models and Recursion Theory (Logic Colloquium'65)

John N. Crossley — Sets, Models and Recursion Theory: Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium Leicester, August-September 1965

Fenstad J.E., Hinman P.G. (eds.) — Generalized Recursion Theory: Proceedings of the 1972 Oslo Symposium

Fenstad J.E., Gandy R.O., Sacks G.E. (eds.) — Generalized Recursion Theory II: Proceedings of the 1977 Oslo Symposium

Jon Barwise, H. Jerome Keisler, Kenneth Kunen — The Kleene Symposium: Proceedings of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A.

Boffa M., van Dalen D., McAloon K. (eds.) — Logic Colloquium '78: Proceedings Mons, 1978

Samuel R. Buss (Editor) — Handbook of Proof Theory

Kino A., Myhill J., Vesley R.E. (eds.) — Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968

J. E. Fenstad (editor) — Proc. 2nd Scandinavian Logic Symposium

Gandy R.O., Yates C.M.E. (eds.) — Logic Colloquium '69: Proceedings Manchester, 1969

A. G. Dragalin — Mathematical Intuitionism: Introduction to Proof Theory

Jens E. Fenstad — General Recursion Theory: An Axiomatic Approach

Peter G. Hinman — Recursion-Theoretic Hierarchies

Jon Barwise — Admissible Sets and Structures

Sieg, Wilfried; Sommer, Richard; Talcott, Carolyn L et al. (eds.) — Reflections on the foundations of mathematics: essays in Honor of Solomon Feferman: lecture notes in logic 15

Chatzidakis, Zoe ́Maria; Koepke, Peter; Pohlers, Wolfram (eds.) — Logic colloquium '02: lecture notes in logic 27: lecture notes in logic 27

Dieter Probst;Peter Schuster — Concepts of Proof in Mathematics, Philosophy, and Computer Science

Torkel Franzén — Inexhaustibility: A Non-Exhaustive Treatment

Zoé Chatzidakis, Peter Koepke, Wolfram Pohlers (eds.) — Logic Colloquium '02 : proceedings of the Annual European Summer Meeting of Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002

Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger — Logic, Construction, Computation

Ralf Schindler (editor) — Ways of Proof Theory

Ulrich Berger (editor); Hannes Diener (editor); Peter Schuster (editor); Monika Seisenberger (editor) — Logic, Construction, Computation

Reinhard Kahle, Michael Rathjen (eds.) — Gentzen's Centenary, The Quest for Consistency

Gerhard Jäger, Wilfried Sieg — Feferman on Foundations

Martin H. Löb — Proceedings of the Summer School in Logic, Leeds, 1967. NATO ASI Meeting of the Association for Symbolic Logic

J. Barwise — Admissible sets and structures: An approach to definability theory

J. Diller, G.H. Müller — ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and ... in Mathematics)

Peter Hinman — Recursion-theoretic hierarchies

J. E. Fenstad — General Recursion Theory: An Axiomatic Approach

Wolfram Pohlers — Proof Theory: The First Step into Impredicativity

Jon Barwise — Admissible Sets and Structures: An Approach to Definability Theory

Peter G. Hinman — Recursion-Theoretic Hierarchies

Ralf Schindler — Ways of Proof Theory

Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger — Logic, Construction, Computation

Най-често използвани термини