BooksSitemapMathematicsLogicC
Cabal seminar 76-77 by A. S. Kechris, Yiannis N. Moschovakis - 1978 - 282 pages
Cabal seminar 77-79 - 1981 - 274 pages
Cabal Seminar 77-79 - 1981 - 274 pages
Cabal Seminar 79-81 - 1983 - 284 pages
Cabal Seminar 79-81 by Alexander S. Kechris - 1983 - 284 pages
Cabal Seminar 81-85 by A. S. Kechris, Donald A. Martin, John R. Steel - 1988 - 224 pages
Cabal Seminar 81-85 by A. S. Kechris, Donald A. Martin, John R. Steel - 1988 - 224 pages
Calculi of pure strict implication by Edward John Lemmon, C. A. Meredith, D. Meredith - 1956 - 21 pages
Calculus Universalis by Wolfgang Lenzen - 2004 - 380 pages
Cambridge And Vienna by Maria Carla Galavotti - 2006 - 256 pages
Cambridge And Vienna by Maria Carla Galavotti - 2006 - 256 pages
Cambridge studies in advanced mathematics by George J. Tourlakis - 2003
Cambridge Summer School in Mathematical Logic by A. R. D. Mathias, H. Rogers - 1973 - 660 pages
Cambridge Summer School in Mathematical Logic by A. R. D. Mathias, Hartley Rogers - 1973 - 660 pages
Canonical analysis by James John McKeon - 1966 - 43 pages
Canonical analysis by James John McKeon - 1966 - 43 pages
Canonical expressions in Boolean algebra by Archie Blake - 1938 - 60 pages
Canonical expressions in Boolean algebra by Archie Blake - 1938 - 60 pages
Canonical expressions in Boolean algebra by Archie Blake - 1938 - 60 pages
Cardinal and ordinal numbers by Wacław Sierpiński - 1958 - 487 pages
Cardinal and ordinal numbers by Wacław Sierpiński - 1958 - 487 pages
Carnap, le symbolique et la philosophie by Xavier Verley - 2003 - 355 pages
Carnap, le symbolique et la philosophie by Xavier Verley - 2003 - 355 pages
Carnets, 1914-1916 by Ludwig Wittgenstein - 1971 - 249 pages
Cartesian closed categories of domains by A. Jung, Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands) - 1989 - 110 pages
Catalog mathematischer Modelle für den höheren mathematischen Unterricht by Martin Schilling - 1911 - 172 pages
Categorical combinators, sequential algorithms, and functional programming by Pierre-Louis Curien - 1986 - 300 pages
Categoricity by John T. Baldwin - 2009 - 235 pages
Categories and computer science by R. F. C. Walters - 1991 - 166 pages
Categories in Computer Science and Logic by John Walker Gray, Andrej Ščedrov, National Science Foundation (U.S.) - 1989 - 382 pages
Causation and Persistence by Douglas Ehring - 1997 - 191 pages
Cellular automata and complexity by Stephen Wolfram - 1994 - 596 pages
Cenni di logica enunciativa by Giorgio Sandri - 1971 - 116 pages
CH (and less) solves a set-theoretic problem of Čech by Roderick Allen Price - 1979 - 186 pages
Chance by Amir D. Aczel - 2004 - 161 pages
Chapter zero by Carol Schumacher - 2001 - 232 pages
Children's understanding of negation as a logical operation in a classification task by S. Shirley Feldman - 1968 - 312 pages
Church's Thesis After 70 Years by Alonzo Church, Adam Olszewski, Jan Woleński, Robert Janusz - 2006 - 551 pages
Cinq confʹerences sur l'indécidabilité by Nicolas Bouleau, Jean-Yves Girard, Alain Louveau - 1983 - 77 pages
Class-partition diagrams by Thomas J. Twomey - 1965 - 81 pages
Classes-Relations et Nombres by Jean Piaget - 1942 - 323 pages
Classic Papers in Combinatorics by Ira Gessel, Gian-Carlo Rota - 2008 - 489 pages
Classical Descriptive Set Theory by A. S. Kechris - 1995 - 402 pages
Classical descriptive set theory by A. S. Kechris - 1995 - 402 pages
Classical descriptive set theory by A. S. Kechris - 1995 - 402 pages
Classical Mathematical Logic by Richard L. Epstein - 2011 - 544 pages
Classical propositional operators by Krister Segerberg - 1982 - 151 pages
Classical recursion theory by Piergiorgio Odifreddi - 1999 - 949 pages
Classical recursion theory by Piergiorgio Odifreddi - 1999 - 949 pages
Classical recursion theory by Piergiorgio Odifreddi - 1989 - 668 pages
Classical sentential logic by Robert Katz - 1994 - 74 pages
Classical theory of first order logic by A. Pampapathy Rao - 1970 - 55 pages
Classification theory by John T. Baldwin - 1987 - 500 pages
Classification theory and the number of non-isomorphic models by Saharon Shelah - 1978 - 544 pages
Collected Works by Hans Hahn, Leopold Schmetterer, Karl Sigmund - 1997 - 581 pages
Collected works by Kurt Gödel, Solomon Feferman - 1995 - 532 pages
Collected works by Stanisław Leśniewski, Stanisław J. Surma, Jan T. J. Srzednicki, D. I. Barnett - 1992 - 794 pages
Collected works by Stanisław Leśniewski, Stanisław J. Surma - 1992 - 794 pages
Collected works by Stanisław Leśniewski, Stanisław J. Surma, Jan T. J. Srzednicki, D. I. Barnett - 1992 - 794 pages
Collected works by Kurt Gödel, Solomon Feferman, Association for Symbolic Logic - 1986 - 474 pages
Collection de logique mathématique by Antonio Diego - 1966 - 56 pages
Collection de logique mathématique by Jacob C. E. Dekker - 1966 - 74 pages
Collection de logique mathématique by Jan Johann Albinn Mooij - 1966 - 176 pages
Collection de logique mathématique by László Kalmár, Magyar Tudományos Akadémia. Matematikai és Fizikai Tudományok Osztálya, Bolyai János Matematikai Társulat - 1965 - 317 pages
Collection de logique mathématique by Robert Feys - 1965 - 219 pages
Collection de logique mathématique by Jean Porte - 1965 - 146 pages
Collection de logique mathématique by Andrzej Grzegorczyk - 1961 - 100 pages
Collection de logique mathématique by Hans Freudenthal - 1958 - 57 pages
Collection de logique mathématique by Dominique Dubarle - 1957 - 89 pages
Collection de logique mathématique by Evert Willem Beth - 1957 - 50 pages
Collection de logique mathématique by Evert Willem Beth - 1956 - 60 pages
Collection de logique mathématique by Leon Henkin - 1956 - 52 pages
Collection de logique mathématique by Nicole Dequoy - 1955 - 108 pages
Collection de logique mathématique by Abraham Robinson - 1955 - 186 pages
Collection de logique mathématique by Arend Heyting - 1955 - 91 pages
Collection de logique mathématique by John Barkley Rosser - 1955 - 65 pages
Collection de logique mathématique - 1954 - 176 pages
Collection de logique mathématique by Maurice Fréchet - 1953 - 213 pages
Collection de logique mathématique by Hao Wang, Robert McNaughton - 1953 - 54 pages
Collegium Logicum by Kurt Gödel Society - 1999
Collegium Logicum by Kurt Gödel Society - 1999
Collegium Logicum - 1996 - 137 pages
Collegium Logicum by Kurt Gödel Society - 1995 - 120 pages
Collegium logicum - 1995 - 122 pages
Collegium Logicum by Kurt Gödel Society - 1995 - 120 pages
Colloque international de logique by Centre national de la recherche scientifique (France) - 1977 - 224 pages
Colloque international de logique by Centre national de la recherche scientifique (France) - 1977 - 224 pages
Colloquium on the foundations of mathematics, mathematical machines and their applications - 1965 - 317 pages
Colloquium on the Foundations of Mathematics, Mathematical Machines, and Their Applications by Magyar Tudományos Akadémia. Matematikai és Fizikai Tudományok Osztálya, Bolyai János Matematikai Társulat - 1965 - 317 pages
Coloquio sobre Lógica Simbólica, Madrid febrero 1975 by Universidad Complutense de Madrid. Centro de Cálculo - 1975 - 176 pages
Combinatorial number-theory by Muhammad Ali McBeth - 1994 - 430 pages
Combinatorial Set Theory by Lorenz J. Halbeisen - 2011 - 453 pages
Combinators, -terms and Proof Theory by Sören Stenlund - 1972 - 184 pages
Combinatory logic by Haskell Brooks Curry - 1972 - 520 pages
Combinatory logic by Haskell Brooks Curry - 1972 - 520 pages
Combinatory Logic by Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin - 1972 - 520 pages
Combinatory logic by Haskell Brooks Curry, Robert Feys - 1958 - 417 pages
Combinatory Logic by Haskell Brooks Curry, Robert Feys - 1958
Compact and [Greek letter omega]-compact formulas by Bonnie Gold - 1976 - 64 pages
Compactness in algebraic structures by Günter H. Wenzel - 1968 - 308 pages
Completeness properties of classical theories of finite type and the normal form theorem by Peter Päppinghaus - 1983 - 66 pages
Completeness Theory for Propositional Logics by Witold Pogorzelski, Piotr Wojtylak - 2008 - 178 pages
Complex Systems Dynamics by Gérard Weisbuch - 1991 - 208 pages
Complex Systems Dynamics by Gérard Weisbuch - 1991 - 208 pages
Complexity of proofs and their transformations in axiomatic theories by V. P. Orevkov - 1993 - 153 pages
Complexity of Proofs and Their Transformations in Axiomatic Theories by V. P. Orevkov - 1993 - 153 pages
Complexité aléatoire et complexité organisée by Jean-Paul Delahaye - 2010
Complexité aléatoire et complexité organisée by Jean-Paul Delahaye - 2009 - 76 pages
Compound statements and mathematical logic by Vincent E. Cangelosi - 1967 - 114 pages
Comprendiendo el infinito by Shaughan Lavine - 2005 - 406 pages
Compressive strength of concrete at temperatures to 1,600F by Melvin S Abrams, Portland Cement Association. Research and Development Laboratories - 1973 - 11 pages
Computability by Douglas S. Bridges - 1994 - 178 pages
Computability by Richard L. Epstein, Walter Alexandre Carnielli - 1989 - 297 pages
Computability & unsolvability by Martin Davis - 1982 - 248 pages
Computability & unsolvability by Martin Davis - 1958 - 210 pages
Computability and decidability by Jacques Loeckx - 1972 - 76 pages
Computability and Logic by George Boolos, John P. Burgess, Richard C. Jeffrey - 2002 - 356 pages
Computability and logic by Daniel E. Cohen - 1987 - 243 pages
Computability and logic by Daniel E. Cohen - 1987 - 243 pages
Computability and logic by Daniel E. Cohen - 1987 - 243 pages
Computability and logic by George Boolos, Richard C. Jeffrey - 1974 - 262 pages
Computability and logic by George Boolos, Richard C. Jeffrey - 1974 - 262 pages
Computability and Models by S. Barry Cooper, S. S. Goncharov - 2003 - 375 pages
Computability and Unsolvability by Martin Davis - 1958 - 248 pages
Computability in analysis and physics by Marian Boykan Pour-El, Jonathan Ian Richards - 1989 - 206 pages
Computability of design by Yehuda E. Kalay - 1987 - 363 pages
Computability of design by Yehuda E. Kalay - 1987 - 363 pages
Computability Theory and Its Applications by Peter Cholak - 2000 - 320 pages
Computability theory, semantics, and logic programming by Melvin Fitting - 1987 - 198 pages
Computability theory: an introduction by Neil D. Jones - 1973 - 154 pages
Computability theory: an introduction by Neil D. Jones - 1973 - 154 pages
Computabilità e ricorsività by Ettore Casari - 1959 - 107 pages
Computable analysis by Stanisław Mazur - 1963 - 110 pages
Computable Functions by Nikolai Konstantinovich Vereshchagin, Alexander Shen - 2003 - 166 pages
Computable set theory by Domenico Cantone, Alfredo Ferro, Eugenio Omodeo - 1989 - 360 pages
Computable set theory by Domenico Cantone, Alfredo Ferro, Eugenio Omodeo - 1989 - 360 pages
Computation and proof theory by Michael M. Richter - 1984 - 475 pages
Computation and proof theory by M. M. Richter, E. Borger, W. Oberschelp, B. Schinzel, W. Thomas - 1984 - 483 pages
Computation and proof theory by Michael M. Richter - 1984 - 475 pages
Computation and proof theory by Michael M. Richter - 1984 - 475 pages
Computational aspects of linear logic by Patrick D. Lincoln - 1992 - 466 pages
Computer science and multiple-valued logic by David C. Rine - 1984 - 641 pages
Computer science logic by Jörg Flum, Mario Rodríguez Artalejo - 1999 - 580 pages
Computer science logic by Jörg Flum, Mario Rodríguez Artalejo - 1999 - 580 pages
Computerized plant community classification by Léonie Bernadette Nadeau, Ian George William Corns, Chao Li, Northern Forestry Centre (Canada) - 2002 - 22 pages
Computerized plant community classification by Léonie Bernadette Nadeau, Ian George William Corns, Chao Li, Northern Forestry Centre (Canada) - 2002 - 22 pages
Computing and logic, mathematics and language by Glenn Jay Satty, Thomas J. Blakeley, James G. Colbert - 1988 - 222 pages
Concepts and Fuzzy Logic by Radim Bělohlávek, George J. Klir - 2011 - 274 pages
Concepts for using modeling as a research tool by United States. Agricultural Research Service. Office of Administrator - 1978 - 31 pages
Conditional and Preferential Logics by Gian Luca Pozzato - 2010 - 200 pages
Conditional Term Rewriting Systems by Stéphane Kaplan, Jean-Pierre Jouannaud - 1988 - 278 pages
Conditionals by Nicholas Rescher - 2007 - 246 pages
Conditionals by Frank Jackson - 1991 - 238 pages
Conference in Mathematical Logic, London '70 by Wilfrid Hodges - 1972 - 351 pages
Conference on automata, languages and programming systems, held in Salgotarjan, Hungary, May 19-22, 1986 by F. Gécseg, István Peák, Marx Károly Közgazdaságtudományi Egyetem. Matematika Tanszék - 1986 - 328 pages
Conference record of the ... International Symposium on Multiple-Valued Logic by University of Toronto - 1973
Conference record of the ... Symposium on the Theory and Applications of Multiple-Valued Logic Design by State University of New York at Buffalo, United States. Office of Naval Research. Information Systems Branch, State University of New York at Buffalo. Electrical Engineering Dept, IEEE Computer Society - 1972
Conference record of the ... Symposium on the Theory and Applications of Multiple-Valued Logic Design by State University of New York at Buffalo, United States. Office of Naval Research. Information Systems Branch, State University of New York at Buffalo. Electrical Engineering Dept, IEEE Computer Society - 1971
Conference record of the 1972 Symposium on the Theory and Applications of Multiple-Valued Logic Design, Buffalo, New York, May 25-26, 1972 by State University of New York at Buffalo, United States. Office of Naval Research, IEEE Computer Society - 1972 - 209 pages
Constructibility by Keith J. Devlin - 1984 - 425 pages
Constructibility by Keith J. Devlin - 1984 - 425 pages
Constructive Mathematics by Fred Richman - 1981 - 347 pages
Constructive models by I︠U︡riĭ Leonidovich Ershov, S. S. Goncharov - 2000 - 293 pages
Constructive Negations and Paraconsistency by Sergei P. Odintsov - 2008 - 242 pages
Constructive order types by John N. Crossley - 1969 - 225 pages
Constructive order types by John N. Crossley - 1969 - 225 pages
Constructivity in mathematics - 1959 - 297 pages
Constructivity in mathematics by Arend Heyting - 1959 - 297 pages
Contemporary perspectives on logicism and the foundation of mathematics - 2007 - 208 pages
Continuity and number by Boris Goussinsky - 1959 - 31 pages
Contra sofistas by Juan Rivano - 1966 - 129 pages
Contradiction et Verite Etude sur les Fondements et la Portee Epistemologique D'une Logique Contradictorielle by Lorenzo Peña - 1979
Contributions to [alpha]- and [beta]-recursion theory by Wolfgang Maass - 1978 - 107 pages
Contributions to mathematical logic by International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science - 1968 - 298 pages
Contributions to the Founding of the Theory of Transfinite Numbers by Georg Cantor - 1915 - 211 pages
Contributions to the Founding of the Theory of Transfinite Numbers by Georg Cantor - 1911 - 211 pages
Contributions to the theory of clumps by Arthur Frederick Parker-Rhodes, R. M. Needham, Cambridge Language Research Unit - 1961 - 34 pages
Convex sets by Frederick Albert Valentine - 1964 - 238 pages
Convolution of robust functions - 2002 - 25 pages
Cornerstones of undecidability by Grzegorz Rozenberg, Arto Salomaa - 1994 - 197 pages
Countably indexed ultrafilters by David Douglas Booth - 1969 - 82 pages
Cours de logique et philosphie générale by Jean-Louis Destouches - 1950 - 115 pages
Cours de logique mathematique by Roland Fraïssé - 1971
Cours de logique mathématique by Roland Fraïssé - 1967 - 186 pages
Cours de théorie des modeles by Bruno Poizat - 1985 - 584 pages
Course (1 Semester) on the Linear Continuum by Raymond Louis Wilder, University of Colorado. Dept. of Mathematics - 1953 - 26 pages
Course of Mathematical Logic by Roland Fraïssé, David Louvish - 1974 - 211 pages
Course of Mathematical Logic by Roland Fraïssé - 1974 - 211 pages
Course of Mathematical Logic: Relation and logical formula by Roland Fraïssé - 1973
Critica dei principî della matematica e questioni di logica by Ugo Cassina - 1961 - 518 pages
Critical Approaches to Science and Philosophy by Mario Augusto Bunge - 1964 - 480 pages
Cuadernos del sur by Universidad Nacional del Sur. Departamento de Humanidades - 1993
Cuadernos del sur by Universidad Nacional del Sur. Departamento de Humanidades - 1993
Current issues in quantum logic by Enrico G. Beltrametti, Bas C. Van Fraassen - 1981 - 492 pages
Current issues in quantum logic by Enrico G. Beltrametti, Bas C. Van Fraassen - 1981 - 492 pages
Current topics in computational mechanics by G. M. Hulbert, American Society of Mechanical Engineers. Pressure Vessels and Piping Division - 1995 - 445 pages
Cut-elimination for full intuitionistic linear logic by Torben Braüner, Valeria De Paiva, University of Cambridge. Computer Laboratory - 1996 - 27 pages
CWI tracts by Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands), Theo M. V. Janssen - 1986
Cylindric Algebras by Léon Henkin, James Donald Monk, Alfred Tarski - 1985 - 302 pages
Cylindric algebras by Léon Henkin, James Donald Monk, Alfred Tarski - 1985 - 302 pages
1 2