Explore: Mathematische Logik

“Proofs and refutations” Metadata:

• Title: Proofs and refutations
• Authors: Imre LakatosJohn WorrallElie Zahar
• Languages: ger - English
• Number of Pages: Median: 174
• Publisher: ➤  Cambridge University Press - Vieweg
• Publish Date: ➤  1976 - 1979 - 1991 - 2012 - 2013 - 2015
• Publish Location: ➤  Cambridge - Braunschweig - New York

“Proofs and refutations” Subjects and Themes:

• Subjects: ➤  Logic, Symbolic and mathematical - Mathematics - Philosophy - Symbolic and mathematical Logic - Mathematics, philosophy - Kritik - Mathematik - Mathematische Logik - Formalismus (Mathematik) - Beweistheorie - Philosophie

Edition Identifiers:

• The Open Library ID: ➤  OL53996900M - OL40398726M - OL34478403M - OL34736969M - OL27205996M - OL24925821M - OL5206550M - OL14411757M
• Online Computer Library Center (OCLC) ID: 19248991 - 909025837 - 10976361 - 1863408
• Library of Congress Control Number (LCCN): 2015019140 - 75032478
• All ISBNs: ➤  0521290384 - 1107113466 - 3528083921 - 9780521290388 - 9783528083922 - 1107266017 - 052121078X - 1316426890 - 9781316426890 - 9781107266018 - 9781139171472 - 113917147X - 1316286428 - 9781107113466 - 9780521210782 - 9781107534056 - 9781316286425 - 1107534054

“Symbolic logic” Metadata:

• Title: Symbolic logic
• Author: Irving Marmer Copi
• Languages: ➤  Spanish; Castilian - español, castellano - English
• Number of Pages: Median: 395
• Publisher: ➤  Macmillan - Compania Editorial Continental - Collier Macmillan
• Publish Date: ➤  1954 - 1962 - 1965 - 1966 - 1967 - 1968 - 1973 - 1979 - 1992
• Publish Location: ➤  New York - Basingstoke - New York, NY

“Symbolic logic” Subjects and Themes:

• Subjects: ➤  Symbolic and mathematical Logic - Logique symbolique et mathématique - Logic, Symbolic and mathematical - Symbolic logic - Mathematische Logik - Lyrik - Symbol

Edition Identifiers:

• The Open Library ID: ➤  OL23779837M - OL23779839M - OL13119742M - OL21150294M - OL4727774M - OL21225437M - OL5945459M - OL6154559M - OL5543355M - OL20941352M - OL22249939M - OL5302740M
• Online Computer Library Center (OCLC) ID: 373417 - 244917 - 4076502 - 373475
• Library of Congress Control Number (LCCN): 78015671 - 72084875 - 65016937 - 67021418 - 54007901
• All ISBNs: ➤  9789682601347 - 9780023249808 - 9682601347 - 0029787408 - 0023249803 - 9780029787403

“Representing and reasoning with probabilistic knowledge” Metadata:

• Title: ➤  Representing and reasoning with probabilistic knowledge
• Author: Fahiem Bacchus
• Language: English
• Number of Pages: Median: 233
• Publisher: MIT Press
• Publish Date: 1990
• Publish Location: Cambridge, Mass

“Representing and reasoning with probabilistic knowledge” Subjects and Themes:

• Subjects: ➤  Artificial intelligence - Probabilities - Symbolic and mathematical Logic - Waarschijnlijkheidstheorie - Logique symbolique et mathématique - Wissensbasiertes System - Wahrscheinlichkeit - Raisonnement probabiliste - Wahrscheinlichkeitstheorie - Raisonnement non monotone - Logik - Mathematische Logik - Représentation connaissance - Système intelligent - Künstliche Intelligenz - Kunstmatige intelligentie - Probabilités - Logique - Intelligence artificielle - MATHEMATICS - Applied - Probability & Statistics - General - Logic, symbolic and mathematical

Edition Identifiers:

• The Open Library ID: OL1860281M
• Online Computer Library Center (OCLC) ID: 22450911 - 45844134
• Library of Congress Control Number (LCCN): 90013555
• All ISBNs: 9780262023177 - 0262023172

“The elements of mathematical logic” Metadata:

• Title: ➤  The elements of mathematical logic
• Author: Paul C. Rosenbloom
• Language: English
• Number of Pages: Median: 214
• Publisher: Dover - Dover Publications
• Publish Date: 1950 - 2005
• Publish Location: ➤  New York - Mineola, N.Y - New York] - [New York]

“The elements of mathematical logic” Subjects and Themes:

• Subjects: ➤  Symbolic and mathematical Logic - Mathematische Logik - Einführung - Logica - Logica Matematica (Textos Introdutorios) - Matematisk logikk - Mathématiques - Logica Matematica - Analyse mathématique - Logique - Logic, symbolic and mathematical

Edition Identifiers:

• The Open Library ID: OL17755518M - OL13762910M - OL3425988M - OL21225469M - OL6087848M
• Online Computer Library Center (OCLC) ID: 60767085 - 377141
• Library of Congress Control Number (LCCN): 2005049636 - 51002626
• All ISBNs: 0486446174 - 9780486446172

“First-order functional calculus” Metadata:

• Title: ➤  First-order functional calculus
• Author: G. B. Keene
• Language: English
• Number of Pages: Median: 82
• Publisher: ➤  Dover - Dover Publications - Routledge & K. Paul
• Publish Date: 1964 - 1966
• Publish Location: London - New York

“First-order functional calculus” Subjects and Themes:

• Subjects: ➤  Symbolic and mathematical Logic - Logique symbolique et mathématique - Mathematische Logik

Edition Identifiers:

• The Open Library ID: OL14291437M - OL17859466M - OL16382895M - OL22337041M - OL22783824M
• Library of Congress Control Number (LCCN): 66021252

“Apuleian logic” Metadata:

• Title: Apuleian logic
• Author: Mark W. Sullivan
• Language: English
• Number of Pages: Median: 265
• Publisher: ➤  North-Holland - North-Holland Pub. Co. - North-Holland Publishing
• Publish Date: 1967
• Publish Location: Amsterdam

“Apuleian logic” Subjects and Themes:

• Subjects: ➤  Ancient Philosophy - Logic - Philosophy, Ancient - Ancient Logic - Logik - Mathematische Logik - Logique - Philosophie antique
• People: Apuleius - Lucius Apuleius

Edition Identifiers:

• The Open Library ID: OL58564017M - OL13962037M - OL13574626M - OL14380262M - OL16407728M
• Online Computer Library Center (OCLC) ID: 383792 - 1655581
• Library of Congress Control Number (LCCN): 67020020

“Mathematik, Logik und Erfahrung” Metadata:

• Title: ➤  Mathematik, Logik und Erfahrung
• Author: Victor Kraft
• Language: ger
• Number of Pages: Median: 104
• Publisher: ➤  Springer - Springer London, Limited - Springer Wien
• Publish Date: 1970 - 2011 - 2013
• Publish Location: Wien

“Mathematik, Logik und Erfahrung” Subjects and Themes:

• Subjects: ➤  Mathematics - Philosophy - Experience - Logic - Mathématiques - Philosophie - Logique - Expérience - Empirie - Logik - Mathematik - Mathematische Logik - Logica - Wiskunde - Filosofie - Empirische methoden

Edition Identifiers:

• The Open Library ID: OL37170397M - OL21819289M - OL50605473M - OL37145224M
• Online Computer Library Center (OCLC) ID: 564137
• Library of Congress Control Number (LCCN): 77140286
• All ISBNs: ➤  9783709171271 - 3211809821 - 3709171261 - 9783709134665 - 9783709171264 - 9783211809822 - 3709134668 - 370917127X

“Foundations of mathematical logic” Metadata:

• Title: ➤  Foundations of mathematical logic
• Author: Haskell B. Curry
• Language: English
• Number of Pages: Median: 408
• Publisher: ➤  Dover Publications - McGraw-Hill
• Publish Date: 1963 - 1977
• Publish Location: New York

“Foundations of mathematical logic” Subjects and Themes:

• Subjects: ➤  Logic, Symbolic and mathematical - Symbolic and mathematical Logic - Wiskundige logica - Logique symbolique et mathématique - Aussagenlogik - Mathematische Logik - Einführung

Edition Identifiers:

• The Open Library ID: OL21520782M - OL4907601M - OL5829105M
• Online Computer Library Center (OCLC) ID: 526475 - 3186347
• Library of Congress Control Number (LCCN): 61017746 - 76055956
• All ISBNs: 0486634620 - 9780486634623

“Fundamentals of symbolic logic” Metadata:

• Title: Fundamentals of symbolic logic
• Author: Alice Ambrose
• Language: English
• Number of Pages: Median: 328
• Publisher: ➤  Rinehart - Holt, Rinehart and Winston
• Publish Date: 1948 - 1962
• Publish Location: New York - New York, NY

“Fundamentals of symbolic logic” Subjects and Themes:

• Subjects: ➤  Symbolic and mathematical Logic - Logique symbolique et mathématique - Symbolische logica - Mathematische Logik - 31.10 logic, set theory

Edition Identifiers:

• The Open Library ID: OL6033057M - OL21187754M - OL5851826M
• Online Computer Library Center (OCLC) ID: 373410 - 330117
• Library of Congress Control Number (LCCN): 48010554 - 62012127

“Formale Logik” Metadata:

• Title: Formale Logik
• Author: Joseph M. Bochenski
• Language: ger
• Number of Pages: Median: 645
• Publisher: K. Alber
• Publish Date: 1962 - 1970 - 1978
• Publish Location: Freiburg i. Br - Freiburg

“Formale Logik” Subjects and Themes:

• Subjects: ➤  Wiskundige logica - Mathematische Logik - Syllogismen - Logik - Formele logica - Logic - Geschichte

Edition Identifiers:

• The Open Library ID: OL28398053M - OL52942573M - OL50346922M
• Online Computer Library Center (OCLC) ID: 4905787 - 9989471 - 20188732
• All ISBNs: 3495441158 - 9783495441152

“Symbolic logic” Metadata:

• Title: Symbolic logic
• Authors: Clarence Irving LewisCooper H. Langford
• Number of Pages: Median: 518
• Publisher: ➤  The Century co. - Dover Publications Inc. - Dover Publications
• Publish Date: 1932 - 1959 - 2000

“Symbolic logic” Subjects and Themes:

• Subjects: ➤  Symbolic logic - Logique symbolique et mathématique - Symbolische logica - Symbolic and mathematical Logic - Mathematische Logik - Logic, symbolic and mathematical

Edition Identifiers:

• The Open Library ID: OL43103559M - OL7650100M - OL46943826M
• Online Computer Library Center (OCLC) ID: 372934
• Library of Congress Control Number (LCCN): 59004164
• All ISBNs: 9780486601700 - 0486601706

“Foundations of Intelligent Knowledge-Based Systems (Library and Information Science)” Metadata:

• Title: ➤  Foundations of Intelligent Knowledge-Based Systems (Library and Information Science)
• Author: I. S. Torsun
• Language: English
• Number of Pages: Median: 507
• Publisher: Academic Press
• Publish Date: 1995

“Foundations of Intelligent Knowledge-Based Systems (Library and Information Science)” Subjects and Themes:

• Subjects: ➤  Artificial intelligence - Expert systems (computer science) - Mathematische Logik - Wissensbasiertes System - Kennissystemen - Systèmes experts (informatique)

Edition Identifiers:

• The Open Library ID: OL7329255M - OL9283903M
• Online Computer Library Center (OCLC) ID: 33271520
• Library of Congress Control Number (LCCN): gb95080262
• All ISBNs: 9780126960600 - 0126960607

“Abhandlung über die Prinzipien der Logik” Metadata:

• Title: ➤  Abhandlung über die Prinzipien der Logik
• Author: Wolff, Michael
• Language: ger
• Number of Pages: Median: 388
• Publisher: ➤  Klostermann - Vittorio Klostermann GmbH
• Publish Date: 2004 - 2009
• Publish Location: Frankfurt am Main

“Abhandlung über die Prinzipien der Logik” Subjects and Themes:

• Subjects: ➤  Symbolic and mathematical Logic - Criticism and interpretation - Syllogism - Logic - Mathematische Logik - Aristotle - Logic, symbolic and mathematical
• People: Aristotle

Edition Identifiers:

• The Open Library ID: OL24079069M - OL31620003M
• Online Computer Library Center (OCLC) ID: 54512309 - 456186568
• Library of Congress Control Number (LCCN): 2004422989 - 2009523150
• All ISBNs: 3465036395 - 9783465036395 - 3465033043 - 9783465033042

“Formal logic” Metadata:

• Title: Formal logic
• Author: Richard C. Jeffrey
• Language: English
• Number of Pages: Median: 196
• Publisher: McGraw-Hill
• Publish Date: 1967 - 1991
• Publish Location: New York

“Formal logic” Subjects and Themes:

• Subjects: ➤  First-order logic - Wiskundige logica - Mathematische Logik - Waarheid - Afleiding (logica) - Formele logica - Symbolische logica - Ontbrekende gegevens - Einführung - Equivalentie - Logic - Identiteitsbeginsel - Logique - Symbolic and mathematical Logic

Edition Identifiers:

• The Open Library ID: OL20947043M - OL22622641M
• Online Computer Library Center (OCLC) ID: 1243841372
• Library of Congress Control Number (LCCN): 67016929
• All ISBNs: 9780070323162 - 007032316X - 9780070323575 - 0070323577

“Logic for mathematicians” Metadata:

• Title: Logic for mathematicians
• Author: Rosser, J. Barkley
• Language: English
• Number of Pages: Median: 574
• Publisher: ➤  Chelsea Pub. Co. - Dover Publications - McGraw-Hill
• Publish Date: 1953 - 1978 - 2008
• Publish Location: Mineola, N.Y - New York

“Logic for mathematicians” Subjects and Themes:

• Subjects: ➤  Logic, Symbolic and mathematical - Symbolic and mathematical Logic - Mathematische Logik - Logique symbolique et mathématique

Edition Identifiers:

• The Open Library ID: OL6094866M - OL23145673M - OL4541020M
• Online Computer Library Center (OCLC) ID: 2963692 - 227923880 - 374845
• Library of Congress Control Number (LCCN): 77007663 - 51012640 - 2008032647
• All ISBNs: 9780828402941 - 9780486468983 - 0828402949 - 0486468984

“Superior beings” Metadata:

• Title: Superior beings
• Author: Steven J. Brams
• Language: English
• Number of Pages: Median: 202
• Publisher: Springer-Verlag
• Publish Date: 1983
• Publish Location: New York

“Superior beings” Subjects and Themes:

• Subjects: ➤  God - Game theory - Attributes - Mathematische Logik - Opperwezens - Dieu - Jeux, Théorie des - Spieltheorie - Gottesvorstellung - Existence - God (Christianity) - Speltheorie - Attributs

Edition Identifiers:

• The Open Library ID: OL3168461M
• Online Computer Library Center (OCLC) ID: 9557178
• Library of Congress Control Number (LCCN): 83010530
• All ISBNs: 9780387908779 - 9780387912233 - 0387912231 - 0387908773

“The mechanism and freedom of logic” Metadata:

• Title: ➤  The mechanism and freedom of logic
• Author: Granville C. Henry
• Language: English
• Number of Pages: Median: 232
• Publisher: ➤  University Press of America - Univ Pr of Amer
• Publish Date: 1993
• Publish Location: Lanham

“The mechanism and freedom of logic” Subjects and Themes:

• Subjects: ➤  Prolog (Computer program language) - Logic - PROLOG (Programmiersprache) - Computer - Mathematische Logik - Logische Programmierung - Prolog (computer program language)

Edition Identifiers:

• The Open Library ID: OL1730715M
• Online Computer Library Center (OCLC) ID: 26852663
• Library of Congress Control Number (LCCN): 92035172
• All ISBNs: 9780819189639 - 0819189642 - 9780819189646 - 0819189634

“Logic” Metadata:

• Title: Logic
• Author: Donald Kalish
• Language: English
• Number of Pages: Median: 350
• Publisher: Harcourt Brace & World
• Publish Date: 1964
• Publish Location: New York

“Logic” Subjects and Themes:

• Subjects: ➤  Symboles - Mathematische Logik - Symbolic and mathematical Logic - Logique - Logic

Edition Identifiers:

• The Open Library ID: OL24938503M
• Online Computer Library Center (OCLC) ID: 611593484
• Library of Congress Control Number (LCCN): 64010046
• All ISBNs: 0155511807 - 9780155511804

“Logicomix - An Epic Search for Truth” Metadata:

• Title: ➤  Logicomix - An Epic Search for Truth
• Authors: Apostolos K. DoxiadēsChristos H. PapadimitriouAlecos Papadatos
• Languages: fre - English
• Number of Pages: Median: 350
• Publisher: ➤  Ikaros - Bloomsbury Publishing PLC - Sinsentido - Atrium Verlag - Vuibert - Salamandra - Salamandra Graphic - Bloomsbury
• Publish Date: ➤  2008 - 2009 - 2010 - 2013 - 2014
• Publish Location: ➤  Athēna - New York - Great Britain

“Logicomix - An Epic Search for Truth” Subjects and Themes:

• Subjects: ➤  Philosophers - Philosophie - Mathematische Logik - Mathematik - Mathematicians - Biography - Comic books, strips - Bertrand - 1872-1970 - Fiction - Reading Level-Grade 7 - Reading Level-Grade 9 - Reading Level-Grade 8 - Reading Level-Grade 11 - Reading Level-Grade 10 - Reading Level-Grade 12 - Comics & graphic novels, general - nyt:paperback-graphic-books=2009-10-18 - New York Times bestseller - Graphic novels - Fiction, biographical
• People: Bertrand Russell (1872-1970)

Edition Identifiers:

• The Open Library ID: ➤  OL25168045M - OL23999375M - OL25437550M - OL27694365M - OL35620812M - OL26915692M - OL23616906M - OL23690612M
• Online Computer Library Center (OCLC) ID: 436774230 - 828180479 - 276878053 - 317455969
• Library of Congress Control Number (LCCN): 2009394186
• All ISBNs: ➤  9783855350698 - 9788416131037 - 1596914521 - 9781596914520 - 8496722740 - 9789608399679 - 9782711743513 - 3855350698 - 960839967X - 9780747597209 - 2711743519 - 9788496722743 - 8416131031 - 0747597200

“Introduction to Mathematical Logic, Fifth Edition (Discrete Mathematics and Applications)” Metadata:

• Title: ➤  Introduction to Mathematical Logic, Fifth Edition (Discrete Mathematics and Applications)
• Author: Elliott Mendelson
• Languages: und - English
• Number of Pages: Median: 456
• Publisher: ➤  Taylor & Francis Group - Van Nostrand - Wadsworth & Brooks/Cole Advanced Books & Software - Chap.& H. - Wiley & Sons, Incorporated, John - Chapman & Hall/CRC - CRC Press/Taylor & Francis Group
• Publish Date: ➤  1964 - 1966 - 1968 - 1979 - 1987 - 1995 - 1997 - 2009 - 2010 - 2011 - 2015
• Publish Location: ➤  Boca Raton - New York - Princeton, New Jersey - Princeton, NJ - Princeton, N.J - Monterey, Calif

“Introduction to Mathematical Logic, Fifth Edition (Discrete Mathematics and Applications)” Subjects and Themes:

• Subjects: ➤  Symbolic and mathematical Logic - Logic, symbolic and mathematical - Logique symbolique et mathématique - Mathematische Logik

Edition Identifiers:

• The Open Library ID: ➤  OL33505429M - OL33398815M - OL33431196M - OL33488717M - OL23790256M - OL29249487M - OL31057295M - OL33550784M - OL33758715M - OL39829295M - OL4747529M - OL22120894M - OL5908644M - OL22777866M - OL2717873M - OL22335558M - OL7479215M - OL23018352M - OL12313851M
• Online Computer Library Center (OCLC) ID: 148589097 - 259359 - 4922554 - 13580200
• Library of Congress Control Number (LCCN): 2009002833 - 78065959 - 64009524 - 86011084 - 2014044032
• All ISBNs: ➤  1482237792 - 0534066240 - 9781482237726 - 1584888768 - 9781439889893 - 9780534066246 - 9780412808302 - 1584888776 - 9781482237801 - 0412069717 - 9781584888772 - 9781482237795 - 9781584888765 - 0442301855 - 1439889899 - 042916209X - 9781482237788 - 1482237725 - 9780442253073 - 1482237806 - 9780429162091 - 0442253079 - 9780412069710 - 9781439889886 - 1439889880 - 9780442301859 - 0412808307 - 1482237784

“Discrete structures, logic, and computability” Metadata:

• Title: ➤  Discrete structures, logic, and computability
• Author: James L. Hein
• Language: English
• Number of Pages: Median: 943
• Publisher: ➤  World Headquarters/Jones & Bartlett Learning - Jones & Bartlett Learning, LLC - Jones and Bartlett Publishers - Jones & Bartlett Learning - Jones and Bartlett
• Publish Date: ➤  1994 - 1995 - 2002 - 2010 - 2015 - 2016
• Publish Location: ➤  Sudbury, Mass - Boston - Burlington, MA

“Discrete structures, logic, and computability” Subjects and Themes:

• Subjects: ➤  Computable functions - Computer science - Data structures (Computer science) - Logic programming - Logic, Symbolic and mathematical - Mathematics - Symbolic and mathematical Logic - Traitement automatique des données - Mathematische Logik - Automatische bewijsvoering - Berechenbarkeit - Diskrete Mathematik - Berekenbaarheid - Logisch programmeren - Computer science, mathematics - Computer science--mathematics - Data structures (computer science) - Logic, symbolic and mathematical - Qa76.9.m35

Edition Identifiers:

• The Open Library ID: ➤  OL1104046M - OL1435849M - OL30395820M - OL36307860M - OL40246309M - OL18386190M - OL23150212M - OL28582566M
• Online Computer Library Center (OCLC) ID: 49887666 - 910073074 - 290423157
• Library of Congress Control Number (LCCN): 93048045 - 2015019684 - 94029101 - 2008055744 - 2001038122
• All ISBNs: ➤  9780867204773 - 9789380108391 - 9780763718435 - 0867204672 - 0763718432 - 9780763772062 - 086720477X - 0763772062 - 1284070409 - 9781284070408 - 1449615279 - 9781284099867 - 9780867204674 - 9380108397 - 1284099865 - 9781449615277

“Formal logic” Metadata:

• Title: Formal logic
• Author: Richard C. Jeffrey
• Language: English
• Number of Pages: Median: 176
• Publisher: ➤  Hackett Pub. - Hackett Pub.Co. - McGraw-Hill Education - McGraw-Hill
• Publish Date: ➤  1967 - 1981 - 1990 - 2004 - 2006
• Publish Location: ➤  New York - Indianapolis, IN - Indianapolis

“Formal logic” Subjects and Themes:

• Subjects: First-order logic - Textbooks - Logic - Mathematische Logik - Einfu˜hrung

Edition Identifiers:

• The Open Library ID: OL3430116M - OL4108799M - OL1863245M - OL3302378M - OL9958732M
• Online Computer Library Center (OCLC) ID: 56481979 - 6533106
• Library of Congress Control Number (LCCN): 90021013 - 2004042363 - 2005055005 - 80023655
• All ISBNs: ➤  9780872207493 - 9780070323162 - 9780070323216 - 0070323216 - 9780070323575 - 0872208133 - 0070323577 - 0872207498 - 9780872208131 - 007032316X

“Fundamentals of mathematical logic” Metadata:

• Title: ➤  Fundamentals of mathematical logic
• Author: Peter G. Hinman
• Language: English
• Number of Pages: Median: 886
• Publisher: ➤  A.K. Peters - CRC Press LLC - A K Peters
• Publish Date: 2005 - 2006 - 2018
• Publish Location: ➤  Wellesley, Mass - Wellesley, MA

“Fundamentals of mathematical logic” Subjects and Themes:

• Subjects: ➤  Model theory - Recursion theory - Set theory - Symbolic and mathematical Logic - Logique symbolique et mathématique - Théorie des modèles - Théorie des ensembles - Théorie de la récursivité - MATHEMATICS - General - Mathematische Logik - Wiskundige logica - Lógica matemática (textos avançados) - Logic, symbolic and mathematical

Edition Identifiers:

• The Open Library ID: ➤  OL29416377M - OL3426938M - OL50616666M - OL22718666M - OL29058048M - OL50616897M
• Online Computer Library Center (OCLC) ID: 958798526 - 60796293
• Library of Congress Control Number (LCCN): 2005050968
• All ISBNs: ➤  1315275538 - 1351991752 - 1439864276 - 9781351994811 - 9781351991759 - 1568812620 - 9781315275536 - 9781568812625 - 9781439864272 - 1351994816

“The Mathematics of Logic” Metadata:

• Title: The Mathematics of Logic
• Author: Richard W. Kaye
• Language: English
• Number of Pages: Median: 211
• Publisher: Cambridge University Press
• Publish Date: 2007 - 2008 - 2010

“The Mathematics of Logic” Subjects and Themes:

• Subjects: ➤  Symbolic and mathematical Logic - Completeness theorem - MATHEMATICS - Mathematische Logik - Infinity - Logic - Metamathematics - Logic, symbolic and mathematical

Edition Identifiers:

• The Open Library ID: ➤  OL40784125M - OL40508074M - OL40500524M - OL34440112M - OL9526394M - OL9637778M
• Online Computer Library Center (OCLC) ID: 149011791
• Library of Congress Control Number (LCCN): 2007281840
• All ISBNs: ➤  0511341105 - 9780521882194 - 9780511341106 - 9780511339981 - 0511619243 - 9780521708777 - 9780511619243 - 052170877X - 0511339984 - 9780511341687 - 0511341687 - 0521882192

“Introduction to Mathematical Structures and Proofs” Metadata:

• Title: ➤  Introduction to Mathematical Structures and Proofs
• Author: Larry J. Gerstein
• Language: English
• Number of Pages: Median: 364
• Publisher: Springer - Springer New York
• Publish Date: 2012 - 2013 - 2016
• Publish Location: New York, NY

“Introduction to Mathematical Structures and Proofs” Subjects and Themes:

• Subjects: ➤  Symbolic and mathematical Logic - Mathematics - Global analysis (Mathematics) - Combinatorial analysis - Mathematical Logic and Foundations - Analysis - Number theory - Logic, symbolic and mathematical - Mathematische Logik - Mengenlehre - Kombinatorik - Zahlentheorie - Komplexe Zahl - Science (General) - Science, general

Edition Identifiers:

• The Open Library ID: ➤  OL37432222M - OL35781912M - OL30624234M - OL29666432M - OL28132194M - OL27046930M
• Online Computer Library Center (OCLC) ID: 805881214
• Library of Congress Control Number (LCCN): 2012940655
• All ISBNs: ➤  9783642592805 - 3642592805 - 9783642592799 - 1461442648 - 9781493951468 - 1493951467 - 9781468467109 - 9781461442646 - 9781461442653 - 1468467107 - 1461442656 - 3642592791

“Model theory” Metadata:

• Title: Model theory
• Author: Wilfrid Hodges
• Language: English
• Number of Pages: Median: 780
• Publisher: Cambridge University Press
• Publish Date: 1993 - 2009 - 2011
• Publish Location: New York - Cambridge [England]

“Model theory” Subjects and Themes:

• Subjects: ➤  Model theory - Mathematische Logik - Histoire logique - Modelos matemáticos - Modelltheorie - Teoria dos modelos - Theorie modele - Modèles, théorie des - Wiskundige modellen - Lógica matemática - Logique

Edition Identifiers:

• The Open Library ID: OL34443374M - OL40488431M - OL53924190M - OL1545870M
• Online Computer Library Center (OCLC) ID: 24173886
• Library of Congress Control Number (LCCN): 91025082
• All ISBNs: ➤  0521304423 - 9780511551574 - 0511826729 - 9780511826726 - 0511551576 - 9780521304429 - 9781306148139 - 1306148138

“Logik und Algebra” Metadata:

• Title: Logik und Algebra
• Author: Frank Staab
• Language: ger
• Number of Pages: Median: 147
• Publisher: ➤  de Gruyter GmbH, Walter - Oldenbourg
• Publish Date: 2007 - 2012 - 2014
• Publish Location: München [u.a.]

“Logik und Algebra” Subjects and Themes:

• Subjects: ➤  Boolescher Verband - Mathematische Logik - Symbolic and mathematical Logic - Informatik - Algebra

Edition Identifiers:

• The Open Library ID: OL37195347M - OL37152775M - OL27071662M
• Online Computer Library Center (OCLC) ID: 162464010
• All ISBNs: ➤  3486716972 - 9783486583700 - 3486717537 - 3486583700 - 9783486716979 - 9783486717532

“Theoretical foundations of computer science” Metadata:

• Title: ➤  Theoretical foundations of computer science
• Author: Dino Mandrioli
• Language: English
• Number of Pages: Median: 478
• Publisher: Wiley - Krieger Pub. Co.
• Publish Date: 1987 - 1988 - 1993
• Publish Location: New York - Malabar, Fla

“Theoretical foundations of computer science” Subjects and Themes:

• Subjects: ➤  Computer science - Mathematics - Számítástechnika - 68Qxx - Informatique - Mathématiques - Mathematische Logik - Theoretische Informatik - Computers

Edition Identifiers:

• The Open Library ID: OL1725730M - OL22783804M - OL2373995M
• Library of Congress Control Number (LCCN): 92029749 - 87002118
• All ISBNs: ➤  9780471838340 - 0471859184 - 9780894647987 - 9780471859185 - 0471838349 - 0894647989

“Logic and Algorithms with Applications to the Computer and Information Sciences” Metadata:

• Title: ➤  Logic and Algorithms with Applications to the Computer and Information Sciences
• Author: Robert R. Korfhage
• Language: und
• Number of Pages: Median: 209
• Publisher: John Wiley & Sons Inc - Wiley
• Publish Date: 1967 - 1971

“Logic and Algorithms with Applications to the Computer and Information Sciences” Subjects and Themes:

• Subjects: ➤  Algorithmes - Algorithmus - Mathematische Logik - Symbolic and mathematical Logic - Logique symbolique et mathematique - Algorithms - Logique symbolique et mathématique - Logic, symbolic and mathematical

Edition Identifiers:

• The Open Library ID: OL7618459M - OL17175563M
• Online Computer Library Center (OCLC) ID: 634691701
• All ISBNs: 0471503665 - 9780471503651 - 9780471503668 - 0471503657

“The development of mathematical logic” Metadata:

• Title: ➤  The development of mathematical logic
• Author: P. H. Nidditch
• Language: English
• Number of Pages: Median: 88
• Publisher: ➤  Routledge and Kegan Paul - Free Press of Glencoe
• Publish Date: 1962
• Publish Location: New York - London

“The development of mathematical logic” Subjects and Themes:

• Subjects: ➤  Mathematics - Philosophy - Symbolic and mathematical Logic - Mathematische Logik - Geschichte

Edition Identifiers:

• The Open Library ID: OL5867323M - OL20837031M
• Library of Congress Control Number (LCCN): 62052023

“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

“Free Logic” Metadata:

• Title: Free Logic
• Author: Karel Lambert
• Language: English
• Number of Pages: Median: 203
• Publisher: Cambridge University Press
• Publish Date: 2002 - 2003 - 2007
• Publish Location: New York - Cambridge, UK

“Free Logic” Subjects and Themes:

• Subjects: ➤  Free logic - Mathematische Logik - Electronic books - Logique libre - PHILOSOPHY - Logica - Logic - Aufsatzsammlung

Edition Identifiers:

• The Open Library ID: OL7764806M - OL9901289M - OL18222202M
• Online Computer Library Center (OCLC) ID: 48920336
• Library of Congress Control Number (LCCN): 2002020177
• All ISBNs: 9780521818162 - 0521039223 - 9780521039222 - 0521818168

“Logic and information flow” Metadata:

• Title: Logic and information flow
• Authors: J. van EijckAlbert Visser
• Language: English
• Number of Pages: Median: 239
• Publisher: MIT Press
• Publish Date: 1994 - 2018
• Publish Location: Cambridge, Mass

“Logic and information flow” Subjects and Themes:

• Subjects: ➤  Natural language processing (Computer science) - Symbolic and mathematical Logic - Computer science - MATHEMATICS - Infinity - Logic - Logica - Informatica - Natuurlijke taal - Inteligencia artificial - Informationstheorie - Mathematische Logik - Engineering & Applied Sciences - Logic, symbolic and mathematical

Edition Identifiers:

• The Open Library ID: OL53276136M - OL29259031M - OL1429472M
• Online Computer Library Center (OCLC) ID: 29255711
• Library of Congress Control Number (LCCN): 93040778
• All ISBNs: ➤  9780585358451 - 9780262285421 - 9780262220477 - 0262220474 - 0262285428 - 0585358451

“Mathematische Grundlagen der Informatik” Metadata:

• Title: ➤  Mathematische Grundlagen der Informatik
• Authors: Christoph MeinelMartin Mundhenk
• Language: ger
• Publisher: ➤  Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH - Vieweg+Teubner Verlag
• Publish Date: 2002 - 2009 - 2011
• Publish Location: Wiesbaden

“Mathematische Grundlagen der Informatik” Subjects and Themes:

• Subjects: Beweis - Mathematische Logik - Mengenlehre - Graphentheorie - Boolesche Algebra

Edition Identifiers:

• The Open Library ID: OL50606500M - OL50605792M - OL27073580M
• Online Computer Library Center (OCLC) ID: 864027729
• All ISBNs: ➤  3835190369 - 3322918890 - 3834893102 - 9783835190368 - 9783322918895 - 9783834893109

“From Frege to Gödel” Metadata:

• Title: From Frege to Gödel
• Author: Jean Van Heijenoort
• Language: English
• Number of Pages: Median: 660
• Publisher: Harvard University Press
• Publish Date: 1967
• Publish Location: Cambridge

“From Frege to Gödel” Subjects and Themes:

• Subjects: ➤  Addresses, essays, lectures - Mathematics - Philosophy - Symbolic and mathematical Logic - Història - Lògica matemàtica - Logic, symbolic and mathematical - Mathematics, philosophy - Logique symbolique et mathématique - Mathématiques - Philosophie - Mathematische Logik - Wiskundige logica - Sources - History

Edition Identifiers:

• The Open Library ID: OL5534339M - OL16498954M - OL17757139M
• Online Computer Library Center (OCLC) ID: 523838
• Library of Congress Control Number (LCCN): 67010905
• All ISBNs: 0674324501 - 9780674324503

“Logical Dilemmas” Metadata:

• Title: Logical Dilemmas
• Author: John W. Dawson Jr.
• Language: English
• Number of Pages: Median: 376
• Publisher: A K Peters, Ltd.
• Publish Date: 2005

“Logical Dilemmas” Subjects and Themes:

• Subjects: Biographie - Gödel - Mathematische Logik - Geschichte 1901-2000 - Goedel, kurt, 1906-1978

Edition Identifiers:

• The Open Library ID: OL8690761M
• All ISBNs: 9781568812564 - 1568812566

“Einführung in die mathematische Logik” Metadata:

• Title: ➤  Einführung in die mathematische Logik
• Author: Günter Asser
• Language: ger
• Number of Pages: Median: 190
• Publisher: BSB Teubner
• Publish Date: 1975
• Publish Location: Leipzig

“Einführung in die mathematische Logik” Subjects and Themes:

• Subjects: Mathematische Logik

Edition Identifiers:

• The Open Library ID: OL37836293M - OL37836294M
• Online Computer Library Center (OCLC) ID: 717773069 - 633938759

“Unterhaltsame Logik” Metadata:

• Title: Unterhaltsame Logik
• Author: Otakar Zich
• Language: ger
• Number of Pages: Median: 84
• Publisher: Deutsch - BSB Teubner
• Publish Date: 1975
• Publish Location: ➤  Frankfurt am Main - Zürich - Thun - Leipzig

“Unterhaltsame Logik” Subjects and Themes:

• Subjects: Mathematische Logik

Edition Identifiers:

• The Open Library ID: OL37833746M - OL37836183M
• Online Computer Library Center (OCLC) ID: 224486798 - 247191588
• All ISBNs: 9783871441363 - 3871441368

“Symbolic logic” Metadata:

• Title: Symbolic logic
• Author: Harold N. Lee
• Language: English
• Number of Pages: Median: 356
• Publisher: ➤  Random House - Routledge & Kegan Paul
• Publish Date: 1961 - 1962
• Publish Location: New York - London

“Symbolic logic” Subjects and Themes:

• Subjects: ➤  Symbolic and mathematical Logic - Symbolische logica - Logique symbolique et mathématique - Mathematische Logik

Edition Identifiers:

• The Open Library ID: OL52942797M - OL44767858M
• Online Computer Library Center (OCLC) ID: 260963 - 3800592
• Library of Congress Control Number (LCCN): 61009676

“Logic from A to Z” Metadata:

• Title: Logic from A to Z
• Author: Michael Detlefsen
• Language: English
• Number of Pages: Median: 116
• Publisher: Routledge
• Publish Date: 1999
• Publish Location: London - New York

“Logic from A to Z” Subjects and Themes:

• Subjects: ➤  Dictionaries - Logic - Wiskundige logica - Wörterbuch - Mathematische Logik - PHILOSOPHY - Logik - Logic, symbolic and mathematical - Mathematics - Encyclopedias - Symbolic and mathematical Logic

Edition Identifiers:

• The Open Library ID: OL6804936M
• Online Computer Library Center (OCLC) ID: 49981695 - 40588828 - 43035594
• Library of Congress Control Number (LCCN): 00267716
• All ISBNs: 0415213754 - 9780415213752

“Other Logics” Metadata:

• Title: Other Logics
• Author: Admir Skodo
• Language: English
• Number of Pages: Median: 246
• Publisher: BRILL - Brill
• Publish Date: 2014
• Publish Location: Boston - Leiden

“Other Logics” Subjects and Themes:

• Subjects: Logic, history - Logic - History - Mathematische Logik

Edition Identifiers:

• The Open Library ID: OL31185797M - OL29694485M
• Online Computer Library Center (OCLC) ID: 869755661
• Library of Congress Control Number (LCCN): 2013050314
• All ISBNs: 9004270035 - 9789004270039 - 9789004270183 - 9789004270 - 9004270183

“A course on mathematical logic” Metadata:

• Title: A course on mathematical logic
• Author: Shashi Mohan Srivastava
• Language: English
• Number of Pages: Median: 176
• Publisher: Springer
• Publish Date: 2008 - 2013
• Publish Location: New York

“A course on mathematical logic” Subjects and Themes:

• Subjects: ➤  Symbolic and mathematical Logic - 0 Gesamtdarstellung - Mathematische Logik - Logic

Edition Identifiers:

• The Open Library ID: OL16917817M - OL28116584M
• Online Computer Library Center (OCLC) ID: 180470520
• Library of Congress Control Number (LCCN): 2008920049
• All ISBNs: 9781461457473 - 1461457475 - 0387762752 - 9780387762753

“Games, logic, and constructive sets” Metadata:

• Title: ➤  Games, logic, and constructive sets
• Authors: G. E. Mint͡sReinhard Muskens
• Language: English
• Number of Pages: Median: 136
• Publisher: ➤  CSLI Publications - Center for the Study of Language and Inf
• Publish Date: 2003
• Publish Location: Stanford, CA

“Games, logic, and constructive sets” Subjects and Themes:

• Subjects: ➤  Symbolic and mathematical Logic - Constructibility (Set theory) - Game theory - Logic, symbolic and mathematical - Set theory - Game Theory - Logique symbolique et mathématique - Théorie des jeux - Constructibilité (Théorie des ensembles) - Mathematische Logik - Mengenlehre - Spieltheorie

Edition Identifiers:

• The Open Library ID: OL22553229M - OL8746481M
• Online Computer Library Center (OCLC) ID: 52773593
• Library of Congress Control Number (LCCN): 2003015819
• All ISBNs: 9781575864501 - 1575864509

“Theory of Logical Types” Metadata:

• Title: Theory of Logical Types
• Author: Irving M. Copi
• Language: English
• Number of Pages: Median: 149
• Publisher: Taylor & Francis Group
• Publish Date: 2011 - 2012

“Theory of Logical Types” Subjects and Themes:

• Subjects: ➤  Logic, symbolic and mathematical - Type theory - Théorie des types - Logique symbolique et mathématique - PHILOSOPHY - Logic - Logik - Mathematische Logik - Typentheorie - Logica Matematica

Edition Identifiers:

• The Open Library ID: OL28463532M - OL28463404M
• Online Computer Library Center (OCLC) ID: 709802700
• All ISBNs: 0415617030 - 9780415617031 - 0415616271 - 9780415616270

“Grundbegriffe der Mengenlehre und Logik” Metadata:

• Title: ➤  Grundbegriffe der Mengenlehre und Logik
• Author: Maria Hasse
• Language: ger
• Number of Pages: Median: 87
• Publisher: ➤  BSB Teubner - Vieweg+Teubner Verlag
• Publish Date: 1974 - 2012
• Publish Location: Leipzig

“Grundbegriffe der Mengenlehre und Logik” Subjects and Themes:

• Subjects: Mathematische Logik - Moderne Logik - Aussagenlogik - Formale Logik - Mengenlehre

Edition Identifiers:

• The Open Library ID: OL34650184M - OL27957859M
• Online Computer Library Center (OCLC) ID: 250742489
• All ISBNs: 3322003809 - 9783322003805

“Fields of logic and computation” Metadata:

• Title: ➤  Fields of logic and computation
• Authors: Yuri GurevichAndreas BlassNachum DershowitzWolfgang Reisig
• Language: English
• Number of Pages: Median: 626
• Publisher: Springer
• Publish Date: 2010
• Publish Location: New York - Berlin

“Fields of logic and computation” Subjects and Themes:

• Subjects: ➤  Softwarespezifikation - Komplexitätstheorie - Mathematische Logik - Symbolic and mathematical Logic - Berechenbarkeit - Programmverifikation - Formale Methode - Information theory - Computer science - Automatentheorie - Mathematics - Formal methods (Computer science) - Theoretische Informatik - Abstrakte Zustandsmaschine - Logic design - Computer networks - Software engineering - Computer software - Computer science, mathematics

Edition Identifiers:

• The Open Library ID: OL25375129M
• Online Computer Library Center (OCLC) ID: 657597118
• Library of Congress Control Number (LCCN): 2010931832
• All ISBNs: 9783642150241 - 3642150241

“Logic, Induction and Sets (London Mathematical Society Student Texts)” Metadata:

• Title: ➤  Logic, Induction and Sets (London Mathematical Society Student Texts)
• Author: Thomas Forster
• Language: English
• Number of Pages: Median: 244
• Publisher: Cambridge University Press
• Publish Date: 2003

“Logic, Induction and Sets (London Mathematical Society Student Texts)” Subjects and Themes:

• Subjects: ➤  Axiomatic set theory - Théorie axiomatique des ensembles - Axiomatische Mengenlehre - Mathematische Logik

Edition Identifiers:

• The Open Library ID: OL7765289M - OL7745030M
• Online Computer Library Center (OCLC) ID: 50958897
• Library of Congress Control Number (LCCN): 2002041001
• All ISBNs: 0521826217 - 9780521826211 - 9780521533614 - 0521533619

“Philosophical and mathematical correspondence” Metadata:

• Title: ➤  Philosophical and mathematical correspondence
• Author: Gottlob Frege
• Language: English
• Number of Pages: Median: 214
• Publisher: ➤  University of Chicago Press - B. Blackwell
• Publish Date: 1980
• Publish Location: Oxford - Chicago

“Philosophical and mathematical correspondence” Subjects and Themes:

• Subjects: ➤  Correspondence - Mathematicians - Wiskundige logica - Mathematische Logik - Mathematics, philosophy - Logic, symbolic and mathematical
• People: Gottlob Frege (1848-1925)
• Places: Germany

Edition Identifiers:

• The Open Library ID: OL19997502M - OL4419016M
• Online Computer Library Center (OCLC) ID: 5565016 - 16478437 - 6211220
• Library of Congress Control Number (LCCN): 79023199 - gb79030049
• All ISBNs: 9780631196204 - 0226261972 - 9780226261973 - 063119620X

“Proof and Disproof in Formal Logic” Metadata:

• Title: ➤  Proof and Disproof in Formal Logic
• Author: Richard Bornat
• Language: English
• Number of Pages: Median: 264
• Publisher: Oxford University Press, USA
• Publish Date: 2005