296 treff

Dewey-nr: 511.3
Chapter zero : fundamental notions of abstract mathematics
Schumacher, Carol.
Bok Engelsk 2001 · Vis mer
Vis flere utgaver
Vis flere utgaver
The Hardy-Littlewood method
Vaughan, R. C.
Bok Engelsk 1997 · Vis mer
Vis flere utgaver
Vis flere utgaver
Modern Mathematical Logic
Mileti, Joseph,
Bok Engelsk 2022 · Vis mer
The collected works of Alonzo Church
Church, Alonzo,
Bok Engelsk 2019 · Vis mer
How to prove it : a structured approach
Daniel J. Velleman
Bok Engelsk 2019 · Vis mer
Vis flere utgaver
Vis flere utgaver
Context-free languages and primitive words
Dömösi, Pál.
Bok Engelsk 2015 · Vis mer
A computable universe : understanding and exploring nature as computation
foreword by Sir Roger Penrose, editor Hec...
Bok Engelsk 2013 · Vis mer
Mathematics of fuzzy sets and fuzzy logic
Barnabas Bede
Bok Engelsk 2013 · Vis mer
Groups and model theory : in honor of Rüdiger Göbels 70th birthday, May 30-June 3, 2011, Conference center "Die Wolfsburg", Mülheim an der Ruhr, Germany
Lutz Strüngmann ... [et al.], editors
Bok Engelsk 2012 · Vis mer
Mathematical logic for computer science
Ben-Ari, M.
Bok Engelsk 2012 · Vis mer
Formal languages in logic : a philosophical and cognitive analysis
Catarina Dutilh Novaes
Bok Engelsk 2012 · Vis mer
Independence-Friendly Logic : A Game-Theoretic Approach
Mann, Allen L.
Bok Engelsk 2011 · Vis mer
Notes on small inductively defined classes and the majorisation relation
Mathias Barra
Bok Engelsk 2009 · Vis mer
There's something about Gödel : the complete guide to the incompleteness theorem
Francesco Berto
Bok Engelsk 2009 · Vis mer
Thinking about Gödel and Turing : essays on complexity, 1970-2007
Gregory J. Chaitin ; with a foreword by P...
Bok Engelsk 2007 · Vis mer
Vis flere utgaver
Vis flere utgaver
Polymorphic Π₁ types and a simple approach to propositions, types and sets
by Ivar Rummelhoff
Bok Engelsk 2007 · Vis mer
Gödel's theorem : an incomplete guide to its use and abuse
Torkel Franzén
Bok Engelsk 2005 · Vis mer
Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions
Yves Bertot, Pierre Castéran ; foreword b...
Bok Engelsk 2004 · Vis mer
Analytic number theory
Henryk Iwaniec, Emmanuel Kowalski
Bok Engelsk 2004 · Vis mer
Papers on subrecursion theory
by Lars Kristiansen
Bok Engelsk 1996 · Les boka på nett · Vis mer
Complex networks & their applications IX. Volume 2,. Proceedings of the ninth international conference on complex networks and their applications complex networks 2020 /
Rosa M. Benito [and five others] editors....
Bok Engelsk 2021 · Vis mer
Modelling and implementation of complex systems : proceedings of the 6th International Symposium, MISC 2020, Batna, Algeria, October 24-26, 2020 /
Salim Chikhi [and four others], editors.
Bok Engelsk 2021 · Vis mer
Nonlinear analysis : problems, applications and computational methods /
Zakia Hammouch [and three others], editor...
Bok Engelsk 2021 · Vis mer
Policy decision modeling with fuzzy logic : theoretical and computational aspects : with a case study: Cuban missile crisis /
Ali Guidara.
Bok Engelsk 2021 · Vis mer
Fuzzy models in economics
Imanov, K. D.,
Bok Engelsk 2021 · Vis mer
Beyond infinity : an expedition to the outer limits of mathematics /
Eugenia Cheng.
Bok Engelsk 2017 · Vis mer
Infinity : a very short introduction
Ian Stewart
Bok Engelsk 2017 · Vis mer
Mathematics higher level : discrete mathematics : course companion
Josip Harcet ; Lorraine Heinrichs ; Palmi...
Bok Engelsk 2016 · Vis mer
A first course in mathematical logic and set theory
Michael L. O'Leary
Bok Engelsk 2016 · Vis mer
Practical aspects of the graph parameter boolean-width
Sadia Sharmin
Bok Engelsk 2014 · Vis mer