Сбор средств 15 Сентября 2024 – 1 Октября 2024 О сборе средств

A constructive interpretation of the full set theory

Main
Mathematics - Logic
A constructive interpretation of the...

A constructive interpretation of the full set theory

Turchin V.F.

0 / 0

Насколько вам понравилась эта книга?

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

Скачайте книгу, чтобы оценить ее качество

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

Категории:

Mathematics - Logic

Год:

1987

Язык:

english

Страницы:

30

Серия:

J.Symb Logic 52

Файл:

DJVU, 361 KB

IPFS:

,

english, 1987

Читать Онлайн

Выполняется конвертация в

Конвертация в не удалась

Вас может заинтересовать

Kenneth A. Ross, Charles R. B. Wright — Discrete Mathematics (4th Edition)

Winskel G. — Topics in concurrency: lecture notes

Divulgación — Lecturas matemáticas

Jean Gallier and Jocelyn Quaintance — Mathematical Foundations And Discrete Mathematics

Turchin — The Cybernetic Foundation of Mathematics

T. E. Forster, ed. Dexter Chua — Logic

Jean Gallier — Discrete Mathematics [draft]

Samson Abramsky (auth.), Josep Diaz (eds.) — Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.) — Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Kenneth A. Ross, Charles R. B. Wright — Discrete Mathematics, Third Edition

William Tait — The Provenance of Pure Reason: Essays in the Philosophy of Mathematics and Its History (Logic and Computation in Philosophy)

Giovanni Sambin, Jan M. Smith — Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995

Chierchia G., McConnell-Ginet S. — Meaning and grammar: an introduction to semantics

Matthew Hennessy — Algebraic Theory of Processes

Jan van Leeuwen (ed.) — Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics

eds. Hajnal, A., R. Rado and Vera T. Sos — Infinite and finite sets. To Paul Erdos on his 60th birthday. Vol.2

Jose L. Zalabardo — Introduction to the theory of logic

Dekker J. (ed.) — Recursive Function Theory

Jan Mycielski, Pavel Pudlak, Alan S. Stern — A lattice of chapters of mathematics (interpretations between theorems [theories])

Walter A. Carnielli, Luiz Paulo De Alcantara (ed.) — Methods and Applications of Mathematical Logic: Proceedings

Robert S. Wolf — A Tour Through Mathematical Logic

Peter Apostoli (auth.), C. Anthony Anderson, Michael Zelëny (eds.) — Logic, Meaning and Computation: Essays in Memory of Alonzo Church

Geoffrey Burn (auth.), Geoffrey Burn BSc (Hons), PhD, DIC, Simon Gay BA (Hons), DipCompSci, Mark Ryan MA, PhD (eds.) — Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29–31 March 1993

Edward L. Keenan, Lawrence S. Moss — Mathematical Structures in Languages (Lecture Notes)

Maria Nowakowska — Language of Motivation and Language of Actions

Alice ter Meulen (editor); Johan van Benthem (editor) — Generalized Quantifiers in Natural Language

Hans Weigand — Linguistically motivated principles of knowledge base systems

R. Bartsch (editor); J. van Benthem (editor); P. van Emde Boas (editor) — Semantics and Contextual Expression

F. Richman — Constructive Mathematics. Proc. conf. New Mexico, 1980

Albert Atserias (auth.), Jerzy Marcinkowski, Andrzej Tarlecki (eds.) — Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004. Proceedings

Gordon Plotkin, John Power (auth.), Furio Honsell, Marino Miculan (eds.) — Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Jean-Paul Doignon (auth.), Prof. Dr. Dietrich Albert (eds.) — Knowledge Structures

Edmund M. Clarke Jr. (auth.), Wojciech Penczek, Andrzej Szałas (eds.) — Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.) — Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Samson Abramsky (auth.), M. Main, A. Melton, M. Mislove, D. Schmidt (eds.) — Mathematical Foundations of Programming Semantics: 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29–April 1, 1989 Proceedings

Ключевые слова