BooksSitemapMathematicsLogic
The Stationary Tower by Paul B. Larson - 2004 - 132 pages
The Strength of Nonstandard Analysis by Imme van den Berg, Vitor Manuel Carvalho das Neves - 2007 - 401 pages
The structure and method of the Regulae ad directionem ingenii by Pam Kraus - 1980 - 420 pages
The Structure of Models of Peano Arithmetic by Roman Kossak, James Schmerl - 2006 - 311 pages
The structure of proof by Michael L. O'Leary - 2002 - 418 pages
The technique of theory construction by Joseph Henry Woodger - 1970 - 81 pages
The Technique of Theory Construction by Joseph Henry Woodger - 1939 - 81 pages
The theory of [Sigma prime one, sub two] sets by Richard Mansfield - 1969 - 60 pages
The theory of computability by R. Sommerhalder, S. Christiaan van Westrhenen - 1988 - 441 pages
The Theory of Indistinguishables by A.F. Parker-Rhodes - 1981 - 236 pages
The Theory of mathematical machines - 1963 - 264 pages
The Theory of mathematical machines - 1963 - 264 pages
The theory of models - 1970 - 494 pages
The theory of models by University of California, Berkeley, Association for Symbolic Logic, International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science - 1965 - 494 pages
The Theory of Ontic Modalities by Uwe Meixner - 2006 - 374 pages
The theory of recursively presented models by Terrence Staples Millar - 1976 - 182 pages
The theory of sets and transfinite numbers by Brian Rotman, G. T. Kneebone - 1966 - 144 pages
The truth by Robert Firestone, Joyce Catlett - 1982 - 234 pages
The Two-Valued Iterative Systems of Mathematical Logic. (Am-5) by Emil L. Post - 1941 - 122 pages
The Undecidable by Martin Davis - 2004 - 413 pages
The undecidable by Martin Davis - 1965 - 440 pages
The universe and the teacup by K. C. Cole - 1998 - 214 pages
The Worlds of Possibility by Charles S. Chihara - 2001 - 342 pages
The Worlds of Possibility by Charles S. Chihara - 1998 - 342 pages
The young mathematician's logic by John Williams (of Catherington.) - 1760 - 32 pages
Theism and ultimate explanation by Timothy O'Connor - 2008 - 177 pages
Theorems in school by Paolo Boero - 2007 - 327 pages
Theorems, Corollaries, Lemmas, and Methods of Proof by Richard J. Rossi - 2011 - 318 pages
Theorems, corollaries, lemmas, and methods of proof by Richard J. Rossi - 2006 - 318 pages
Theoretische Informatik by Lutz Priese, Harro Wimmel - 2003 - 376 pages
Theories for admissible sets by Dr. Gerhard Jäger - 1986 - 167 pages
Theories of types and proofs by Masako Takahashi, Mitsuhiro Okada, Mariangiola Dezani-Ciancaglini, Nihon Sūgakkai - 1998 - 295 pages
Theory and practice of recursive identification by Lennart Ljung, Torsten Söderström - 1985 - 529 pages
Theory of formal systems by Raymond M. Smullyan - 1961 - 142 pages
Theory of Formal Systems. (Am-47) by Raymond M. Smullyan - 1961 - 142 pages
Theory of Formal Systems. (Am-47) by Raymond M. Smullyan - 1961 - 142 pages
Theory of Mathematical Structures by Jirí Adámek - 1983 - 328 pages
Theory of neural-analog reinforcement systems and its application to the brain-model problem by Marvin Lee Minsky - 1954 - 600 pages
Theory of recursive functions and effective computability by Hartley Rogers - 1967 - 482 pages
Theory of recursive functions and effective computability by Hartley Rogers - 1957
There is no degree invariant half-jump by Rod G. Downey, Richard A. Shore - 1996 - 14 pages
There is no plus-capping degree by Rodney G. Downey, Steffen Lempp - 1992 - 20 pages
There's Something About Gdel by Francesco Berto - 2009 - 256 pages
Thinking about Gödel and Turing by Gegory J. Chaitin - 2007 - 347 pages
This is the title of this thesis by Hiroshi Aoyama - 1988 - 212 pages
Thought and object by Andrew Woodfield - 1982 - 316 pages
Three essays on the theory of legal norms by Hannu Tapani Klami - 1986 - 54 pages
Three-valued logic and cut-elimination by J. Y. Girard - 1976 - 49 pages
Threshold logic and its applications by Saburo Muroga - 1971 - 478 pages
Threshold logic synthesis of sequential machines by G. M. Masters, United States. Army Materiel Command, NIJE-X Project Office - 1966 - 106 pages
Théorie des ensembles by N. Bourbaki - 2008 - 250 pages
Théorie des ensembles by Séminaire GMS. - 1979 - 228 pages
Théorie des ensembles by Nicolas Bourbaki - 1970 - 348 pages
Théorie des ensembles by Nicolas Bourbaki - 1970 - 346 pages
Time and modality by Arthur N. Prior - 1957 - 148 pages
Time and modality by Arthur N. Prior - 1955 - 148 pages
Topics in engineering logic by Morton Nadler - 1962 - 231 pages
Topics in Philosophy of Possible Worlds by Daniel Patrick Nolan - 2002 - 213 pages
Topics in the model theory of set theory by Ali Enayat - 1983 - 188 pages
Topological Model Theory by Jorg Flum, Jörg Flum, Martin Ziegler - 1980 - 149 pages
Topological Model Theory by Jörg Flum, Martin Ziegler - 1980 - 151 pages
Towards a general logic of propositions by Charles West Churchman - 1942 - 23 pages
Towards Mathematical Philosophy by David Clement Makinson, Jacek Malinowski, Heinrich Wansing - 2009 - 343 pages
Trace constructions in -recursion theory by David Alan Odell - 1983 - 220 pages
Tractatus Logico by Ludwig Wittgenstein - 2004 - 68 pages
Tractatus Logico-Philosophicus by Ludwig Wittgenstein, Bertrand Russell, C. K. Ogden - 2010 - 116 pages
Tractatus Logico-Philosophicus by Ludwig Wittgenstein - 2003 - 175 pages
Tractatus logico-philosophicus by Ludwig Wittgenstein, David Francis Pears, Brian McGuinness - 2003 - 106 pages
Tractatus Logico-Philosophicus by Ludwig Wittgenstein, David Francis Pears, Brian McGuinness - 2001 - 106 pages
Tractatus Logico-Philosophicus by Ludwig Wittgenstein, David Francis Pears, B F McGuinness - 2001 - 106 pages
Tractatus Logico-Philosophicus by Ludwig Wittgenstein - 1999 - 215 pages
Tractatus Logico-Philosophicus by Ludwig Wittgenstein, Charles Kay Ogden - 1990 - 207 pages
Tractatus logico-philosophicus by Ludwig Wittgenstein - 1961 - 166 pages
Tractatus logico-philosophicus by Ludwig Wittgenstein - 1955 - 207 pages
Tractatus Logico-Philosophicus by Ludwig Wittgenstein, Charles Kay Ogden - 1922 - 125 pages
Trading on the Edge by Guido Deboeck - 1994 - 377 pages
Traditional logic and the Venn diagram; a programed introduction by Victor J. Cieutat, Leonard I. Krimerman, S. Thomas Elder - 1969 - 648 pages
Traditional logic and the Venn diagram; a programed introduction by Victor J. Cieutat, Leonard I. Krimerman, S. Thomas Elder - 1969 - 648 pages
Transactions and Change in Logic Databases by Burkhard Freitag - 1998 - 396 pages
Transition to Mathematics with Proofs by Michael Cullinane - 2011 - 354 pages
Translations from the philosophical writings of Gottlob Frege by Gottlob Frege - 1952 - 244 pages
Treatise on Intuitionistic Type Theory by Johan Georg Granström - 2011 - 196 pages
Truth by Robert-Jan Milleker - 2007 - 704 pages
Truth-functional logic by John Acheson Faris - 1962 - 122 pages
Twelve Papers on Logic and Algebra by N. I. Feldman, A. V. Kuznecov, E. G. Sulgeifer, Ju. I. Manin, I. R. Safarevic, A.D. Taimanov, B.A. Trahtenbrot, A.I. Vinogradov - 1997 - 284 pages
Two Soviet studies on Frege by Boris Vladimirovich Biri︠u︡kov - 1964 - 101 pages
Type structures of aleph-zero categorical theories by Michael Charles Venning - 1976 - 74 pages
Type-2 Fuzzy Logic: Theory and Applications by Oscar Castillo, Patricia Melin - 2008 - 244 pages
Typed Lambda Calculi and Applications by Philippe de Groote - 1997 - 404 pages
Undecidable theories by Alfred Tarski - 1953 - 98 pages
Understanding symbolic logic by Virginia Klenk - 1989 - 433 pages
Understanding Symbolic Logic by Virginia Klenk - 1983 - 466 pages
Understanding symbolic logic by Gerald J. Massey - 1970 - 428 pages
Uniformities in recursively enumerable sets by Donald Alvin Alton - 1970 - 144 pages
Uniformly reflexive structures by Eric Gerhardt Wagner - 1963
Unvollständigkeit und Unentscheidbarkeit by Wolfgang Stegmüller - 1973 - 116 pages
Unvollständigkeit und Unentscheidbarkeit by Wolfgang Stegmüller - 1970 - 114 pages
Use of selected rules of logical inference and of logical fallacies by high school seniors by Sister Mary Alphonsus Martens - 1967 - 364 pages
Uses of self reference in arithmetic by Robert G. Jeroslow - 1969 - 172 pages
Using fuzzy logic by Jun Yan, Michael Ryan, James Power - 1994 - 256 pages
Vaguely Defined Objects by Maciej Wygralak - 1996 - 265 pages
Vagueness in Communication by Rick Nouwen - 2011 - 207 pages
Vakantiecursus 1999 - 1999 - 108 pages
Varieties of Constructive Mathematics by Douglas Bridges, Fred Richman - 1987 - 149 pages
Vector Analysis by Josiah Willard Gibbs, Edwin Bidwell Wilson - 1909 - 436 pages
Vorlesungen über die algebra der logik by Ernst Schröder, Jakob Lüroth, Karl Eugen Müller - 1891
Wadge Degrees and Projective Ordinals by Alexander S. Kechris, John R. Steel - 2011 - 548 pages
Wahrscheinlichkeit als Erkenntnisform by Béla Juhos, Wolfgang Katzenberger - 1970 - 155 pages
Wahrscheinlichkeit und Gesetz by Ernst Mally - 1938 - 72 pages
Ways of Proof Theory by Wolfram Pohlers - 2010 - 486 pages
Weaving self-evidence by Claude Rosental - 2008 - 294 pages
Weaving Self-Evidence by Claude Rosental - 2008 - 294 pages
What Is a Logical System? by Dov M. Gabbay - 1994 - 454 pages
What is mathematical logic? by John N. Crossley - 1972 - 82 pages
What Is Mathematical Logic? by John N. Crossley - 1972 - 82 pages
What is meant by V? by Tatiana Arrigoni - 2007 - 159 pages
What's the use of mathematics? by J. H. Webb - 1994 - 15 pages
Whitehead's concept of logic by Raymond Smith - 1953 - 179 pages
Wissenschaftlicher Briefwechsel by Gottlob Frege - 1976 - 310 pages
Wissenschaftlicher Briefwechsel by Gottlob Frege - 1976 - 310 pages
Wittgenstein's saying and showing themes by Donald W. Harward - 1976 - 71 pages
Wittgenstein's Tractatus by Erik Stenius - 1982 - 241 pages
Wittgenstein's Tractatus by Erik Stenius - 1960 - 241 pages
Wittgenstein's Tractatus by Erik Stenius - 1960 - 241 pages
Wittgenstein's Tractatus by Erik Stenius - 1960 - 241 pages
Words, Languages and Combinatorics - 1992
Worlds and Individuals, Possible and Otherwise by Takashi Yagisawa - 2009 - 314 pages
Worlds, times and selves by Arthur N. Prior, Kit Fine - 1977 - 175 pages
Wovon man schweigen muss by Christian Mann - 1994 - 262 pages
Wunschmaschine, Welterfindung - 1996 - 551 pages
Zahlen by Heinz-Dieter Ebbinghaus, Klaus Lamotke - 1983 - 288 pages
Zeichen Und Bezeichnetes by Edmund Runggaldier - 1985 - 360 pages
Zermelo's axiom of choice by Gregory H. Moore - 1982 - 410 pages
Zur logik der kulturwissenschaften by Ernst Cassirer - 1942 - 139 pages
Éléments de logique contemporaine by François Lepage - 2001 - 268 pages
Éléments de logique contemporaine by Marie-Louise Roure - 1967 - 127 pages
Алгебры Гейтинга с регулярной инволюцией by Вячеслав Юрьевич Месхи - 1990 - 52 pages
Боровшийся с бесконечным by Владимир Николаевич Катасонов - 1999 - 207 pages
Десятая проблема Гильберта by Юрий В. Матиясевич - 1993 - 223 pages
Доказательства и опровержения by Имре Лакатос - 1967 - 150 pages
Избранные труды: Математика, механика, физика by Андрей Андреевич Марков, Николай Макарович Нагорный - 2002
Избранные труды: Теория алгорифмов и конструктивная математика, математическая логика, информатика и смежные вопросы by Андрей Андреевич Марков - 2003
Исследования по математической лингвистике by Научный совет по комплексной проблеме "Кибернетика" (Академия наук СССР), Всесоюзный институт научной и технической информации (Совиет Унион) - 1972 - 297 pages
Исследования по математической линтвистике лотике и информационным языкам by Исследования по математической лингвистике, Научный совет по комплексной проблеме "Кибернетика" (Академия наук СССР), Всесоюзный институт научной и технической информации (Совиет Унион) - 1972 - 297 pages
Логика by Д. П. Горский - 1963 - 291 pages
Логика в лицах и симболах by Константин Константинович Жоль - 1993 - 254 pages
Логики Лукасевича и просте числа by А. С. Карпенко - 2000 - 318 pages
Математика и правдоподобные рассуждения by Георге Пóля, С А Яновская - 1957 - 535 pages
Математическая логика и теория алгоритмов by Юрий Леонидович Ершов - 1993 - 201 pages
Модальная логика by Юрий Васильевич Ивлев - 1991 - 221 pages
Определимость и вычислимость by Юрий Леонидович Ершов - 1996 - 264 pages
Постьс мачине by Владимир Андреевич Успенский - 1983 - 88 pages
Силлогистические теории в современной логике by Владимир Ильич Маркин - 1991 - 95 pages
Теория алгорифмов и математическая логика by Борис Абрамович Кушнер, Николай Макарович Нагорный, Андрей Андреевич Марков - 1974 - 216 pages
Теория моделей и ее применения by Юрий Леонидович Ершов - 1988 - 181 pages
Универсальная алгебра, алгебраическая логика и базы данных by Борис Исаакович Плоткин - 1991 - 448 pages
Христианство и экология by Русский христианский гуманитарный институт - 1997 - 350 pages
情報時代の論理 by 本橋信義 - 1992 - 217 pages
逻辑病例汇析 by 梁遂 - 1987 - 164 pages
1 2 3 4 5 6 7 8 9 10 11