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
2617 Titel zum Thema
im Südwestdeutschen Bibliotheksverbund (SWB), Neuerscheinungen zuerst- Logic and structure
Dalen, Dirk van. - 5th ed.. - Berlin : Springer, 2013
Details - Mathematisches Problemlösen und Beweisen : Eine Entdeckungsreise in die Mathematik [Elektronische Ressource]
/ Grieser, Daniel. - Wiesbaden : Springer Vieweg, 2013Details - Mathematisches Problemlösen und Beweisen : eine Entdeckungsreise in die Mathematik
Grieser, Daniel. - Wiesbaden : Springer Spektrum, 2013Details - Potential Wadge classes
Lecomte, Dominique. - Providence, R.I. : American Mathematical Soc., c2012Details - Cognitive science and interdisciplinary approaches to mathematical cognition
/ Bockarova, Mariana. - München : Lincom, 2012Details - Classical mathematical logic : the semantic foundations of logic [Elektronische Ressource]
/ Epstein, Richard L.. - Online-Ausg.. - Princeton, N.J : Princeton University Press, 2011Details - Axiomatizing Confident GCIs of Finite Interpretations [Elektronische Ressource]
/ Borchmann, Daniel. - Dresden : Technische Universität Dresden, 2012Details - Mathematik - Logik - Philosophie : Ideen und ihre historischen Wechselwirkungen
Löffladt, Günter. - Frankfurt am Main : Deutsch, 2012Details - Computing with Words : Principal Concepts and Ideas [Elektronische Ressource]
/ Zadeh, Lotfi A.. - Berlin, Heidelberg : Springer, 2012Details - Mathematical logic for computer science
Ben-Arî, Môtî. - 3. ed.. - London : Springer, 2012Details - Mathematical Logic for Computer Science [Elektronische Ressource]
/ Ben-Ari, Mordechai. - 3rd ed. 2012. - London : Springer London, 2012Details - Computing with Words : principal concepts and ideas
Zadeh, Lotfi A.. - Berlin : Springer, 2012Details - 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.), 2012Details - Logic: A Brief Course [Elektronische Ressource]
/ Mundici, Daniele. - Milano : Springer, 2012Details - Introduction to mathematical logic
Walicki, Michał. - New Jersey [u.a.] : World Scientific, 2012Details - Logic : a brief course
Mundici, Daniele. - Milan : Springer, 2012Details - Gödel's way : exploits into an undecidable world
Chaitin, Gregory J.. - Boca Raton, Fla. [u.a.] : CRC Press, c2012Details - Mathe-Toolbox : mathematische Notationen, Grundbegriffe und Beweismethoden
Schöning, Uwe. - 2., erw. Aufl.. - Berlin : Lehmanns, 2012Details - Graph structure and monadic second-order logic : a language-theoretic approach
Courcelle, Bruno. - 1. publ.. - Cambridge [u.a.] : Cambridge University Press, 2012Details - >Gödel's way : exploits into an undecidable world [Elektronische Ressource]
/ Chaitin, Gregory J.. - Online-Ausg.. - Boca Raton, Fla : CRC Press, c2011Details - Mathematical logic [Elektronische Ressource]
/ Tourlakis, George J.. - Online-Ausg.. - Hoboken, N.J : Wiley, c2008Details - >Generic inference : a unifying theory for automated reasoning [Elektronische Ressource]
/ Pouly, Marc. - Online-Ausg.. - Hoboken, New Jersey : Wiley, 2011Details - Trends in nonlinear analysis$Markus Kirkilionis
Kirkilionis, Markus. - Berlin : Springer, 2011Details - Gödel, Escher, Bach : ein Endloses Geflochtenes Band
Hofstadter, Douglas R.. - 13. Aufl.. - München : Dt. Taschenbuch-Verl., 2011Details - Grenzen der Mathematik : eine Reise durch die Kerngebiete der mathematischen Logik
Hoffmann, Dirk W.. - korrigierter Nachdr.. - Heidelberg : Spektrum, 2011Details - An introduction to Gödel's theorems
Smith, Peter. - 5. print.. - Cambridge [u.a.] : Cambridge Univ. Press, 2011Details - Nonmonotonic reasoning : essays celebrating its 30th anniversary
Brewka, Gerhard. - London : College Publ., 2011Details - Die Grundlagen der Arithmetik : eine logisch mathematische Untersuchung über den Begriff der Zahl
Frege, Gottlob. - [Nachdr.]. - Stuttgart : Reclam, 2011Details - Grundzüge der Logik
Quine, Willard van Orman. - 15. Aufl.. - Frankfurt am Main : Suhrkamp, 2011Details - Logic and Games on Automatic Structures : Playing with Quantifiers and Decompositions [Elektronische Ressource]
/ Kaiser, Łukasz. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Details - Logic and games on automatic structures : playing with quantifiers and decompositions
Kaiser, Łukasz. - Berlin : Springer, 2011Details - Generic inference : a unifying theory for automated inference
Pouly, Marc. - Oxford : Wiley-Blackwell, 2011Details - Models and games
Väänänen, Jouko. - 1. publ.. - Cambridge [u.a.] : Cambridge University Press, 2011Details - 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, 2011Details - Second-order quantifier elimination : foundations, computational aspects and applications
Gabbay, Dov M.. - [Nachdr.]. - London : College Publ., 2011Details - Knowledge description and galois correspondence : practical impact of a structural idea
Rodenhausen, Hermann. - Aachen : Shaker, 2011Details - Logic, language and meaning / L. T. F. Gamut
2: Intensional logic and logical grammarDetails - Definable additive categories : purity and model theory
Prest, Mike. - Providence, RI : American Mathematical Soc., 2011Details - Proofs and fundamentals : a first course in abstract mathematics
Bloch, Ethan D.. - 2. ed.. - Heidelberg : Springer, 2011Details - Proofs and Fundamentals : A First Course in Abstract Mathematics [Elektronische Ressource]
/ Bloch, Ethan D.. - New York, NY : Springer New York, 2011Details - Grenzen der Mathematik : Eine Reise durch die Kerngebiete der mathematischen Logik [Elektronische Ressource]
/ Hoffmann, Dirk W.. - Heidelberg : Spektrum Akademischer Verlag, 2011Details - Handbook of logic and language [Elektronische Ressource]
/ Benthem, Johan F. A. K. van. - 2. ed.. Online-Ausg.. - Amsterdam : Elsevier, 2011Details - Grenzen der Mathematik : eine Reise durch die Kerngebiete der mathematischen Logik
Hoffmann, Dirk W.. - Heidelberg : Spektrum, 2011Details - Representation and reality
Putnam, Hilary. - [Repr.]. - Cambridge, Mass. [u.a.] : MIT Press, 2011Details - Handbook of logic and language
Benthem, Johan F. A. K. van. - 2. ed.. - Amsterdam : Elsevier, 2011Details - The nature of computation
Moore, Cristopher. - 1. publ.. - Oxford : Oxford Univ. Press, 2011Details - Der Gödelsche Beweis
Nagel, Ernest. - 9., unveränd. Aufl.. - München : Oldenbourg, 2010Details - A mathematical introduction to logic
Enderton, Herbert B.. - 2. ed.; transf. to digital print.. - San Diego [u.a.] : Harcourt/Academic Press, 2010Details - Lectures in logic and set theory / George Tourlakis
1: Mathematical logicDetails - Laws of form
Spencer-Brown, George. - 5., rev. ed.. - Leipzig : Bohmeier, 2010Details - Mathematische Logik [Elektronische Ressource]
/ Ziegler, Martin. - Basel : Birkhäuser Basel, 2010Details - Advance discrete structure
Gupta, C. B.. - New Delhi [u.a.] : I. K. International Publ. House, 2010Details - An introduction to non-classical logic : from If to Is
Priest, Graham. - 2. ed., 3. pr.. - Cambridge [u.a.] : Cambridge Univ. Press, 2010Details - The axiom of determinacy, forcing axioms, and the nonstationary ideal
Woodin, W. Hugh. - 2., rev. ed.. - Berlin [u.a.] : de Gruyter, 2010Details - Explanation and Proof in Mathematics : Philosophical and Educational Perspectives [Elektronische Ressource]
/ Hanna, Gila. - Boston, MA : Springer US, 2010Details - Logic in computer science : modelling and reasoning about systems
Huth, Michael. - 2. ed., 6. print.. - Cambridge [u.a.] : Cambridge University Press, 2010Details - Model theory, algebra, and geometry
Haskell, Deirdre. - Digitally print. version. - Cambridge : Cambridge University Press, 2010Details - Mathematical Logic : Foundations for Information Science [Elektronische Ressource]
/ Li, Wei. - Basel : Birkhäuser Basel, 2010Details - Proofs from THE BOOK [Elektronische Ressource]
/ Aigner, Martin. - Fourth Edition. - Berlin, Heidelberg : Springer, 2010Details - A Concise Introduction to Mathematical Logic [Elektronische Ressource]
/ Rautenberg, Wolfgang. - New York, NY : Springer New York, 2010Details - A Course in Mathematical Logic for Mathematicians [Elektronische Ressource]
/ Manin, Jurij I.. - New York, NY : Springer New York, 2010Details - Saturated model theory
Sacks, Gerald E.. - 2. ed.. - Hackensack, NJ [u.a.] : World Scientific, 2010Details - How to read and do proofs : an introduction to mathematical thought processes
Solow, Daniel. - 5. ed.. - Hoboken, NJ : Wiley, 2010Details - Mathematical reasoning : patterns, problems, conjectures and proofs
Nickerson, Raymond S.. - New York [u.a.] : Psychology Press, 2010Details - Das BUCH der Beweise [Elektronische Ressource]
/ Aigner, Martin. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Details - Mathe-Toolbox : mathematische Notationen, Grundbegriffe und Beweismethoden
Schöning, Uwe. - Berlin : Lehmanns Media, 2010Details - Mathematical logic : foundations for information science
Li, Wei. - Basel : Birkhäuser, 2010Details - Proofs from The Book
Aigner, Martin. - 4. ed.. - Berlin : Springer, 2010Details - Das Buch der Beweise
Aigner, Martin. - 3. Aufl.. - Berlin : Springer, 2010Details - Introduction to mathematical logic
Mendelson, Elliott. - 5. ed.. - London [u.a.] : CRC Press, 2010Details - A course in mathematical logic for mathematicians
Manin, Jurij I.. - 2. ed.. - New York, NY : Springer, 2010Details - Mathematische Logik
Ziegler, Martin. - Basel : Birkhäuser, 2010Details - Handbook of practical logic and automated reasoning [Elektronische Ressource]
/ Harrison, John. - 1. publ.. Online-Ausg.. - Cambridge [u.a.] : Cambridge Univ. Press, 2009Details - Laws of form
Spencer-Brown, George. - 5., rev. ed.. - Leipzig : Bohmeier, 2009Details - Computability and logic
Boolos, George. - 5. ed., repr.. - Cambridge [u.a.] : Cambridge Univ. Press, 2009Details - Kitap'tan deliller
Aigner, Martin. - 1. Aufl.. - İstanbul : İstanbul Bilgi Üniversitesi, 2009Details - Proof mining in metric fixed point theory and ergodic theory [Elektronische Ressource]
/ Leuştean, Laurenţiu. - Oberwolfach : Math. Forschungsinst., 2009Details - Mathematische Grundlagen der Informatik : Mathematisches Denken und Beweisen Eine Einführung [Elektronische Ressource]
/ Meinel, Christoph. - 4., überarbeitete Auflage. - Wiesbaden : Vieweg+Teubner, 2009Details - Logik
Salmon, Wesley C.. - [Nachdr.]. - Stuttgart : Reclam, 2009Details - Mathematics of fuzziness, basic issues
Wang, Xuzhu. - Berlin : Springer, 2009Details - Introduction to metamathematics
Kleene, Stephen Cole. - Repr.. - New York : Ishi Press, 2009Details - Logische Grundlagen der Mathematik [Elektronische Ressource]
/ Schindler, Ralf. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Details - Handbook of practical logic and automated reasoning
Harrison, John. - 1. publ.. - Cambridge [u.a.] : Univ. Press, 2009Details - Conceptual structures in practice
Hitzler, Pascal. - Boca Raton, Fla. [u.a.] : CRC Press, 2009Details - Modeling Uncertainty with Fuzzy Logic : With Recent Theory and Applications [Elektronische Ressource]
/ Celikyilmaz, Asli. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Details - Mathematics of Fuzziness – Basic Issues [Elektronische Ressource]
/ Wang, Xuzhu. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Details - Proof mining in metric fixed point theory and ergodic theory
Leuştean, Laurenţiu. - Oberwolfach : Math. Forschungsinst., 2009Details - Modellbildung und Simulation : Eine anwendungsorientierte Einführung [Elektronische Ressource]
/ Bungartz, Hans-Joachim. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Details - Große Sätze und schöne Beweise der Mathematik : Identität des Schönen, Allgemeinen, Anwendbaren
Naas, Josef. - 3., korrig. u. erw. Aufl.. - Frankfurt am Main : Deutsch, 2009Details - Die Grundlagen der Arithmetik : eine logisch mathematische Untersuchung über den Begriff der Zahl
Frege, Gottlob. - [Nachdr.]. - Stuttgart : Reclam, 2009Details - Logische Grundlagen der Mathematik
Schindler, Ralf-Dieter. - Berlin : Springer, 2009Details - Modellbildung und Simulation : eine anwendungsorientierte Einführung
Bungartz, Hans-Joachim. - Berlin : Springer, 2009Details - Proof Theory : The First Step into Impredicativity [Elektronische Ressource]
/ Pohlers, Wolfram. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Details - A Course in Formal Languages, Automata and Groups [Elektronische Ressource]
/ Chiswell, Ian M.. - London : Springer London, 2009Details - Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen; eine Einführung
Meinel, Christoph. - 4., überarb. Aufl.. - Wiesbaden : Vieweg + Teubner, 2009Details - Proof theory : the first step into impredicativity
Pohlers, Wolfram. - Berlin, Heidelberg : Springer, 2009Details - A course in formal languages, automata and groups
Chiswell, Ian. - London : Springer, 2009Details - The foundations of mathematic
Sibley, Thomas Q.. - Hoboken, NJ : Wiley, 2009Details - The mathematics of logic : a guide to completeness theorems and their applications
Kaye, Richard. - Repr.. - Cambridge, NY [u.a.] : Cambridge University Press, 2008Details
