Explore: *mathematical Logic

“Computability” Metadata:

• Title: Computability
• Authors: Richard L. EpsteinRichard .L. EpsteinWalter Alexandr Carnielli
• Language: English
• Number of Pages: Median: 309
• Publisher: ➤  Brooks/Cole Advanced Books & Software - Chapman & Hall/CRC - Advanced Reasoning Forum
• Publish Date: 1988 - 1990 - 2008
• Publish Location: Pacific Grove, Calif

“Computability” Subjects and Themes:

• Subjects: ➤  Computable functions - Logic, Symbolic and mathematical - Symbolic and mathematical Logic - Mathematical logic - Mathematics - Computer Logic - Science/Mathematics - Logic - Set Theory - Mathematics / Set Theory - Logic, Symbolic and mathematic

Edition Identifiers:

• The Open Library ID: OL33980052M - OL33978420M - OL7783425M - OL21512179M
• Online Computer Library Center (OCLC) ID: 19518272
• Library of Congress Control Number (LCCN): 89007097
• All ISBNs: ➤  0981550746 - 0534103561 - 9780534103569 - 9780981550749 - 9780981550732 - 0981550738

“Invariant sets for Windows” Metadata:

• Title: Invariant sets for Windows
• Authors: Timothy N. DragunovSvetlana A. BoykovaOlga V. Malysheva
• Language: English
• Number of Pages: Median: 259
• Publisher: ➤  World Scientific Publishing Company - World Scientific - World Scientific Publishing Co Pte Ltd
• Publish Date: 1999
• Publish Location: River Edge, N.J - Singapore

“Invariant sets for Windows” Subjects and Themes:

• Subjects: ➤  Graphic methods - WInSet - Invariant sets - Data processing - Fractals - Mathematical & Statistical Software - Mathematical logic - Non-linear science - Number Theory - Geometry - Algebraic - Fractal Geometry - Functional Analysis - Set Theory - Mathematics - Science/Mathematics - Microsoft windows (computer program) - Mathematics, data processing

Edition Identifiers:

• The Open Library ID: OL9536317M - OL49255129M - OL49248612M - OL16958628M
• Online Computer Library Center (OCLC) ID: 42643257
• Library of Congress Control Number (LCCN): 99051493
• All ISBNs: ➤  9781299615212 - 9812794646 - 9789812794642 - 129961521X - 9810240716 - 9789810240714

“Introducing Logic (Introducing...)” Metadata:

• Title: ➤  Introducing Logic (Introducing...)
• Authors: Dan CryanSharron ShatilBill Mayblin
• Language: English
• Number of Pages: Median: 176
• Publisher: Totem Books
• Publish Date: 2002

“Introducing Logic (Introducing...)” Subjects and Themes:

• Subjects: Logic - Mathematical logic - Philosophy - General - Reasoning

Edition Identifiers:

• The Open Library ID: OL8915826M
• All ISBNs: 1840463457 - 9781840463453

“Matematisk og teoretisk fysikk” Metadata:

• Title: Matematisk og teoretisk fysikk
• Author: Egil A. Hylleraas
• Languages: English - nor
• Number of Pages: Median: 480
• Publisher: Wiley-Interscience
• Publish Date: 1970
• Publish Location: Chichester - New York

“Matematisk og teoretisk fysikk” Subjects and Themes:

• Subjects: ➤  Physics - Mathematical physics - Physique mathématique - Physique - 33.00 physics: general - Mathematische fysica - Theoretische fysica - Bohr theory - Electrodynamics - Electrostatics - Functions (mathematics) - Gases - Hydrogen atoms - Kinetic theory - Mathematical logic - Perturbation theory - Relativistic theory - Scalars - Scattering - Statistical mechanics - Tensors - Theoretical physics - Vectors (mathematics)

Edition Identifiers:

• The Open Library ID: OL22213541M - OL22213543M
• Online Computer Library Center (OCLC) ID: 117418
• Library of Congress Control Number (LCCN): 76091157
• All ISBNs: 9780471426011 - 9780471426028 - 0471426024 - 0471426016

“Computability and logic” Metadata:

• Title: Computability and logic
• Authors: George BoolosRichard C. JeffreyGeorge S. BoolosJohn P. Burgess
• Language: English
• Number of Pages: Median: 304
• Publisher: ➤  Cambridge University Press - University Press
• Publish Date: ➤  1974 - 1980 - 1981 - 1987 - 1989 - 2002 - 2005 - 2007 - 2008 - 2012
• Publish Location: ➤  Cambridge [Eng.] - Cambridge - New York

“Computability and logic” Subjects and Themes:

• Subjects: ➤  Computable functions - Logic, Symbolic and mathematical - Recursive functions - Symbolic and mathematical Logic - Mathematical foundations - Philosophy - General - Philosophy / Logic - Mathematical logic - Mathematics - Science/Mathematics - Logic

Edition Identifiers:

• The Open Library ID: ➤  OL53922855M - OL40838731M - OL40620813M - OL40507880M - OL40502133M - OL40474958M - OL40467350M - OL40460520M - OL34479372M - OL34477673M - OL10438215M - OL7736076M - OL7733897M - OL5441109M - OL4115581M - OL21994661M - OL2210107M - OL17885136M - OL3950600M
• Online Computer Library Center (OCLC) ID: 6487830 - 19589563 - 959952
• Library of Congress Control Number (LCCN): 89032584 - 80040432 - 73090811 - 2001043302 - 2007014225
• All ISBNs: ➤  0511366051 - 0521007585 - 0521299675 - 0521701465 - 9780511074950 - 9780511076497 - 051136668X - 0521234794 - 9780521204026 - 9780511804076 - 0521389232 - 9780511366055 - 0511804075 - 9780521877527 - 0511078064 - 9780521299671 - 9780521234795 - 0511076495 - 0511364296 - 9781283329576 - 0511074956 - 9780521380263 - 052120402X - 052138026X - 9780511366680 - 0511202296 - 1139164937 - 9780521809757 - 9780511364297 - 0521877520 - 1283329573 - 9780521389235 - 9780521007580 - 0521809754 - 9780511078064 - 9780521701464 - 9781139164931 - 9780511202292

“Visual complex analysis” Metadata:

• Title: Visual complex analysis
• Author: Tristan Needham
• Language: English
• Number of Pages: Median: 592
• Publisher: ➤  Oxford University Press - Clarendon Press
• Publish Date: 1997 - 1998 - 2023
• Publish Location: ➤  New York - Oxford [England] - Oxford

“Visual complex analysis” Subjects and Themes:

• Subjects: ➤  Functions of complex variables - Mathematical analysis - Functions of several complex variables - Fonctions d'une variable complexe - Analyse mathématique - Funktionentheorie - Visualisierung - FUNCTIONS (MATHEMATICS) - COMPLEX VARIABLES - FUNCTIONAL ANALYSIS - MATHEMATICAL LOGIC - Differential Geometry - Géométrie

Edition Identifiers:

• The Open Library ID: OL46072854M - OL767342M - OL17604507M - OL46064883M
• Online Computer Library Center (OCLC) ID: 36523806 - 41879007
• Library of Congress Control Number (LCCN): 97165737
• All ISBNs: ➤  0192868926 - 0198534469 - 9780192868923 - 9780198534464 - 0192868918 - 0198534477 - 9780192868916 - 9780198534471

“Mathematical thinking” Metadata:

• Title: Mathematical thinking
• Authors: John P. D'AngeloDouglas B. WestDouglas Brent West
• Language: English
• Number of Pages: Median: 412
• Publisher: ➤  Prentice Hall - Prentice Hall College Div
• Publish Date: 1996 - 1997 - 1999 - 2000
• Publish Location: Upper Saddle River, NJ

“Mathematical thinking” Subjects and Themes:

• Subjects: ➤  Mathematics - Problem solving - Mathematical logic - Problem solving - Mathematics (General) - Mathematics - Science/Mathematics - Applied - Logic - General

Edition Identifiers:

• The Open Library ID: OL9294863M - OL7330028M - OL9284676M - OL48471M - OL972168M
• Library of Congress Control Number (LCCN): 99050074 - 96009008
• All ISBNs: 0130144126 - 9780132633932 - 9780130144126 - 0132633930

“Analysis and logic” Metadata:

• Title: Analysis and logic
• Authors: C. Ward HensonJosé IovinoAlexander S. KechrisEdward OdellA. S. Kechris
• Language: English
• Number of Pages: Median: 282
• Publisher: Cambridge University Press
• Publish Date: 2002 - 2003 - 2013
• Publish Location: Cambridge - New York

“Analysis and logic” Subjects and Themes:

• Subjects: ➤  Symbolic and mathematical Logic - Mathematical analysis - Calculus & mathematical analysis - Mathematical logic - Mathematics - Logic - Mathematical And Symbolic Logic - Science/Mathematics - Logic, Symbolic and mathematic - Calculus - Mathematics / Combinatorics - Logic, Symbolic and mathematical - Logic, symbolic and mathematical

Edition Identifiers:

• The Open Library ID: ➤  OL40510141M - OL40784312M - OL53924141M - OL7750071M - OL40505525M - OL17070808M - OL34486966M
• Library of Congress Control Number (LCCN): 2002071488
• All ISBNs: ➤  9781139146036 - 1107360005 - 0511059965 - 0521648610 - 9781107360006 - 9780511059964 - 9780521648615 - 9781299707177 - 1139146033 - 0511068409 - 1299707173 - 9780511068409

“Fuzzy Logic with Engineering Applications” Metadata:

• Title: ➤  Fuzzy Logic with Engineering Applications
• Author: Timothy J. Ross
• Language: English
• Number of Pages: Median: 625
• Publisher: ➤  Mcgraw-Hill College - John Wiley - John Wiley & Sons - John Wiley & Sons, Ltd. - Wiley
• Publish Date: 1995 - 2004 - 2005 - 2010
• Publish Location: Hoboken, NJ - New York

“Fuzzy Logic with Engineering Applications” Subjects and Themes:

• Subjects: ➤  Engineering - Nonfiction - Technology - Engineering mathematics - Fuzzy logic - Mathématiques de l'ingénieur - Logique floue - Anwendung - Fuzzy-Logik - Mathematical logic - Fuzzy systems - Mathematics

Edition Identifiers:

• The Open Library ID: ➤  OL9251290M - OL7598192M - OL24247130M - OL7296586M - OL23668706M - OL9458413M
• Online Computer Library Center (OCLC) ID: 54349611 - 32130900
• Library of Congress Control Number (LCCN): 95002795 - 2004001167 - 2009033736
• All ISBNs: ➤  0470860758 - 9780070539174 - 0470860766 - 0070539170 - 9780470860762 - 047074376X - 9780470860755 - 047086074X - 9780470743768 - 9780470860748

“Logic Colloquium 2005” Metadata:

• Title: Logic Colloquium 2005
• Authors: ➤  Logic Colloquium (2005 Athens, Greece)Costas DimitracopoulosLudomir NewelskiDag Normann
• Language: English
• Number of Pages: Median: 289
• Publisher: Cambridge University Press
• Publish Date: 2007 - 2009 - 2011
• Publish Location: New York - Cambridge

“Logic Colloquium 2005” Subjects and Themes:

• Subjects: ➤  Congresses - Logic, Symbolic and mathematical - Symbolic and mathematical Logic - Mathematical logic - Mathematics / Combinatorics - Combinatorics - Mathematics - Science/Mathematics

Edition Identifiers:

• The Open Library ID: ➤  OL40730287M - OL40506176M - OL40482472M - OL40474894M - OL34442076M - OL27647216M - OL10438449M - OL18003980M
• Online Computer Library Center (OCLC) ID: 145379856
• Library of Congress Control Number (LCCN): 2007025541
• All ISBNs: ➤  9780521329637 - 9780511355806 - 0511354185 - 0511546467 - 0511353022 - 9780511353024 - 0521329639 - 9780521884259 - 0511354762 - 052188425X - 0511355807 - 9780511354182 - 9780511354762 - 9780511546464

“Continuous lattices and domains” Metadata:

• Title: ➤  Continuous lattices and domains
• Authors: ➤  Gerhard GierzG. GierzK. H. HofmannK. KeimelJ. D. LawsonM. MisloveD. S. Scott
• Language: English
• Number of Pages: Median: 610
• Publisher: Cambridge University Press
• Publish Date: 2003 - 2004 - 2009
• Publish Location: Cambridge, U.K - New York

“Continuous lattices and domains” Subjects and Themes:

• Subjects: ➤  Continuous lattices - Algebra - Mathematical logic - Topology - Mathematics - Science/Mathematics - General - Combinatorics - Logic - Mathematics / Combinatorics - Functions, continuous - Lattice theory

Edition Identifiers:

• The Open Library ID: ➤  OL15534329M - OL40620649M - OL40464010M - OL34440060M - OL40460735M - OL7754815M
• Online Computer Library Center (OCLC) ID: 49513189
• Library of Congress Control Number (LCCN): 2002025666
• All ISBNs: ➤  9780511542725 - 0511072023 - 9780521803380 - 0511057237 - 9780511057236 - 1139147218 - 0521803381 - 9780511072024 - 0511542720 - 9781139147217

“Polynomial completeness in algebraic systems” Metadata:

• Title: ➤  Polynomial completeness in algebraic systems
• Authors: Kalle KaarliAlden F. Pixley
• Language: English
• Number of Pages: Median: 376
• Publisher: ➤  Taylor & Francis Group - Chapman & Hall/CRC
• Publish Date: 2000 - 2001 - 2019
• Publish Location: Boca Raton, Fla

“Polynomial completeness in algebraic systems” Subjects and Themes:

• Subjects: ➤  Completeness theorem - Polynomials - Algebra - Calculus & mathematical analysis - Mathematical logic - Philosophy Of Mathematics - Mathematics - Science/Mathematics - Algebra - General - Logic - Mathematics / Algebra / General - Algebra - Elementary

Edition Identifiers:

• The Open Library ID: ➤  OL16983529M - OL33428494M - OL33522509M - OL33664141M - OL34668124M - OL9440823M
• Online Computer Library Center (OCLC) ID: 44132933 - 1048937467
• Library of Congress Control Number (LCCN): 00034538
• All ISBNs: ➤  0429181760 - 9780367398330 - 9780429181764 - 0367398338 - 9781482285758 - 9781584882039 - 9781420035773 - 1420035770 - 1584882034 - 1482285754

“Logic Colloquium '02” Metadata:

• Title: Logic Colloquium '02
• Authors: ➤  Logic Colloquium '02 (2002 Münster, Germany)Logic Colloquium 0Wolfram PohlersColloquium Logicum 200
• Language: English
• Number of Pages: Median: 359
• Publisher: ➤  Cambridge University Press - A K Peters - Association for Symbolic Logic - CRC Press LLC
• Publish Date: 2006 - 2017
• Publish Location: ➤  La Jolla, Calif - Wellesley, Mass

“Logic Colloquium '02” Subjects and Themes:

• Subjects: ➤  Congresses - Logic, Symbolic and mathematical - Symbolic and mathematical Logic - Mathematical logic - Science/Mathematics - Logic - Mathematics - Logic, symbolic and mathematical - Logique symbolique et mathématique - Congrès

Edition Identifiers:

• The Open Library ID: ➤  OL17897012M - OL34746548M - OL8690785M - OL8690784M - OL50618527M - OL48139669M
• Online Computer Library Center (OCLC) ID: 64083767 - 696257407
• Library of Congress Control Number (LCCN): 2006003625
• All ISBNs: ➤  131675572X - 9781568813011 - 9781316755723 - 9781568813004 - 9780429065262 - 1439865906 - 9781439865903 - 0429065264 - 1568813007 - 1568813015

“Logic Colloquium '99” Metadata:

• Title: Logic Colloquium '99
• Authors: ➤  Logic Colloquium (1999 Utrecht, Netherlands)Vincent Van OostromAlbert VisserLogic ColloquiumJ. Van Eijck
• Language: English
• Number of Pages: Median: 230
• Publisher: ➤  Cambridge University Press - A K Peters/CRC Press - A K Peters - AK Peters - CRC Press LLC
• Publish Date: 2004 - 2017
• Publish Location: Wellesley, Mass

“Logic Colloquium '99” Subjects and Themes:

• Subjects: ➤  Congresses - Logic, Symbolic and mathematical - Symbolic and mathematical Logic - Mathematical logic - Logic - Mathematics - Science/Mathematics - Logic, Symbolic and mathematic - General - Mathematics and Science - Logic, symbolic and mathematical - Logique symbolique et mathématique - Congrès

Edition Identifiers:

• The Open Library ID: ➤  OL8690726M - OL50618013M - OL34727779M - OL22595982M - OL33389734M - OL9545101M
• Online Computer Library Center (OCLC) ID: 52858228 - 1041884926
• Library of Congress Control Number (LCCN): 2003061666
• All ISBNs: ➤  9781568811994 - 1568811993 - 1316755924 - 9781316755921 - 1568812035 - 1439864454 - 9781439864456 - 9780429064838 - 0429064837 - 9781568812038

“DNA computing” Metadata:

• Title: DNA computing
• Authors: Gheorghe PăunGheorghe PaunGrzegorz RozenbergArto SalomaaAnne Condon
• Language: English
• Number of Pages: Median: 400
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 1998 - 2001 - 2003 - 2006
• Publish Location: Berlin - New York

“DNA computing” Subjects and Themes:

• Subjects: ➤  Molecular computers - Biotechnology - Mathematical logic - Mathematical theory of computation - Computers - General Information - Discrete Mathematics (Computer Science) - Theory Of Computing - Computers - Science/Mathematics - Artificial Intelligence - General - Computers / Computer Science - Computer Science - Congresses - Molecular electronics - Computer science - Qa76.887 .p38 1998 - 511.3

Edition Identifiers:

• The Open Library ID: OL9057293M - OL35781659M - OL9062523M - OL358949M
• Online Computer Library Center (OCLC) ID: 46866323
• Library of Congress Control Number (LCCN): 2001032224 - 98018927
• All ISBNs: ➤  3540420762 - 9783540420767 - 3540641963 - 9783540449928 - 3540449922 - 9783540641964

“Problems in set theory, mathematical logic, and the theory of algorithms” Metadata:

• Title: ➤  Problems in set theory, mathematical logic, and the theory of algorithms
• Authors: I. A. LavrovIgor LavrovLarisa Maksimova
• Language: English
• Number of Pages: Median: 282
• Publisher: ➤  Springer - Kluwer Academic/Plenum Publishers - Springer London, Limited
• Publish Date: 2003 - 2012
• Publish Location: New York

“Problems in set theory, mathematical logic, and the theory of algorithms” Subjects and Themes:

• Subjects: ➤  Algorithms - Logic, Symbolic and mathematical - Problems, exercises - Problems, exercises, etc - Set theory - Symbolic and mathematical Logic - Mathematical logic - Mathematics - Science/Mathematics - Computer Science - Logic - Mathematics / Logic - Logic, Symbolic and mathematic - Algebra - Data processing - Mathematical Logic and Foundations - Symbolic and Algebraic Manipulation

Edition Identifiers:

• The Open Library ID: OL37236482M - OL34380010M - OL9649106M - OL19289124M
• Online Computer Library Center (OCLC) ID: 51289722
• Library of Congress Control Number (LCCN): 2002043456
• All ISBNs: ➤  0306477122 - 1461501857 - 1461349575 - 9781461501855 - 9780306477126 - 9781461349570

“Finite model theory” Metadata:

• Title: Finite model theory
• Authors: Heinz-Dieter EbbinghausJörg Flum
• Language: English
• Number of Pages: Median: 344
• Publisher: ➤  Springer London, Limited - Springer
• Publish Date: ➤  1995 - 1999 - 2004 - 2005 - 2013
• Publish Location: Berlin - New York

“Finite model theory” Subjects and Themes:

• Subjects: ➤  Model theory - Logica - Logique 1er ordre - Classe complexité - Modèles, théorie des - Isomorphisme - Théorie modèle - Mathematical logic - Set theory - Philosophy Of Mathematics - Mathematics - Science/Mathematics - Logic - Mathematics / Logic - Computer software - Computer science - Symbolic and mathematical Logic - Mathematical Logic and Foundations - Algorithm Analysis and Problem Complexity - Mathematical Logic and Formal Languages

Edition Identifiers:

• The Open Library ID: OL37086460M - OL35796256M - OL9062944M - OL798945M - OL44432M
• Online Computer Library Center (OCLC) ID: 503438533 - 42002596
• Library of Congress Control Number (LCCN): 99039853 - 95035175
• All ISBNs: ➤  9783540287889 - 9783540657583 - 3662031825 - 9783540601494 - 9783662031827 - 3540657584 - 354060149X - 3540287884

“Equations with involutive operators” Metadata:

• Title: ➤  Equations with involutive operators
• Authors: N. K. Karapeti͡ant͡sNikolai KarapetiantsStefan Samko
• Language: English
• Number of Pages: Median: 427
• Publisher: ➤  Birkhäuser Boston - Birkhäuser - Birkhauser
• Publish Date: 2001 - 2012
• Publish Location: Boston

“Equations with involutive operators” Subjects and Themes:

• Subjects: ➤  Fredholm operators - Integral equations - Mathematical logic - Mathematical Analysis - Linear Operators - Mathematics - Science/Mathematics - Calculus - Mathematics / Mathematical Analysis - functions theory - integral operators - operator theory - Functional Analysis

Edition Identifiers:

• The Open Library ID: OL34379313M - OL3947650M - OL8074684M - OL30518390M
• Library of Congress Control Number (LCCN): 2001035385
• All ISBNs: ➤  0817641572 - 9781461266518 - 9783764341572 - 9781461201847 - 1461201845 - 1461266513 - 9780817641573 - 3764341572

“Introducción a la lógica formal” Metadata:

• Title: ➤  Introducción a la lógica formal
• Authors: Alfredo Deaño GamalloAlfredo DeanoAlfredo Deaano Gamallo
• Language: ➤  Spanish; Castilian - español, castellano
• Number of Pages: Median: 424
• Publisher: Alianza
• Publish Date: 1978 - 1996 - 2016
• Publish Location: Madrid - Madrid, Spain

“Introducción a la lógica formal” Subjects and Themes:

• Subjects: ➤  Symbolic logic - Logic - Formal logic - Philosophy - Mathematical logic - Symbolic and mathematical Logic

Edition Identifiers:

• The Open Library ID: OL9117606M - OL4513155M - OL26382811M
• Library of Congress Control Number (LCCN): 79358630
• All ISBNs: 8420680117 - 9788420686813 - 8420686816 - 9788420680118

“Algorithms” Metadata:

• Title: Algorithms
• Authors: Uspenskiĭ, V. A.Vladimir UspenskyA.L. Semenov
• Language: English
• Number of Pages: Median: 269
• Publisher: ➤  Springer - Kluwer Academic - Kluwer Academic Publishers
• Publish Date: 1993
• Publish Location: Boston - London - Dordrecht

“Algorithms” Subjects and Themes:

• Subjects: ➤  Algorithms - Mathematical logic - Mathematical modelling - Mathematics - Algorithms (Computer Programming) - Applied Mathematics - Science/Mathematics - Computer Science - Logic - Computers-Computer Science - Mathematics / Logic - Philosophy-Logic

Edition Identifiers:

• The Open Library ID: OL1399375M - OL7807166M - OL22639495M
• Online Computer Library Center (OCLC) ID: 27726956
• Library of Congress Control Number (LCCN): 93007046
• All ISBNs: 9780792322108 - 079232210X

“Inexhaustibility” Metadata:

• Title: Inexhaustibility
• Authors: Torkel FranzénTorkel FranzenT. Franze
• Language: English
• Number of Pages: Median: 300
• Publisher: ➤  A K Peters - Association for Symbolic Logic - Cambridge University Press
• Publish Date: 2002 - 2004 - 2017
• Publish Location: ➤  [Urbana, Ill.] - Wellesley, Mass

“Inexhaustibility” Subjects and Themes:

• Subjects: ➤  Incompleteness theorems - Logic, Symbolic and mathematical - Mathematics - Philosophy - Symbolic and mathematical Logic - Mathematical logic - Logic, Symbolic and mathematic - Science/Mathematics - Logic - Mathematics, philosophy - Onvolledigheid (logica) - Semantiek - Bewijstheorie - Verzamelingen (wiskunde)

Edition Identifiers:

• The Open Library ID: OL8690714M - OL9842807M - OL34746544M - OL17149652M
• Online Computer Library Center (OCLC) ID: 49531175
• Library of Congress Control Number (LCCN): 2002025765
• All ISBNs: ➤  9781568811741 - 1568811756 - 9781568811758 - 9781316755969 - 1568811748 - 1316755967

“Logic Colloquium '01” Metadata:

• Title: Logic Colloquium '01
• Authors: ➤  Logic Colloquium (2001 Vienna, Austria)Matthias BaazJan KrajicekAustria) Logic Colloquium (2001 Vienna
• Language: English
• Number of Pages: Median: 496
• Publisher: ➤  AK Peters, Ltd. - Association for Symbolic Logic - A.K. Peters - Cambridge University Press - A K Peters, Ltd.
• Publish Date: 2005 - 2017
• Publish Location: Wellesley, MA

“Logic Colloquium '01” Subjects and Themes:

• Subjects: ➤  Congresses - Logic, Symbolic and mathematical - Symbolic and mathematical Logic - Mathematical logic - Mathematics - Science/Mathematics - Logic - Logic, Symbolic and mathematic - Logic, symbolic and mathematical

Edition Identifiers:

• The Open Library ID: OL22715881M - OL8690754M - OL34714563M - OL8690755M
• Online Computer Library Center (OCLC) ID: 57283715
• Library of Congress Control Number (LCCN): 2004060184
• All ISBNs: ➤  1568812477 - 131675586X - 9781568812472 - 9781316755860 - 1568812485 - 9781568812489

“Synthesis of finite state machines” Metadata:

• Title: ➤  Synthesis of finite state machines
• Authors: Tiziano VillaTimothy KamRobert K. BraytonAlberto L. Sangiovanni-Vincentelli
• Language: English
• Number of Pages: Median: 400
• Publisher: Kluwer Academic - Springer
• Publish Date: 1997 - 2011
• Publish Location: Boston

“Synthesis of finite state machines” Subjects and Themes:

• Subjects: ➤  Logic design - Sequential machine theory - Data processing - Very large scale integration - Integrated circuits - Computer-aided design - Circuits & components - Mathematical logic - Electronic Circuit Design - Technology - Computers - General Information - Science/Mathematics - Engineering - Electrical & Electronic - Electronics - Circuits - General - Computers / Logic Design - Technology / Electronics / Circuits / General - Technology : Electronics - Circuits - General - Technology : Engineering - Electrical & Electronic - Computer Bks - General Information - Computers - Integrated circuits, very large scale integration

Edition Identifiers:

• The Open Library ID: OL662217M - OL30640082M - OL7810884M
• Library of Congress Control Number (LCCN): 97007693
• All ISBNs: 1461561566 - 9781461561569 - 0792398920 - 9780792398929

“Advances in modal logic” Metadata:

• Title: Advances in modal logic
• Authors: Marcus KrachtHeinrich WansingMichael Zakharyaschev
• Language: English
• Number of Pages: Median: 408
• Publisher: ➤  Center for the Study of Language and Inf - CSLI Publications
• Publish Date: 1998 - 2003 - 2004
• Publish Location: Stanford, Calif

“Advances in modal logic” Subjects and Themes:

• Subjects: ➤  Modality (Logic) - Congresses - Artificial intelligence - Logic - Mathematical logic - Computers - Mathematics - Computer Science - Technology - Logic Design - Science/Mathematics - Reference - Applied - Logic, symbolic and mathematical

Edition Identifiers:

• The Open Library ID: OL9196296M - OL8746284M - OL8746283M - OL695772M
• Online Computer Library Center (OCLC) ID: 37864074
• Library of Congress Control Number (LCCN): 97043235
• All ISBNs: ➤  1575861038 - 9781575861029 - 9781575861036 - 157586102X - 9812381791 - 9789812381798

“Logic Colloquium '03” Metadata:

• Title: Logic Colloquium '03
• Authors: Logic ColloquiumViggo Stoltenberg-Hansen
• Language: English
• Number of Pages: Median: 415
• Publisher: ➤  A K Peters - Association for Symbolic Logic - Cambridge University Press
• Publish Date: 2006 - 2017
• Publish Location: Wellesley, MA

“Logic Colloquium '03” Subjects and Themes:

• Subjects: ➤  Mathematical logic - Logic, Symbolic and mathematical - Mathematics - Science/Mathematics - Logic - Congresses

Edition Identifiers:

• The Open Library ID: OL22726985M - OL34741811M - OL8690779M
• All ISBNs: 9781568812946 - 9781316755785 - 1568812949 - 1316755789

“Petri nets for systems engineering” Metadata:

• Title: ➤  Petri nets for systems engineering
• Authors: Claude GiraultRüdiger Valk
• Language: English
• Number of Pages: Median: 607
• Publisher: Springer
• Publish Date: 2002 - 2003
• Publish Location: New York - Berlin

“Petri nets for systems engineering” Subjects and Themes:

• Subjects: ➤  Formal methods (Computer science) - Petri nets - Systems engineering - Mathematical logic - Software engineering - Machine Theory - Computers - Languages / Programming - Computer Mathematics - Programming - Systems Analysis & Design - Computers - Logic Design - Computer Books And Software - Industrial Technology - Formal methods (Computer scien - Applications - Computers / Programming / Software Development - Computers / Programming / Systems Analysis & Design - Computers-Machine Theory - Modeling - Computer Science

Edition Identifiers:

• The Open Library ID: OL18182006M - OL9057110M
• Online Computer Library Center (OCLC) ID: 50906339
• Library of Congress Control Number (LCCN): 2002191198
• All ISBNs: 9783540412175 - 3540412174

“Choquet-Deny type functional equations with applications to stochastic models” Metadata:

• Title: ➤  Choquet-Deny type functional equations with applications to stochastic models
• Authors: Rao, C. RadhakrishnaD. N. Shanbhag
• Language: English
• Number of Pages: Median: 313
• Publisher: John Wiley & Sons - Wiley
• Publish Date: 1994 - 1995
• Publish Location: New York - Chichester, England

“Choquet-Deny type functional equations with applications to stochastic models” Subjects and Themes:

• Subjects: ➤  Stochastic processes - Functional equations - Mathematical logic - Probability & statistics - Stochastics - Mathematics - Science/Mathematics - Probability & Statistics - General - Differential Equations

Edition Identifiers:

• The Open Library ID: OL7631490M - OL1086161M
• Online Computer Library Center (OCLC) ID: 30071322
• Library of Congress Control Number (LCCN): 94010080
• All ISBNs: 9780471951049 - 0471951048

“Algebraic foundations of many-valued reasoning” Metadata:

• Title: ➤  Algebraic foundations of many-valued reasoning
• Authors: Roberto CignoliR.L. CignoliI.M. d'OttavianoDaniele Mundici
• Language: English
• Number of Pages: Median: 231
• Publisher: ➤  Kluwer Academic - Springer - Kluwer Academic Publishers
• Publish Date: 1999 - 2000
• Publish Location: Boston - Dordrecht - London

“Algebraic foundations of many-valued reasoning” Subjects and Themes:

• Subjects: ➤  Many-valued logic - Proposition (Logic) - Mathematical logic - Mathematics - Mathematical And Symbolic Logic - Philosophy Of Mathematics - Science/Mathematics - Discrete Mathematics - Logic - Mathematics / Logic - Mathematics-Discrete Mathematics - Philosophy / Logic - Philosophy-Logic

Edition Identifiers:

• The Open Library ID: OL22641927M - OL21801084M - OL7809052M
• Library of Congress Control Number (LCCN): 99052098
• All ISBNs: 9780792360094 - 0792360095

“Fuzzy modeling and control” Metadata:

• Title: Fuzzy modeling and control
• Authors: Michio SugenoHung T. NguyenNadipuram R. Prasad
• Language: English
• Number of Pages: Median: 434
• Publisher: CRC - CRC Press
• Publish Date: 1999
• Publish Location: Boca Raton

“Fuzzy modeling and control” Subjects and Themes:

• Subjects: ➤  Fuzzy systems - Automatic control - Automatic control engineering - Fuzzy set theory - Mathematical logic - Set theory - Technology - Engineering - Electrical & Electronic - Automation - Fuzzy Sets - Computers - General Information - Science/Mathematics - Engineering - Mechanical - Artificial Intelligence - Fuzzy Logic - Computer Engineering - Computers / Computer Engineering - Computer simulation

Edition Identifiers:

• The Open Library ID: OL8259877M - OL22244151M
• Online Computer Library Center (OCLC) ID: 40723794
• Library of Congress Control Number (LCCN): 99019201
• All ISBNs: 0849328845 - 9780849328848

“Computability” Metadata:

• Title: Computability
• Authors: Richard L. EpsteinWalter A. Carnielli
• Language: English
• Number of Pages: Median: 299
• Publisher: ➤  Wadsworth & Brooks/Cole Advanced Books & Software - Wadsworth/Thomson Learning - Wadsworth Publishing
• Publish Date: 1989 - 1999 - 2000
• Publish Location: ➤  Belmont, CA - Pacific Grove, Calif

“Computability” Subjects and Themes:

• Subjects: ➤  Computable functions - Gödel's theorem - Logic, Symbolic and mathematical - Symbolic and mathematical Logic - Mathematical logic - Mathematical theory of computation - Science/Mathematics - Logic, Symbolic and mathematic - Mathematical And Symbolic Logic - Philosophy Of Mathematics - Mathematics - Logic - Philosophy / General

Edition Identifiers:

• The Open Library ID: OL2188845M - OL7785461M - OL32454M
• Library of Congress Control Number (LCCN): 89007097 - 99014119
• All ISBNs: 0534546447 - 9780534103569 - 9780534546441 - 0534103561

“Elements of Deductive Inference” Metadata:

• Title: ➤  Elements of Deductive Inference
• Authors: Joseph BessieStuart Glennan
• Language: English
• Number of Pages: Median: 412
• Publisher: ➤  Wadsworth Publishing - Thomson Learning
• Publish Date: 1999 - 2000
• Publish Location: Belmont, CA

“Elements of Deductive Inference” Subjects and Themes:

• Subjects: ➤  Predicate calculus - Mathematical logic - Science/Mathematics - Mathematical And Symbolic Logic - Philosophy Of Mathematics - Mathematics - Textbooks - Logic

Edition Identifiers:

• The Open Library ID: OL7785501M - OL10475164M - OL385761M
• Library of Congress Control Number (LCCN): 98048446
• All ISBNs: 0534551238 - 0534551211 - 9780534551230 - 9780534551216

“Algorithms and complexity” Metadata:

• Title: Algorithms and complexity
• Authors: ➤  Italian Conference on Algorithms and Complexity (5th 2003 Rome, Italy)Rosella PetreschiGiuseppe PersianoRiccardo Silvestri
• Language: English
• Number of Pages: Median: 289
• Publisher: ➤  Springer - Springer London, Limited
• Publish Date: 2003
• Publish Location: New York

“Algorithms and complexity” Subjects and Themes:

• Subjects: ➤  Congresses - Algorithms - Computational complexity - Mathematical logic - Mathematics - Science/Mathematics - Computer Graphics - General - Computer Science - Discrete Mathematics - Computers / Computer Science - combinatorial optimization - combinatorics - complexity - computational geometry - computational graph theory - geometric algorithms - graph algorithms - graph computations - General

Edition Identifiers:

• The Open Library ID: OL35785390M - OL12774365M - OL18186972M
• Online Computer Library Center (OCLC) ID: 52288775
• Library of Congress Control Number (LCCN): 2003052987
• All ISBNs: 3540401768 - 9783540465218 - 9783540401766 - 3540465219

“A guide to classical and modern model theory” Metadata:

• Title: ➤  A guide to classical and modern model theory
• Authors: A. MarcjaAnnalisa MarcjaCarlo Toffalori
• Language: English
• Number of Pages: Median: 377
• Publisher: ➤  Kluwer Academic Publishers - Springer
• Publish Date: 2003 - 2012
• Publish Location: Boston - Dordrecht

“A guide to classical and modern model theory” Subjects and Themes:

• Subjects: ➤  Model theory - Mathematische Logik - Modelltheorie - Mathematical logic - Technology - Philosophy - Science/Mathematics - Algebra - General - Logic - Mathematics-Algebra - General - Mathematics-Logic - Philosophy / Logic - Reference - Algebra - Philosophy (General) - Symbolic and mathematical Logic - Mathematical Logic and Foundations

Edition Identifiers:

• The Open Library ID: OL37426587M - OL8370599M - OL20525927M
• Online Computer Library Center (OCLC) ID: 52047446
• Library of Congress Control Number (LCCN): 2003048864
• All ISBNs: ➤  1402013310 - 9400708122 - 9781402013300 - 1402013302 - 9789400708129 - 9781402013317

“A logical journey” Metadata:

• Title: A logical journey
• Author: Hao Wang
• Language: English
• Number of Pages: Median: 391
• Publisher: MIT Press
• Publish Date: 1996
• Publish Location: Cambridge, Mass

“A logical journey” Subjects and Themes:

• Subjects: Logicians - Biography - Mathematical Logic - Philosophy
• People: Kurt Gödel (1906-1978) - Hao Wang
• Places: United States - Austria

Edition Identifiers:

• The Open Library ID: OL994036M
• Library of Congress Control Number (LCCN): 96032568
• All ISBNs: 9780262231893 - 0262231891

“Propositional logic” Metadata:

• Title: Propositional logic
• Authors: H. Kleine BüningHans Kleine BüningTheodor Lettmann
• Language: English
• Number of Pages: Median: 415
• Publisher: Cambridge University Press
• Publish Date: 1999
• Publish Location: New York - Cambridge [England]

“Propositional logic” Subjects and Themes:

• Subjects: ➤  Computer algorithms - Computer logic - Algorithmes - Algorithme - Automatische bewijsvoering - Logique propositionnelle - Logique (Informatique) - Algoritmen - Structure de données - Algorithme résolution - Démonstration automatique de théorèmes - Déduction - Calcul propositionnel - Aussagenlogik - Satisfiabilité - Clause Horn - Logique informatique - Mathematical logic - Mathematical theory of computation - Science/Mathematics - Computers - General Information - Algorithms (Computer Programming) - Philosophy Of Mathematics - Computers - Programming - General - Discrete Mathematics - Computer Science - Logic - Computers / Programming / Software Development - Computer Bks - General Information - Logic, symbolic and mathematical

Edition Identifiers:

• The Open Library ID: OL7749360M - OL18820915M
• Online Computer Library Center (OCLC) ID: 39655053
• Library of Congress Control Number (LCCN): 98038806
• All ISBNs: 0521630177 - 9780521630177

“Theorem proving with analytic tableaux and related methods” Metadata:

• Title: ➤  Theorem proving with analytic tableaux and related methods
• Authors: ➤  TABLEAUX '96 (1996 Terrasini, Italy)Italy) Tableaux 9 (1996 TerrasiniP. Miglioli
• Language: English
• Number of Pages: Median: 330
• Publisher: Springer
• Publish Date: 1996
• Publish Location: New York - Berlin

“Theorem proving with analytic tableaux and related methods” Subjects and Themes:

• Subjects: ➤  Automatic theorem proving - Congresses - Logic, Symbolic and mathematical - Nonclassical mathematical logic - Symbolic and mathematical Logic - Artificial intelligence - Mathematical logic - Mathematical theory of computation - Mathematics - Computers - Automata - Computer Logic - Science/Mathematics - Logic, Symbolic and mathematic - Artificial Intelligence - General - Logic - Nonclassical mathematical logi - Computer Science

Edition Identifiers:

• The Open Library ID: OL9061836M - OL979793M
• Library of Congress Control Number (LCCN): 96017235
• All ISBNs: 9783540612087 - 3540612084

“Logic Colloquium '03” Metadata:

• Title: Logic Colloquium '03
• Authors: ➤  Logic Colloquium (2003 Helsinki, Finland)Viggo Stoltenberg-HansenLogic Colloquium
• Language: English
• Number of Pages: Median: 421
• Publisher: ➤  Association for Symbolic Logic - A K Peters - A K Peters/CRC Press
• Publish Date: 2006
• Publish Location: ➤  La Jolla, Calif - Wellesley, Mass

“Logic Colloquium '03” Subjects and Themes:

• Subjects: ➤  Congresses - Symbolic and mathematical Logic - Mathematical logic - Logic, Symbolic and mathematical - Mathematics - Science/Mathematics - Logic - Logic, symbolic and mathematical

Edition Identifiers:

• The Open Library ID: OL3431621M - OL8690778M
• Online Computer Library Center (OCLC) ID: 62290667
• Library of Congress Control Number (LCCN): 2005057435
• All ISBNs: 1568812949 - 9781568812939 - 1568812930 - 9781568812946

“Classical and fuzzy concepts in mathematical logic and applications” Metadata:

• Title: ➤  Classical and fuzzy concepts in mathematical logic and applications
• Authors: Mircea ReghișMircea S. ReghisEugene Roventa
• Language: English
• Number of Pages: Median: 372
• Publisher: CRC - CRC Press
• Publish Date: 1998
• Publish Location: Boca Raton

“Classical and fuzzy concepts in mathematical logic and applications” Subjects and Themes:

• Subjects: ➤  Fuzzy logic - Logic, Symbolic and mathematical - Symbolic and mathematical Logic - Computer architecture & logic design - Fuzzy set theory - Mathematical logic - Set Theory - Logic - Computer Logic - Fuzzy Sets - Mathematics - Science/Mathematics - Logic, Symbolic and mathematic - Applied - Computer Science - Mathematics / Set Theory - Logic, symbolic and mathematical

Edition Identifiers:

• The Open Library ID: OL347245M - OL8260005M
• Library of Congress Control Number (LCCN): 98006348
• All ISBNs: 0849331978 - 9780849331978

“Logic Colloquium '98” Metadata:

• Title: Logic Colloquium '98
• Authors: ➤  Logic Colloquium (1998 Prague, Czech Republic)Petr HajekPavel Pudlak
• Language: English
• Number of Pages: Median: 546
• Publisher: ➤  Association for Symbolic Logic - AK Peters
• Publish Date: 2000
• Publish Location: Natick, Mass

“Logic Colloquium '98” Subjects and Themes:

• Subjects: ➤  Congresses - Logic, Symbolic and mathematical - Symbolic and mathematical Logic - Mathematical logic - Logic, Symbolic and mathematic - Science/Mathematics - Logic - Mathematics - Logic, symbolic and mathematical

Edition Identifiers:

• The Open Library ID: OL9391704M - OL22203220M
• Library of Congress Control Number (LCCN): 99051335
• All ISBNs: 9781568811130 - 1568811136 - 1568811144 - 9781568811147

“Triangular norms” Metadata:

• Title: Triangular norms
• Authors: E. P. KlementE.P KlementR. MesiarE. Pap
• Language: English
• Number of Pages: Median: 396
• Publisher: ➤  Springer - Kluwer Academic Publishers
• Publish Date: 2000
• Publish Location: Dordrecht - Boston

“Triangular norms” Subjects and Themes:

• Subjects: ➤  Triangular norms - Mathematical logic - Mathematical And Symbolic Logic - Functional Analysis - Mathematics - Philosophy - Science/Mathematics - Calculus - Mathematics / Calculus - Philosophy / Logic - Combinatorics - Logic

Edition Identifiers:

• The Open Library ID: OL7809202M - OL18112543M
• Library of Congress Control Number (LCCN): 00033077
• All ISBNs: 0792364163 - 9780792364160

“Generalized concavity in fuzzy optimization and decision analysis” Metadata:

• Title: ➤  Generalized concavity in fuzzy optimization and decision analysis
• Authors: Jaroslav RamíkJaroslav RamíkMilan Vlach
• Language: English
• Number of Pages: Median: 304
• Publisher: ➤  Springer - Kluwer Academic Publishers
• Publish Date: 2001 - 2002
• Publish Location: Boston

“Generalized concavity in fuzzy optimization and decision analysis” Subjects and Themes:

• Subjects: ➤  Concave functions - Mathematical optimization - Decision making - Fuzzy mathematics - Applied mathematics - Computer Programming - Mathematical logic - Optimization (Mathematical Theory) - General - Technology - Operations Research (Engineering) - Business / Economics / Finance - Science/Mathematics - Operations Research - Linear Programming - Decision Making & Problem Solving - Business & Economics / Decision-Making & Problem Solving - Mathematics / Linear Programming - Mathematics : Linear Programming - Medical : General - Decision making, mathematical models - Functions - Fuzzy sets

Edition Identifiers:

• The Open Library ID: OL7809707M - OL18164464M
• Online Computer Library Center (OCLC) ID: 47296245
• Library of Congress Control Number (LCCN): 2001046197
• All ISBNs: 9780792374954 - 0792374959

“Domains and processes” Metadata:

• Title: Domains and processes
• Authors: ➤  International Symposium on Domain Theory (1st 1999 Shanghai, China)Yixiang ChenGuo-Qiang ZhangYing Ming Liu
• Language: English
• Number of Pages: Median: 280
• Publisher: ➤  Springer - Kluwer Academic Publishers
• Publish Date: 2001
• Publish Location: Boston

“Domains and processes” Subjects and Themes:

• Subjects: ➤  Congresses - Semantics - Programming languages (Electronic computers) - Computer Programming - Mathematical logic - Mathematical theory of computation - Programming Languages - General - Programming Language Semantics - Computers - Computers - Languages / Programming - Computer Books: General - Programming - General - General - Logic - Philosophy / Logic - Programming languages (Electro - Programming languages (electronic computers)

Edition Identifiers:

• The Open Library ID: OL18168500M - OL9879736M
• Library of Congress Control Number (LCCN): 2001038249
• All ISBNs: 0792371437 - 9780792371434

“Labelled non-classical logics” Metadata:

• Title: Labelled non-classical logics
• Authors: Luca ViganòLuca ViganòLuca Vigano
• Language: English
• Number of Pages: Median: 300
• Publisher: ➤  Springer - Kluwer Academic Publishers
• Publish Date: 2000
• Publish Location: Boston

“Labelled non-classical logics” Subjects and Themes:

• Subjects: ➤  Nonclassical mathematical logic - Computer Programming - Mathematical logic - Mathematical theory of computation - Mathematical And Symbolic Logic - Philosophy Of Mathematics - Mathematics - Computer Books: Operating Systems - Artificial Intelligence - General - Logic - Computers-Artificial Intelligence - General - Mathematics / Logic - Philosophy / Logic - Philosophy-Logic - Mathematics, philosophy

Edition Identifiers:

• The Open Library ID: OL7809882M - OL20643365M
• Library of Congress Control Number (LCCN): 99089297
• All ISBNs: 9780792377498 - 0792377494

“Model Theory” Metadata:

• Title: Model Theory
• Author: Akhilesh Pawar
• Language: English
• Number of Pages: Median: 238
• Publisher: Campus Books International
• Publish Date: 2011
• Publish Location: New Delhi, India

“Model Theory” Subjects and Themes:

• Subjects: Set theory - Model theory - Mathematical logic - Algebraic structures - Abstract algebra