Skip to content.
Search
Sitemap
Mathematik / Monographien / Logik und Grundlagen, Metamathematik, « Zurück

Logik und Grundlagen, Metamathematik,

Regensburger Verbundklassifikation  SK.130
SK 130: Nonstandard-Analysis (einschl. Grundlagen der Analysis), Aufbau des Zahlensystems, Modelltheorie, Prädikatenkalkül, Beweistheorie, Unentscheidbarkeit, zwei- und mehrwertige Logik, Formale Sprachen, Semantik und Linguistik, Boolesche Algebren, Abstrakte Automaten

2717 Titel zum Thema

im Südwestdeutschen Bibliotheksverbund (SWB), Neuerscheinungen zuerst
  • EAGLE-STARTHILFE Grundbegriffe der Mathematik : Logik – Mengen – Relationen und Funktionen – Zahlbegriff
    Huber, Martin. - Leipzig : Ed. am Gutenbergplatz, 2014   Details
  • Simplicity theory
    Kim, Byunghan. - 1. ed.. - Oxford : Oxford University Press, 2014   Details
  • Gödel, Escher, Bach : ein endloses geflochtenes Band
    Hofstadter, Douglas R.. - 19. Aufl.. - Stuttgart : Klett-Cotta, 2013   Details
  • Visualization of Conceptual Data with Methods of Formal Concept Analysis [Elektronische Ressource]
    / Kriegel, Francesco. - Online-Ausg.. - 2013   Details
  • >Irreducibility and Computational Equivalence : 10 Years After Wolfram's A New Kind of Science [Elektronische Ressource]
    / Zenil, Hector. - Online-Ausg.. - Dordrecht : Springer, 2013   Details
  • Mathematical reasoning : analogies, metaphors, and images [Elektronische Ressource]
    / English, Lyn D.. - Online-Ausg.. - Mahwah, N.J : L. Erlbaum Associates, 1997   Details
  • Gödel, Escher, Bach : ein Endloses Geflochtenes Band
    Hofstadter, Douglas R.. - Ungek. Ausg., 14. Aufl.. - München : Dt. Taschenbuch-Verl., 2013   Details
  • Mathematische Grundlagen für die Informatik : Mengen, Logik, Rekursion
    Witt, Kurt-Ulrich. - Wiesbaden : Springer-Vieweg, 2013   Details
  • Mathematische Grundlagen für die Informatik : Mengen, Logik, Rekursion [Elektronische Ressource]
    / Witt, Kurt-Ulrich. - Wiesbaden : Springer Vieweg, 2013   Details
  • Contributions to the 11th International Conference on Formal Concept Analysis : Dresden, Germany, May 21 - 24, 2013 [Elektronische Ressource]
    / Cellier, Peggy. - Online-Ausg.. - Dresden : Technische Universität Dresden, Fakultät Mathematik und Naturwissenschaften, Professur für Algebraische Strukturtheorie, 2013   Details
  • Dialektičeskie osnovy matematiki
    Losev, Aleksej F.. - Moskva : Academia, 2013   Details
  • Logic and structure
    Dalen, Dirk van. - 5th ed.. - Berlin : Springer, 2013   Details
  • Bezaubernde Beweise : eine Reise durch die Eleganz der Mathematik
    Alsina, Claudi. - Berlin : Springer Spektrum, 2013   Details
  • Irreducibility and computational equivalence : 10 Years after Wolfram's A new kind of science
    Zenil, Hector. - Berlin : Springer, 2013   Details
  • Mathematisches Problemlösen und Beweisen : Eine Entdeckungsreise in die Mathematik [Elektronische Ressource]
    / Grieser, Daniel. - Wiesbaden : Springer Vieweg, 2013   Details
  • Logic and Structure [Elektronische Ressource]
    / Dalen, Dirk. - 5th ed. 2013. - London : Springer, 2013   Details
  • Mathematisches Problemlösen und Beweisen : eine Entdeckungsreise in die Mathematik
    Grieser, Daniel. - Wiesbaden : Springer Spektrum, 2013   Details
  • The nature of computation
    Moore, Cristopher. - Repr.. - Oxford : Oxford Univ. Press, 2012   Details
  • The Haskell road to logic, maths and programming
    Doets, Kees. - 2. ed.. - [London] : College Publ., 2012   Details
  • >Graph Structure and Monadic Second-Order Logic : A Language-Theoretic Approach [Elektronische Ressource]
    / Courcelle, Bruno. - Online-Ausg.. - Cambridge : Cambridge University Press, 2012   Details
  • Gödel's way : exploits into an undecidable world [Elektronische Ressource]
    / Chaitin, Gregory J.. - Online-Ausg.. - Boca Raton : CRC Press, c2012   Details
  • Conceptual factors and fuzzy data
    Glodeanu, Cynthia-Vera. - 2012 [Hochschulschrift]   Details
  • Conceptual factors and fuzzy data [Elektronische Ressource]
    / Glodeanu, Cynthia-Vera. - Online-Ausg.. - 2012   Details
  • Potential Wadge classes
    Lecomte, Dominique. - Providence, R.I. : American Mathematical Soc., c2012   Details
  • Cognitive science and interdisciplinary approaches to mathematical cognition
    / Bockarova, Mariana. - München : Lincom, 2012   Details
  • Classical mathematical logic : the semantic foundations of logic [Elektronische Ressource]
    / Epstein, Richard L.. - Online-Ausg.. - Princeton, N.J : Princeton University Press, 2011   Details
  • Axiomatizing Confident GCIs of Finite Interpretations [Elektronische Ressource]
    / Borchmann, Daniel. - Dresden : Technische Universität Dresden, 2012   Details
  • Mathematik - Logik - Philosophie : Ideen und ihre historischen Wechselwirkungen
    Löffladt, Günter. - Frankfurt am Main : Deutsch, 2012   Details
  • Computing with Words : Principal Concepts and Ideas [Elektronische Ressource]
    / Zadeh, Lotfi A.. - Berlin, Heidelberg : Springer, 2012   Details
  • Mathematical logic for computer science
    Ben-Arî, Môtî. - 3. ed.. - London : Springer, 2012   Details
  • Mathematical Logic for Computer Science [Elektronische Ressource]
    / Ben-Ari, Mordechai. - 3rd ed. 2012. - London : Springer London, 2012   Details
  • Computing with Words : principal concepts and ideas
    Zadeh, Lotfi A.. - Berlin : Springer, 2012   Details
  • Einführung in das mathematische Denken : die Begriffsbildung der modernen Mathematik
    Waismann, Friedrich. - 5., mit einem neuen Vorwort vers. Aufl., Reprograph. Nachdr. der 2. Aufl., Wien, Gerold, 1947. - Darmstadt : WBG (Wiss. Buchges.), 2012   Details
  • Logic: A Brief Course [Elektronische Ressource]
    / Mundici, Daniele. - Milano : Springer, 2012   Details
  • Introduction to mathematical logic
    Walicki, Michał. - New Jersey [u.a.] : World Scientific, 2012   Details
  • Logic : a brief course
    Mundici, Daniele. - Milan : Springer, 2012   Details
  • Gödel's way : exploits into an undecidable world
    Chaitin, Gregory J.. - Boca Raton, Fla. [u.a.] : CRC Press, c2012   Details
  • Mathe-Toolbox : mathematische Notationen, Grundbegriffe und Beweismethoden
    Schöning, Uwe. - 2., erw. Aufl.. - Berlin : Lehmanns, 2012   Details
  • Graph structure and monadic second-order logic : a language-theoretic approach
    Courcelle, Bruno. - 1. publ.. - Cambridge [u.a.] : Cambridge University Press, 2012   Details
  • >Generic Inference : A Unifying Theory for Automated Reasoning [Elektronische Ressource]
    / Pouly, Marc. - Online-Ausg.. - Hoboken : Wiley, 2011   Details
  • >Mathematical Logic [Elektronische Ressource]
    / Tourlakis, George. - Online-Ausg.. - Hoboken : Wiley, 2011   Details
  • >Mathematical Reasoning : Patterns, Problems, Conjectures, and Proofs [Elektronische Ressource]
    / Nickerson, Raymond. - Online-Ausg.. - Hoboken : Taylor and Francis, 2011   Details
  • >A Concrete Approach to Mathematical Modelling [Elektronische Ressource]
    / Mesterton-Gibbons, Mike. - Online-Ausg.. - Hoboken : Wiley, 2011   Details
  • Generic inference : a unifying theory for automated reasoning [Elektronische Ressource]
    / Pouly, Marc. - Online-Ausg.. - Hoboken, New Jersey : Wiley, c2011   Details
  • Models and games [Elektronische Ressource]
    / Väänänen, J.. - Online-Ausg.. - Cambridge : Cambridge University Press, 2011   Details
  • Handbook of logic and language [Elektronische Ressource]
    / Benthem, Johan F. A. K. van. - 2nd ed (Online-Ausg.). - Amsterdam : Elsevier, 2011   Details
  • Gödel's theorem in focus [Elektronische Ressource]
    / Shanker, Stuart. - Online-Ausg.. - London : Routledge, 1990, c1988   Details
  • >Classical Mathematical Logic : The Semantic Foundations of Logic [Elektronische Ressource]
    / Epstein, Richard L.. - Online-Ausg.. - Princeton : Princeton University Press, 2011   Details
  • >Models and Games [Elektronische Ressource]
    / Väänänen, Jouko. - Online-Ausg.. - Cambridge : Cambridge University Press, 2011   Details
  • >Gödel's way : exploits into an undecidable world [Elektronische Ressource]
    / Chaitin, Gregory J.. - Online-Ausg.. - Boca Raton, Fla : CRC Press, c2011   Details
  • Mathematical logic [Elektronische Ressource]
    / Tourlakis, George J.. - Online-Ausg.. - Hoboken, N.J : Wiley, c2008   Details
  • >Generic inference : a unifying theory for automated reasoning [Elektronische Ressource]
    / Pouly, Marc. - Online-Ausg.. - Hoboken, New Jersey : Wiley, 2011   Details
  • Trends in nonlinear analysis$Markus Kirkilionis
    Kirkilionis, Markus. - Berlin : Springer, 2011   Details
  • Gödel, Escher, Bach : ein Endloses Geflochtenes Band
    Hofstadter, Douglas R.. - 13. Aufl.. - München : Dt. Taschenbuch-Verl., 2011   Details
  • Grenzen der Mathematik : eine Reise durch die Kerngebiete der mathematischen Logik
    Hoffmann, Dirk W.. - korrigierter Nachdr.. - Heidelberg : Spektrum, 2011   Details
  • An introduction to Gödel's theorems
    Smith, Peter. - 5. print.. - Cambridge [u.a.] : Cambridge Univ. Press, 2011   Details
  • Nonmonotonic reasoning : essays celebrating its 30th anniversary
    Brewka, Gerhard. - London : College Publ., 2011   Details
  • Die Grundlagen der Arithmetik : eine logisch mathematische Untersuchung über den Begriff der Zahl
    Frege, Gottlob. - [Nachdr.]. - Stuttgart : Reclam, 2011   Details
  • Grundzüge der Logik
    Quine, Willard van Orman. - 15. Aufl.. - Frankfurt am Main : Suhrkamp, 2011   Details
  • Logic and Games on Automatic Structures : Playing with Quantifiers and Decompositions [Elektronische Ressource]
    / Kaiser, Łukasz. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011   Details
  • Logic and games on automatic structures : playing with quantifiers and decompositions
    Kaiser, Łukasz. - Berlin : Springer, 2011   Details
  • Generic inference : a unifying theory for automated inference
    Pouly, Marc. - Oxford : Wiley-Blackwell, 2011   Details
  • Models and games
    Väänänen, Jouko. - 1. publ.. - Cambridge [u.a.] : Cambridge University Press, 2011   Details
  • Logic programming, knowledge representation, and nonmonotonic reasoning : essays dedicated to Michael Gelfond on the occasion of his 65th birthday
    Balduccini, Marcello. - Berlin : Springer, 2011 [Festschrift]   Details
  • Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning : Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday [Elektronische Ressource]
    / Balduccini, Marcello. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011   Details
  • Second-order quantifier elimination : foundations, computational aspects and applications
    Gabbay, Dov M.. - [Nachdr.]. - London : College Publ., 2011   Details
  • Knowledge description and galois correspondence : practical impact of a structural idea
    Rodenhausen, Hermann. - Aachen : Shaker, 2011   Details
  • Logic, language and meaning / L. T. F. Gamut
    2: Intensional logic and logical grammar   Details
  • Definable additive categories : purity and model theory
    Prest, Mike. - Providence, RI : American Mathematical Soc., 2011   Details
  • Proofs and fundamentals : a first course in abstract mathematics
    Bloch, Ethan D.. - 2. ed.. - Heidelberg : Springer, 2011   Details
  • Proofs and Fundamentals : A First Course in Abstract Mathematics [Elektronische Ressource]
    / Bloch, Ethan D.. - New York, NY : Springer New York, 2011   Details
  • Grenzen der Mathematik : Eine Reise durch die Kerngebiete der mathematischen Logik [Elektronische Ressource]
    / Hoffmann, Dirk W.. - Heidelberg : Spektrum Akademischer Verlag, 2011   Details
  • Handbook of logic and language [Elektronische Ressource]
    / Benthem, Johan F. A. K. van. - 2. ed.. Online-Ausg.. - Amsterdam : Elsevier, 2011   Details
  • Grenzen der Mathematik : eine Reise durch die Kerngebiete der mathematischen Logik
    Hoffmann, Dirk W.. - Heidelberg : Spektrum, 2011   Details
  • Representation and reality
    Putnam, Hilary. - [Repr.]. - Cambridge, Mass. [u.a.] : MIT Press, 2011   Details
  • Handbook of logic and language
    Benthem, Johan F. A. K. van. - 2. ed.. - Amsterdam : Elsevier, 2011   Details
  • The nature of computation
    Moore, Cristopher. - 1. publ.. - Oxford : Oxford Univ. Press, 2011   Details
  • Mathematical reasoning : patterns, problems, conjectures, and proofs [Elektronische Ressource]
    / Nickerson, Raymond S.. - Online-Ausg.. - New York : Psychology Press, c2010   Details
  • The axiom of determinacy, forcing axioms, and the nonstationary ideal [Elektronische Ressource]
    / Woodin, W. Hugh. - 2nd rev. ed (Online-Ausg.). - Berlin : De Gruyter, c2010   Details
  • Model theory : an introduction
    Marker, David. - [Softcover version of original hardcover edition 2002]. - New York, NY : Springer, 2010   Details
  • Der Gödelsche Beweis
    Nagel, Ernest. - 9., unveränd. Aufl.. - München : Oldenbourg, 2010   Details
  • A mathematical introduction to logic
    Enderton, Herbert B.. - 2. ed.; transf. to digital print.. - San Diego [u.a.] : Harcourt/Academic Press, 2010   Details
  • Lectures in logic and set theory / George Tourlakis
    1: Mathematical logic   Details
  • Modal logic
    Blackburn, Patrick. - 4. print. with corr.. - Cambridge [u.a.] : Cambridge Univ. Press, 2010   Details
  • Laws of form
    Spencer-Brown, George. - 5., rev. ed.. - Leipzig : Bohmeier, 2010   Details
  • Mathematische Logik [Elektronische Ressource]
    / Ziegler, Martin. - Basel : Birkhäuser Basel, 2010   Details
  • Advance discrete structure
    Gupta, C. B.. - New Delhi [u.a.] : I. K. International Publ. House, 2010   Details
  • An introduction to non-classical logic : from If to Is
    Priest, Graham. - 2. ed., 3. pr.. - Cambridge [u.a.] : Cambridge Univ. Press, 2010   Details
  • The axiom of determinacy, forcing axioms, and the nonstationary ideal
    Woodin, W. Hugh. - 2., rev. ed.. - Berlin [u.a.] : de Gruyter, 2010   Details
  • Explanation and Proof in Mathematics : Philosophical and Educational Perspectives [Elektronische Ressource]
    / Hanna, Gila. - Boston, MA : Springer US, 2010   Details
  • Logic in computer science : modelling and reasoning about systems
    Huth, Michael. - 2. ed., 6. print.. - Cambridge [u.a.] : Cambridge University Press, 2010   Details
  • Model theory, algebra, and geometry
    Haskell, Deirdre. - Digitally print. version. - Cambridge : Cambridge University Press, 2010   Details
  • Mathematical Logic : Foundations for Information Science [Elektronische Ressource]
    / Li, Wei. - Basel : Birkhäuser Basel, 2010   Details
  • Proofs from THE BOOK [Elektronische Ressource]
    / Aigner, Martin. - Fourth Edition. - Berlin, Heidelberg : Springer, 2010   Details
  • A Concise Introduction to Mathematical Logic [Elektronische Ressource]
    / Rautenberg, Wolfgang. - New York, NY : Springer New York, 2010   Details
  • A Course in Mathematical Logic for Mathematicians [Elektronische Ressource]
    / Manin, Jurij I.. - New York, NY : Springer New York, 2010   Details
  • Saturated model theory
    Sacks, Gerald E.. - 2. ed.. - Hackensack, NJ [u.a.] : World Scientific, 2010   Details
  • How to read and do proofs : an introduction to mathematical thought processes
    Solow, Daniel. - 5. ed.. - Hoboken, NJ : Wiley, 2010   Details
  • Mathematical reasoning : patterns, problems, conjectures and proofs
    Nickerson, Raymond S.. - New York [u.a.] : Psychology Press, 2010   Details
  • Das BUCH der Beweise [Elektronische Ressource]
    / Aigner, Martin. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010   Details
1 [101] ... [2701]
Erstellt von: BibScout
täglich aktualisiert