<![CDATA[PKK Library Search for 'su:{Mathematical logic.}']]>

<![CDATA[PKK Library Search for 'su:{Mathematical logic.}']]> /cgi-bin/koha/opac-search.pl?q=ccl=su%3A%7BMathematical%20logic.%7D&format=rss2 122 0 200 Beginning model theory ISBN 0 19 853157 5 /cgi-bin/koha/opac-detail.pl?biblionumber=280606 By Bridge, Jane. Oxford Clarendon Press 1977 . vii, 143p 0 19 853157 5

Place Hold on Beginning model theory

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=280606 THE DECISION PROBLEM ISBN /cgi-bin/koha/opac-detail.pl?biblionumber=292544 By Dreben, Burton. Reading, Mass. Addison-Wesley 1979 . xii,271

Place Hold on THE DECISION PROBLEM

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=292544 DEGREES OF UNSOLVABILITY ISBN /cgi-bin/koha/opac-detail.pl?biblionumber=292640 By Lerman, Manuel. Berlin Springer-Verlag 1983 . xiii,307

Place Hold on DEGREES OF UNSOLVABILITY

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=292640 UNSOLVABLE CLASSES OF QUANTIFICATIONAL FORMULAS ISBN /cgi-bin/koha/opac-detail.pl?biblionumber=292642 By Lewis, Harry R.. Reading, Mass. Addison-Wesley 1979 . xv,198

Place Hold on UNSOLVABLE CLASSES OF QUANTIFICATIONAL FORMULAS

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=292642 DEGREES OF UNSOLVABILITY ISBN /cgi-bin/koha/opac-detail.pl?biblionumber=292651 By Lerman, Manuel. Berlin Springer-Verlag 1983 . xiii,307

Place Hold on DEGREES OF UNSOLVABILITY

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=292651 HANDBOOK OF MATHEMATICAL LOGIC ISBN /cgi-bin/koha/opac-detail.pl?biblionumber=292797 Amsterdam North Holland 1983 . 1165p

Place Hold on HANDBOOK OF MATHEMATICAL LOGIC

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=292797 Introduction to mathematical logic ISBN 0442253079 /cgi-bin/koha/opac-detail.pl?biblionumber=311585 By Mendelson, Elliott. New York D. Van Nostrand 1979 . viii, 328p. 0442253079

Place Hold on Introduction to mathematical logic

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=311585 Mathematical logic for computer science ISBN /cgi-bin/koha/opac-detail.pl?biblionumber=312819 By Zhonngwan, Lu. Singapore World Scientific 1989 . ix, 248p

Place Hold on Mathematical logic for computer science

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=312819 AUTOMATED THEOREM-PROVING IN NON-CLASSICAL LOGICS ISBN 0273087819 /cgi-bin/koha/opac-detail.pl?biblionumber=321119 By Thistlewaite, Paul B.. London Pitman 1988 . 154 , Bibliography : P. 135-142 | Includes Index 0273087819

Place Hold on AUTOMATED THEOREM-PROVING IN NON-CLASSICAL LOGICS

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=321119 An Introduction to Non Classical Logic ISBN 052179434X /cgi-bin/koha/opac-detail.pl?biblionumber=341060 By Priest,Graham. Cambridge Cambridge Univ. Press 2001 . xi,242p 052179434X

Place Hold on An Introduction to Non Classical Logic

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=341060 INTERPOLATION AND DEFINABILITY ISBN 0198511744 /cgi-bin/koha/opac-detail.pl?biblionumber=357051 By Gabbay,D. M.. Clarendon Press, Oxford 2005 . xiv,508 0198511744

Place Hold on INTERPOLATION AND DEFINABILITY

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=357051 Finite model theory and its applications ISBN 9783540004288 /cgi-bin/koha/opac-detail.pl?biblionumber=359110 By Gradel, Erich...[Et. Al]. Berlin Springer 2007 . xi 9783540004288

Place Hold on Finite model theory and its applications

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=359110 Aspects of mathematical logic ISBN 9783642110788 /cgi-bin/koha/opac-detail.pl?biblionumber=368553 Berlin Springer 2010 . 285p 9783642110788

Place Hold on Aspects of mathematical logic

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=368553 Resolution proof systems ISBN 9780792340171 /cgi-bin/koha/opac-detail.pl?biblionumber=371693 By Stachniak, Zbigniew. Dordrecht Kluwer Academic 1996 . xvi, 206p 9780792340171

Place Hold on Resolution proof systems

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=371693 A logical introduction to proof ISBN 9781461436300 /cgi-bin/koha/opac-detail.pl?biblionumber=373121 By Cunningham, Daniel W.. New York Springer 2012 . xv, 356p 9781461436300

Place Hold on A logical introduction to proof

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=373121 First order mathematical logic ISBN /cgi-bin/koha/opac-detail.pl?biblionumber=390505 By Margaris , Angelo. Waltham Blaisdell Publishing 1967 . x, 211p.

Place Hold on First order mathematical logic

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=390505 Compound statements and mathematical logic ISBN /cgi-bin/koha/opac-detail.pl?biblionumber=391034 By Canelosi, Vincent E.. Columbs Chales E. Merrill Books, Inc. 1967 . xii, 114p

Place Hold on Compound statements and mathematical logic

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=391034 First course in mathematical logic ISBN /cgi-bin/koha/opac-detail.pl?biblionumber=449618 By Suppes, Patrick. New York Blaisdell Publishing 1964 . ix, 274p

Place Hold on First course in mathematical logic

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=449618 Mathmatical logic and the foundations of mathematics ISBN /cgi-bin/koha/opac-detail.pl?biblionumber=451301 By Kneebone, G.T.. London D. Van Nostrand Company Limited 1963 . viii, 435p

Place Hold on Mathmatical logic and the foundations of mathematics

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=451301 Studies in constructive mathematics and mathematical logic ISBN /cgi-bin/koha/opac-detail.pl?biblionumber=458548 New York Consultants Bureau 1969 . viii, 88p

Place Hold on Studies in constructive mathematics and mathematical logic

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=458548 Abstraction, Refinement and Proof for Probabilistic Systems ISBN 9780387270067 /cgi-bin/koha/opac-detail.pl?biblionumber=499831 By McIver, Annabelle.. . XX, 388 p. 63 illus. 9780387270067

Place Hold on Abstraction, Refinement and Proof for Probabilistic Systems

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=499831 Coordination of Large-Scale Multiagent Systems ISBN 9780387279725 /cgi-bin/koha/opac-detail.pl?biblionumber=499847 . VIII, 352 p. 15 illus. 9780387279725

Place Hold on Coordination of Large-Scale Multiagent Systems

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=499847 Adapting Proofs-as-Programs ISBN 9780387281834 /cgi-bin/koha/opac-detail.pl?biblionumber=499853 By Poernomo, Iman Hafiz.. . XII, 420 p. 54 illus. 9780387281834

Place Hold on Adapting Proofs-as-Programs

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=499853 Computation Engineering ISBN 9780387325200 /cgi-bin/koha/opac-detail.pl?biblionumber=499894 By Gopalakrishnan, Ganesh.. . XXXVI, 472 p. 9780387325200

Place Hold on Computation Engineering

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=499894 Constructing Correct Software ISBN 9781846280795 /cgi-bin/koha/opac-detail.pl?biblionumber=500004 By Cooke, John.. . XXI, 509 p. 100 illus. 9781846280795

Place Hold on Constructing Correct Software

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=500004 Theoretical Introduction to Programming ISBN 9781846282638 /cgi-bin/koha/opac-detail.pl?biblionumber=500048 By Mills, Bruce.. . XI, 358 p. 29 illus. 9781846282638

Place Hold on Theoretical Introduction to Programming

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=500048 Agent Technology from a Formal Perspective ISBN 9781846282713 /cgi-bin/koha/opac-detail.pl?biblionumber=500050 . XVI, 354 p. 9781846282713

Place Hold on Agent Technology from a Formal Perspective

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=500050 Discrete Mathematics Using a Computer ISBN 9781846285981 /cgi-bin/koha/opac-detail.pl?biblionumber=500071 By O’Donnell, John.. . XIX, 441 p. 68 illus. 9781846285981

Place Hold on Discrete Mathematics Using a Computer

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=500071 Universal Artificial Intellegence ISBN 9783540268772 /cgi-bin/koha/opac-detail.pl?biblionumber=500088 By Hutter, Marcus.. . XX, 278 p. 9783540268772

Place Hold on Universal Artificial Intellegence

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=500088 Comprehensive Mathematics for Computer Scientists 2 ISBN 9783540269373 /cgi-bin/koha/opac-detail.pl?biblionumber=500093 By Mazzola, Guerino.. . X, 355 p. 9783540269373

Place Hold on Comprehensive Mathematics for Computer Scientists 2

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=500093 A Theory of Distributed Objects ISBN 9783540272458 /cgi-bin/koha/opac-detail.pl?biblionumber=500096 By Caromel, Denis.. . XXXII, 352 p. 9783540272458

Place Hold on A Theory of Distributed Objects

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=500096 Complexity Theory ISBN 9783540274773 /cgi-bin/koha/opac-detail.pl?biblionumber=500103 By Wegener, Ingo.. . XII, 308 p. 18 illus. 9783540274773

Place Hold on Complexity Theory

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=500103 Applications of Membrane Computing ISBN 9783540299370 /cgi-bin/koha/opac-detail.pl?biblionumber=500126 . X, 441 p. 9783540299370

Place Hold on Applications of Membrane Computing

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=500126 Parameterized Complexity Theory ISBN 9783540299530 /cgi-bin/koha/opac-detail.pl?biblionumber=500128 By Flum, J�rg.. . XIII, 495 p. 9783540299530

Place Hold on Parameterized Complexity Theory

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=500128 Fuzzy-Neuro Approach to Agent Applications ISBN 9783540309840 /cgi-bin/koha/opac-detail.pl?biblionumber=500134 By Lee, Raymond S. T.. . XVIII, 376 p. 126 illus. 9783540309840

Place Hold on Fuzzy-Neuro Approach to Agent Applications

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=500134 Fundamentals of Algebraic Graph Transformation ISBN 9783540311881 /cgi-bin/koha/opac-detail.pl?biblionumber=500137 By Ehrig, Hartmut.. . XIII, 390 p. 9783540311881

Place Hold on Fundamentals of Algebraic Graph Transformation

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=500137 Formal Models of Communicating Systems ISBN 9783540329237 /cgi-bin/koha/opac-detail.pl?biblionumber=500148 By Bollig, Benedikt.. . IX, 181 p. 9783540329237

Place Hold on Formal Models of Communicating Systems

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=500148 Comprehensive Mathematics for Computer Scientists 1 ISBN 9783540368748 /cgi-bin/koha/opac-detail.pl?biblionumber=500166 By Mazzola, Guerino.. . XIV, 388 p. 9783540368748

Place Hold on Comprehensive Mathematics for Computer Scientists 1

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=500166 Robustness and Usability in Modern Design Flows ISBN 9781402065361 /cgi-bin/koha/opac-detail.pl?biblionumber=500270 By Fey, Görschwin.. . XVIII, 166 p. 9781402065361

Place Hold on Robustness and Usability in Modern Design Flows

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=500270 Ingredients for Successful System Level Design Methodology ISBN 9781402084720 /cgi-bin/koha/opac-detail.pl?biblionumber=500312 By Patel, Hiren D.. . XVI, 208 p. 9781402084720

Place Hold on Ingredients for Successful System Level Design Methodology

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=500312 Type-2 Fuzzy Logic: Theory and Applications ISBN 9783540762843 /cgi-bin/koha/opac-detail.pl?biblionumber=500520 By Castillo, Oscar.. . XIV, 244 p. 188 illus. 9783540762843

Place Hold on Type-2 Fuzzy Logic: Theory and Applications

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=500520 New Developments in Formal Languages and Applications ISBN 9783540782919 /cgi-bin/koha/opac-detail.pl?biblionumber=500581 . VII, 275 p. 9783540782919

Place Hold on New Developments in Formal Languages and Applications

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=500581 Nonlinear Dimensionality Reduction ISBN 9780387393513 /cgi-bin/koha/opac-detail.pl?biblionumber=501111 . XVII, 309 p. 9780387393513

Place Hold on Nonlinear Dimensionality Reduction

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=501111 Formal Correctness of Security Protocols ISBN 9783540681366 /cgi-bin/koha/opac-detail.pl?biblionumber=501260 By Bella, Giampaolo.. . XX, 274 p. 64 illus. 9783540681366

Place Hold on Formal Correctness of Security Protocols

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=501260 Modelling Distributed Systems ISBN 9783540739388 /cgi-bin/koha/opac-detail.pl?biblionumber=501287 By Fokkink, Wan.. . VIII, 154 p. 9783540739388

Place Hold on Modelling Distributed Systems

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=501287 The Calculus of Computation ISBN 9783540741138 /cgi-bin/koha/opac-detail.pl?biblionumber=501291 By Bradley, Aaron R.. . XVI, 366 p. 60 illus. 9783540741138

Place Hold on The Calculus of Computation

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=501291 A logical Approach to Philosophy ISBN 9781402040542 /cgi-bin/koha/opac-detail.pl?biblionumber=501545 . X, 228 p. 9781402040542

Place Hold on A logical Approach to Philosophy

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=501545 Contributions to the Science of Text and Language ISBN 9781402040689 /cgi-bin/koha/opac-detail.pl?biblionumber=501547 . XII, 352 p. 9781402040689

Place Hold on Contributions to the Science of Text and Language

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=501547 Cambridge and Vienna ISBN 9781402041013 /cgi-bin/koha/opac-detail.pl?biblionumber=501551 . XIV, 256 p. 9781402041013

Place Hold on Cambridge and Vienna

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=501551 The Age of Alternative Logics ISBN 9781402050121 /cgi-bin/koha/opac-detail.pl?biblionumber=501645 . X, 348 p. 9781402050121

Place Hold on The Age of Alternative Logics

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=501645 Laws of Nature ISBN 9783540283034 /cgi-bin/koha/opac-detail.pl?biblionumber=501699 By Mittelstaedt, Peter.. . XII, 376 p. 9783540283034

Place Hold on Laws of Nature

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=501699 New Computational Paradigms ISBN 9780387685465 /cgi-bin/koha/opac-detail.pl?biblionumber=502689 . XIV, 560 p. 9780387685465

Place Hold on New Computational Paradigms

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=502689 Sets, Logic and Maths for Computing ISBN 9781846288456 /cgi-bin/koha/opac-detail.pl?biblionumber=502762 By Makinson, David.. . XV, 302 p. 9781846288456

Place Hold on Sets, Logic and Maths for Computing

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=502762 Mathematical Linguistics ISBN 9781846289866 /cgi-bin/koha/opac-detail.pl?biblionumber=502780 By Kornai, András.. . XIV, 290 p. 9781846289866

Place Hold on Mathematical Linguistics

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=502780 A Concise Introduction to Languages and Machines ISBN 9781848001213 /cgi-bin/koha/opac-detail.pl?biblionumber=502803 By Parkes, Alan P.. . XIV, 346 p. 196 illus. 9781848001213

Place Hold on A Concise Introduction to Languages and Machines

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=502803 Line Drawing Interpretation ISBN 9781848002296 /cgi-bin/koha/opac-detail.pl?biblionumber=502816 By Cooper, Martin.. . X, 262 p. 158 illus. 9781848002296

Place Hold on Line Drawing Interpretation

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=502816 Algorithms in Invariant Theory ISBN 9783211774175 /cgi-bin/koha/opac-detail.pl?biblionumber=502824 By Sturmfels, Bernd.. . VII, 197 p. 9783211774175

Place Hold on Algorithms in Invariant Theory

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=502824 Temporal Logic and State Systems ISBN 9783540686354 /cgi-bin/koha/opac-detail.pl?biblionumber=502833 By Kr�ger, Fred.. . XII, 436 p. 34 illus. 9783540686354

Place Hold on Temporal Logic and State Systems

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=502833 Decision Procedures ISBN 9783540741053 /cgi-bin/koha/opac-detail.pl?biblionumber=502854 By Kroening, Daniel.. . XVI, 306 p. 9783540741053

Place Hold on Decision Procedures

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=502854 Logics of Specification Languages ISBN 9783540741077 /cgi-bin/koha/opac-detail.pl?biblionumber=502855 . XXII, 624 p. 69 illus. 9783540741077

Place Hold on Logics of Specification Languages

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=502855 The Arché Papers on the Mathematics of Abstraction ISBN 9781402042652 /cgi-bin/koha/opac-detail.pl?biblionumber=503007 . XXXVIII, 454 p. 9781402042652

Place Hold on The Arché Papers on the Mathematics of Abstraction

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=503007 Perspectives On Mathematical Practices ISBN 9781402050343 /cgi-bin/koha/opac-detail.pl?biblionumber=503019 . XVI, 242 p. 9781402050343

Place Hold on Perspectives On Mathematical Practices

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=503019 Handbook of Spatial Logics ISBN 9781402055874 /cgi-bin/koha/opac-detail.pl?biblionumber=503054 . XXI, 1058 p. 9781402055874

Place Hold on Handbook of Spatial Logics

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=503054 Dynamic Epistemic Logic ISBN 9781402058394 /cgi-bin/koha/opac-detail.pl?biblionumber=503080 By Ditmarsch, Hans van.. . XI, 296 p. 9781402058394

Place Hold on Dynamic Epistemic Logic

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=503080 Induction, Algorithmic Learning Theory, and Philosophy ISBN 9781402061271 /cgi-bin/koha/opac-detail.pl?biblionumber=503114 . XIV, 290 p. 9781402061271

Place Hold on Induction, Algorithmic Learning Theory, and Philosophy

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=503114 Formal Ontology and Conceptual Realism ISBN 9781402062049 /cgi-bin/koha/opac-detail.pl?biblionumber=503125 By Cocchiarella, Nino B.. . XXIV, 332 p. 9781402062049

Place Hold on Formal Ontology and Conceptual Realism

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=503125 Handbook of Philosophical Logic ISBN 9781402063244 /cgi-bin/koha/opac-detail.pl?biblionumber=503136 . XIV, 345 p. 9781402063244

Place Hold on Handbook of Philosophical Logic

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=503136 Passione per Trilli ISBN 9788847006294 /cgi-bin/koha/opac-detail.pl?biblionumber=503193 By Lucchetti, Roberto.. . XIV, 154 pagg. 9788847006294

Place Hold on Passione per Trilli

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=503193 Trends in Continuum Mechanics of Porous Media ISBN 9781402031441 /cgi-bin/koha/opac-detail.pl?biblionumber=504239 By Boer, Reint De.. . XII, 282 p. 9781402031441

Place Hold on Trends in Continuum Mechanics of Porous Media

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=504239 Fuzzy Modeling with Spatial Information for Geographic Problems ISBN 9783540268864 /cgi-bin/koha/opac-detail.pl?biblionumber=504385 . XII, 338 p. 9783540268864

Place Hold on Fuzzy Modeling with Spatial Information for Geographic Problems

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=504385 Information and Knowledge ISBN 9781402061707 /cgi-bin/koha/opac-detail.pl?biblionumber=504595 By Primiero, Giuseppe.. . IX, 208 p. 9781402061707

Place Hold on Information and Knowledge

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=504595 Constructive Negations and Paraconsistency ISBN 9781402068676 /cgi-bin/koha/opac-detail.pl?biblionumber=504629 By Odintsov, Sergei P.. . VI, 242 p. 9781402068676

Place Hold on Constructive Negations and Paraconsistency

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=504629 Modalities and Multimodalities ISBN 9781402085901 /cgi-bin/koha/opac-detail.pl?biblionumber=504683 By Carnielli, Walter.. . XIV, 304 p. 9781402085901

Place Hold on Modalities and Multimodalities

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=504683 A Geometry of Approximation ISBN 9781402086229 /cgi-bin/koha/opac-detail.pl?biblionumber=504687 . LXXXII, 704 p. 9781402086229

Place Hold on A Geometry of Approximation

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=504687 Deduction, Computation, Experiment ISBN 9788847007840 /cgi-bin/koha/opac-detail.pl?biblionumber=504751 . XII, 280 p. 9788847007840

Place Hold on Deduction, Computation, Experiment

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=504751 Essays in Constructive Mathematics ISBN 9780387271309 /cgi-bin/koha/opac-detail.pl?biblionumber=505972 By Edwards, Harold M.. . XX, 211 p. 9780387271309

Place Hold on Essays in Constructive Mathematics

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=505972 A Modern Perspective on Type Theory ISBN 9781402023354 /cgi-bin/koha/opac-detail.pl?biblionumber=506064 By Kamareddine, Fairouz.. . XIV, 360 p. 9781402023354

Place Hold on A Modern Perspective on Type Theory

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=506064 Scenario Logic and Probabilistic Management of Risk in Business and Engineering ISBN 9781402029783 /cgi-bin/koha/opac-detail.pl?biblionumber=506068 By Solojentsev, E. D.. . XVI, 392 p. 82 illus. 9781402029783

Place Hold on Scenario Logic and Probabilistic Management of Risk in Business and Engineering

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=506068 Visualization, Explanation and Reasoning Styles in Mathematics ISBN 9781402033353 /cgi-bin/koha/opac-detail.pl?biblionumber=506073 . X, 300 p. 9781402033353

Place Hold on Visualization, Explanation and Reasoning Styles in Mathematics

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=506073 Propositional and Predicate Calculus A Model of Argument ISBN 9781846282294 /cgi-bin/koha/opac-detail.pl?biblionumber=506093 By Goldrei, Derek.. . VIII, 315 p. 9781846282294

Place Hold on Propositional and Predicate Calculus A Model of Argument

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=506093 Field Arithmetic ISBN 9783540269496 /cgi-bin/koha/opac-detail.pl?biblionumber=506121 By Fried, Michael D.. . XXIII, 780 p. 9783540269496

Place Hold on Field Arithmetic

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=506121 Introduction to Modern Number Theory ISBN 9783540276920 /cgi-bin/koha/opac-detail.pl?biblionumber=506150 By Manin, Yuri Ivanovic.. . XVI, 514 p. 9783540276920

Place Hold on Introduction to Modern Number Theory

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=506150 Valued Fields ISBN 9783540300359 /cgi-bin/koha/opac-detail.pl?biblionumber=506174 By Engler, Antonio J.. . X, 208 p. 9783540300359

Place Hold on Valued Fields

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=506174 Logica Universalis ISBN 9783764373047 /cgi-bin/koha/opac-detail.pl?biblionumber=506184 . X, 228 p. 9783764373047

Place Hold on Logica Universalis

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=506184 Reconfigurable Computing ISBN 9780387261065 /cgi-bin/koha/opac-detail.pl?biblionumber=507125 By Gokhale, Maya.. . X, 238 p. 9780387261065

Place Hold on Reconfigurable Computing

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=507125 Discrete, Continuous, and Hybrid Petri Nets ISBN 9783540268215 /cgi-bin/koha/opac-detail.pl?biblionumber=507273 By David, Ren�.. . XXII, 526 p. 9783540268215

Place Hold on Discrete, Continuous, and Hybrid Petri Nets

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=507273 18 Unconventional Essays on the Nature of Mathematics ISBN 9780387298313 /cgi-bin/koha/opac-detail.pl?biblionumber=507422 . XXII, 326 p. 10 illus. 9780387298313

Place Hold on 18 Unconventional Essays on the Nature of Mathematics

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=507422 M-Solid Varieties of Algebras ISBN 9780387308067 /cgi-bin/koha/opac-detail.pl?biblionumber=507432 By Koppitz, J.. . XIV, 342 p. 9780387308067

Place Hold on M-Solid Varieties of Algebras

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=507432 Mathematical Problems from Applied Logic I ISBN 9780387310725 /cgi-bin/koha/opac-detail.pl?biblionumber=507437 . XXVIII, 348 p. 50 illus. 9780387310725

Place Hold on Mathematical Problems from Applied Logic I

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=507437 Notes on Set Theory ISBN 9780387316093 /cgi-bin/koha/opac-detail.pl?biblionumber=507448 By Moschovakis, Yiannis.. . XII, 278 p. 9780387316093

Place Hold on Notes on Set Theory

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=507448 A Concise Introduction to Mathematical Logic ISBN 9780387342412 /cgi-bin/koha/opac-detail.pl?biblionumber=507470 By Rautenberg, Wolfgang.. . XVIII, 256 p. 8 illus. 9780387342412

Place Hold on A Concise Introduction to Mathematical Logic

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=507470 Problems and Theorems in Classical Set Theory ISBN 9780387362199 /cgi-bin/koha/opac-detail.pl?biblionumber=507485 By Komjáth, Péter.. . XII, 516 p. 9780387362199

Place Hold on Problems and Theorems in Classical Set Theory

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=507485 Techniques of Constructive Analysis ISBN 9780387381473 /cgi-bin/koha/opac-detail.pl?biblionumber=507499 By Bridges, Douglas S.. . XVI, 216 p. 10 illus. 9780387381473

Place Hold on Techniques of Constructive Analysis

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=507499 More Sets, Graphs and Numbers ISBN 9783540324393 /cgi-bin/koha/opac-detail.pl?biblionumber=507604 . VIII, 399 p. 9783540324393

Place Hold on More Sets, Graphs and Numbers

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=507604 Théorie des ensembles ISBN 9783540340355 /cgi-bin/koha/opac-detail.pl?biblionumber=507629 By Bourbaki, N.. . XV, 337 p. 9783540340355

Place Hold on Théorie des ensembles

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=507629 Function Algebras on Finite Sets ISBN 9783540360230 /cgi-bin/koha/opac-detail.pl?biblionumber=507650 By Lau, Dietlinde.. . XIV, 670 p. 9783540360230

Place Hold on Function Algebras on Finite Sets

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=507650 Set Theory ISBN 9783764376925 /cgi-bin/koha/opac-detail.pl?biblionumber=507690 . VII, 406 p. 9783764376925

Place Hold on Set Theory

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=507690 Modern Formal Methods and Applications ISBN 9781402042232 /cgi-bin/koha/opac-detail.pl?biblionumber=508263 . XXIII, 197 p. 9781402042232

Place Hold on Modern Formal Methods and Applications

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=508263 A Roadmap for Formal Property Verification ISBN 9781402047589 /cgi-bin/koha/opac-detail.pl?biblionumber=508581 By DasGupta, Pallab.. . XIV, 252 p. 9781402047589

Place Hold on A Roadmap for Formal Property Verification

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=508581 Decision Theory and Multi-Agent Planning ISBN 9783211381670 /cgi-bin/koha/opac-detail.pl?biblionumber=508679 . XI, 198 p. 9783211381670

Place Hold on Decision Theory and Multi-Agent Planning

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=508679 Innovations in Fuzzy Clustering ISBN 9783540343578 /cgi-bin/koha/opac-detail.pl?biblionumber=508806 By Sato-Ilic, Mika.. . XIII, 151 p. 9783540343578

Place Hold on Innovations in Fuzzy Clustering

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=508806 Ideals, Varieties, and Algorithms ISBN 9780387356518 /cgi-bin/koha/opac-detail.pl?biblionumber=508855 By Cox, David.. . XV, 553 p. 9780387356518

Place Hold on Ideals, Varieties, and Algorithms

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=508855 Number Theory ISBN 9780817645410 /cgi-bin/koha/opac-detail.pl?biblionumber=508945 By Fine, Benjamin.. . XVI, 342 p. 12 illus. 9780817645410

Place Hold on Number Theory

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=508945 104 Number Theory Problems ISBN 9780817645618 /cgi-bin/koha/opac-detail.pl?biblionumber=508953 By Andreescu, Titu.. . XII, 204 p. 9780817645618

Place Hold on 104 Number Theory Problems

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=508953 A Beginner’s Guide to Graph Theory ISBN 9780817645809 /cgi-bin/koha/opac-detail.pl?biblionumber=508957 By Wallis, W. D.. . XX, 260 p. 160 illus. 9780817645809

Place Hold on A Beginner’s Guide to Graph Theory

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=508957 The Legacy of Mario Pieri in Geometry and Arithmetic ISBN 9780817646035 /cgi-bin/koha/opac-detail.pl?biblionumber=508963 By Marchisotto, Elena Anne.. . XIX, 494 p. 67 illus. 9780817646035

Place Hold on The Legacy of Mario Pieri in Geometry and Arithmetic

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=508963 Brouwer Meets Husserl ISBN 9781402050879 /cgi-bin/koha/opac-detail.pl?biblionumber=508970 By Atten, Mark van.. . XIII, 206 p. 9781402050879

Place Hold on Brouwer Meets Husserl

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=508970 The Strength of Nonstandard Analysis ISBN 9783211499054 /cgi-bin/koha/opac-detail.pl?biblionumber=508989 . XX, 401 p. 16 illus. 9783211499054

Place Hold on The Strength of Nonstandard Analysis

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=508989 Kolmogorov’s Heritage in Mathematics ISBN 9783540363514 /cgi-bin/koha/opac-detail.pl?biblionumber=509025 . VIII, 318 p. 38 illus. 9783540363514

Place Hold on Kolmogorov’s Heritage in Mathematics

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=509025 Ernst Zermelo ISBN 9783540495536 /cgi-bin/koha/opac-detail.pl?biblionumber=509041 By Ebbinghaus, Heinz-Dieter.. . XIV, 356 p. 42 illus. 9783540495536

Place Hold on Ernst Zermelo

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=509041 Logica Universalis ISBN 9783764383541 /cgi-bin/koha/opac-detail.pl?biblionumber=509109 . XII, 246 p. 9783764383541

Place Hold on Logica Universalis

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=509109 A Course on Mathematical Logic ISBN 9780387762777 /cgi-bin/koha/opac-detail.pl?biblionumber=509980 By Srivastava, S. M.. . X, 150 p. 9780387762777

Place Hold on A Course on Mathematical Logic

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=509980 Combinatorics and Graph Theory ISBN 9780387797113 /cgi-bin/koha/opac-detail.pl?biblionumber=510017 By Harris, John.. . XV, 381 p. 9780387797113

Place Hold on Combinatorics and Graph Theory

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=510017 Logic for Computer Scientists ISBN 9780817647636 /cgi-bin/koha/opac-detail.pl?biblionumber=510045 By Schöning, Uwe.. . IX, 168 p. 9780817647636

Place Hold on Logic for Computer Scientists

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=510045 Analysis and Synthesis of Logics ISBN 9781402067822 /cgi-bin/koha/opac-detail.pl?biblionumber=510049 By Carnielli, Walter.. . XVI, 602 p. 9781402067822

Place Hold on Analysis and Synthesis of Logics

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=510049 Field Arithmetic ISBN 9783540772705 /cgi-bin/koha/opac-detail.pl?biblionumber=510126 By Fried, Michael D.. . XXIV, 792 p. 9783540772705

Place Hold on Field Arithmetic

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=510126 Applied Proof Theory: Proof Interpretations and Their Use in Mathematics ISBN 9783540775331 /cgi-bin/koha/opac-detail.pl?biblionumber=510130 By Kohlenbach, Ulrich.. . XX, 536 p. 9783540775331

Place Hold on Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=510130 Completeness Theory for Propositional Logics ISBN 9783764385187 /cgi-bin/koha/opac-detail.pl?biblionumber=510151 By Pogorzelski, Witold A.. . VIII, 178 p. 9783764385187

Place Hold on Completeness Theory for Propositional Logics

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=510151 Institution-independent Model Theory ISBN 9783764387082 /cgi-bin/koha/opac-detail.pl?biblionumber=510167 By Diaconescu, Răzvan.. . XI, 376 p. 9783764387082

Place Hold on Institution-independent Model Theory

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=510167 Guida alla teoria degli insiemi ISBN 9788847007697 /cgi-bin/koha/opac-detail.pl?biblionumber=510198 By Lolli, Gabriele.. . XI, 148 pagg. 9788847007697

Place Hold on Guida alla teoria degli insiemi

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=510198 An introduction to non-classical logic [2nd ed.] ISBN 9780521670265 /cgi-bin/koha/opac-detail.pl?biblionumber=559731 By Priest, Graham. Cambridge Cambridge University Press 2008 . xxxii, 613p 9780521670265

Place Hold on An introduction to non-classical logic [2nd ed.]

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=559731 Impossibility results for distributed computing / ISBN 9781627051712 /cgi-bin/koha/opac-detail.pl?biblionumber=562078 By Attiya, Hagit.,. . 1 PDF (xv, 146 pages) : , Part of: Synthesis digital library of engineering and computer science. | Series from website. 9781627051712

Place Hold on Impossibility results for distributed computing /

]]> /cgi-bin/koha/opac-detail.pl?biblionumber=562078