Search Results

“Propositional logics” Metadata:

• Title: Propositional logics
• Author: Richard L. Epstein
• Language: English
• Number of Pages: Median: 479
• Publisher: Wadsworth Publishing
• Publish Date: 2000

“Propositional logics” Subjects and Themes:

• Subjects: ➤  Proposition (Logic) - Symbolic and mathematical Logic - Semantics - Logic

Edition Identifiers:

• The Open Library ID: OL7785590M
• Library of Congress Control Number (LCCN): 00687818
• All ISBNs: 9780534558475 - 053455847X

“Propositional Logic (Introduction to Logic)” Metadata:

• Title: ➤  Propositional Logic (Introduction to Logic)
• Authors: Howard PospeselWilliam G. Lycan
• Language: English
• Number of Pages: Median: 259
• Publisher: ➤  Prentice Hall - Prentice Hall College Div - Prentice-Hall
• Publish Date: ➤  1974 - 1984 - 1997 - 1998 - 1999 - 2000
• Publish Location: ➤  London - Upper Saddle River, N.J - Englewood Cliffs, N.J - Englewood Cliffs

“Propositional Logic (Introduction to Logic)” Subjects and Themes:

• Subjects: ➤  Logic, Symbolic and mathematical - Proposition (Logic) - Reasoning - Symbolic and mathematical Logic - Logic - Language and logic - Logic, symbolic and mathematical

Edition Identifiers:

• The Open Library ID: ➤  OL21299083M - OL686541M - OL5423422M - OL21135607M - OL3176813M - OL7337311M - OL47432M - OL9285346M - OL9291966M - OL7330698M
• Library of Congress Control Number (LCCN): 97033465 - 99047648 - 73017397 - 83019256
• All ISBNs: ➤  9780130258496 - 0131649973 - 0130258490 - 0134861671 - 9780134861678 - 9780134862170 - 9780131649972 - 0134862171

“Propositional logic” Metadata:

• Title: Propositional logic
• Author: Alan W. Foster
• Language: English
• Number of Pages: Median: 305
• Publisher: ➤  University of Aston - Dept. of Educational Enquiry, University of Aston in Birmingham
• Publish Date: 1976
• Publish Location: Birmingham

“Propositional logic” Subjects and Themes:

• Subjects: Problems, exercises - Proposition (Logic)

Edition Identifiers:

• The Open Library ID: OL19868559M - OL22021514M

“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

“Natural Deduction in Propositional Logic” Metadata:

• Title: ➤  Natural Deduction in Propositional Logic
• Author: Phi
• Language: English
• Publisher: Independently Published
• Publish Date: 2022

Edition Identifiers:

• The Open Library ID: OL46683525M - OL44327174M - OL44337563M - OL46612525M - OL46629333M
• All ISBNs: 9798357231772 - 9798363209277 - 9798357234902 - 9798357109682 - 9798363217463

“Tableau Methods for Propositional Logic and Term Logic” Metadata:

• Title: ➤  Tableau Methods for Propositional Logic and Term Logic
• Author: Tomasz Jarmuzek
• Language: English
• Number of Pages: Median: 228
• Publisher: ➤  Lang GmbH, Internationaler Verlag der Wissenschaften, Peter
• Publish Date: 2021

Edition Identifiers:

• The Open Library ID: OL33860029M - OL33906830M - OL33906829M - OL33906832M
• All ISBNs: ➤  9783631846667 - 3631846673 - 9783631833728 - 3631833725 - 3631846665 - 9783631846674 - 3631846533 - 9783631846537

“Propositional logic” Metadata:

• Title: Propositional logic
• Author: Jarrett Leplin
• Language: English
• Number of Pages: Median: 118
• Publisher: University Press of America
• Publish Date: 1977

“Propositional logic” Subjects and Themes:

• Subjects: Logic

Edition Identifiers:

• The Open Library ID: OL11391611M
• Online Computer Library Center (OCLC) ID: 5878781
• All ISBNs: 081910728X - 9780819107282

“The propositional logic of Boethius” Metadata:

• Title: ➤  The propositional logic of Boethius
• Author: Dürr, Karl
• Language: English
• Number of Pages: Median: 79
• Publisher: ➤  Greenwood Press - North-Holland Pub. Co. - ABC-CLIO, LLC
• Publish Date: 1951 - 1980
• Publish Location: Amsterdam - Westport, Conn

“The propositional logic of Boethius” Subjects and Themes:

• Subjects: Logic - Logic, Medieval - Medieval Logic - Proposition (Logic) - Syllogism
• People: Boethius (d. 524)

Edition Identifiers:

• The Open Library ID: OL4104312M - OL201665M - OL15128687M
• Online Computer Library Center (OCLC) ID: 876856 - 6532773
• Library of Congress Control Number (LCCN): a52002550 - 52002550 - 80018931
• All ISBNs: 9780313211027 - 0313211027

“The Propositional Logic” Metadata:

• Title: The Propositional Logic
• Author: Avicenna
• Language: English
• Number of Pages: Median: 320
• Publisher: Springer
• Publish Date: 1973

“The Propositional Logic” Subjects and Themes:

• Subjects: Philosophy

Edition Identifiers:

• The Open Library ID: OL12801721M
• All ISBNs: 9789027703606 - 9027703604

“Logic and Propositions” Metadata:

• Title: Logic and Propositions
• Author: Marc Bohnes
• Language: English
• Publisher: GRIN Verlag GmbH
• Publish Date: 2013

Edition Identifiers:

• The Open Library ID: OL49466363M
• All ISBNs: 3656261121 - 9783656261124

“Propositional lax logic” Metadata:

• Title: Propositional lax logic
• Author: Matt Fairtlough
• Language: English
• Publisher: ➤  University of Sheffield, Dept. of Computer Science
• Publish Date: 1995
• Publish Location: Sheffield

Edition Identifiers:

• The Open Library ID: OL17273782M

“Introduction to logic Propositional Logic ” Metadata:

• Title: ➤  Introduction to logic Propositional Logic
• Author: Various
• Language: English
• Number of Pages: Median: 226
• Publisher: Prentice Hall, Inc
• Publish Date: 1974

Edition Identifiers:

• The Open Library ID: OL58685465M

“The propositional logic of Boethius” Metadata:

• Title: ➤  The propositional logic of Boethius
• Author: Karl Dürr
• Language: English
• Number of Pages: Median: 79
• Publisher: North-Holland
• Publish Date: 1951
• Publish Location: Amsterdam

“The propositional logic of Boethius” Subjects and Themes:

• Subjects: Syllogism - Proposition (Logic) - Medieval Logic - PHILOSOPHY / Logic
• People: Boethius (-524)

Edition Identifiers:

• The Open Library ID: OL27083458M
• Online Computer Library Center (OCLC) ID: 428099658
• All ISBNs: 0080957218 - 9780444533661 - 9780080957210 - 0444533664

“Propositional Logics Third Edition” Metadata:

• Title: ➤  Propositional Logics Third Edition
• Author: Richard L Epstein
• Number of Pages: Median: 510
• Publisher: Advanced Reasoning Forum
• Publish Date: 2012

“Propositional Logics Third Edition” Subjects and Themes:

• Subjects: Mathematics - Philosophy

Edition Identifiers:

• The Open Library ID: OL27604864M
• All ISBNs: 0983452164 - 9780983452164

“Towards a general logic of propositions ..” Metadata:

• Title: ➤  Towards a general logic of propositions ..
• Author: C. West Churchman
• Language: English
• Number of Pages: Median: 68
• Publisher: ➤  [University of Pennsylvania press]
• Publish Date: 1942
• Publish Location: Philadelphia

“Towards a general logic of propositions ..” Subjects and Themes:

• Subjects: ➤  Logic, Symbolic and mathematical - Logic - Symbolic and mathematical Logic

Edition Identifiers:

• The Open Library ID: OL184205M - OL14836763M
• Online Computer Library Center (OCLC) ID: 4709919
• Library of Congress Control Number (LCCN): a42005027

“Gentzen Calculi for Modal Propositional Logic” Metadata:

• Title: ➤  Gentzen Calculi for Modal Propositional Logic
• Author: Francesca Poggiolesi
• Language: English
• Number of Pages: Median: 236
• Publisher: ➤  Springer Science+Business Media B.V. - Springer
• Publish Date: 2011 - 2013
• Publish Location: Dordrecht

“Gentzen Calculi for Modal Propositional Logic” Subjects and Themes:

• Subjects: ➤  Mathematics - Computer vision - Philosophy (General) - Calculus - Modality (logic) - Logic, symbolic and mathematical - Linguistics (general) - Philosophy - Mathematics, general - Computer Imaging, Vision, Pattern Recognition and Graphics

Edition Identifiers:

• The Open Library ID: OL28299674M - OL25548760M
• All ISBNs: ➤  9048196698 - 9789048196708 - 9400734425 - 9789400734425 - 9789048196692 - 9048196701

“Propositional Logics (The Semantic Foundations of Logic)” Metadata:

• Title: ➤  Propositional Logics (The Semantic Foundations of Logic)
• Author: Stanisław Krajewski
• Language: English
• Number of Pages: Median: 512
• Publisher: Oxford University Press, USA
• Publish Date: 1995

Edition Identifiers:

• The Open Library ID: OL7387411M
• All ISBNs: 9780195087611 - 0195087615

“Completeness Theory for Propositional Logics” Metadata:

• Title: ➤  Completeness Theory for Propositional Logics
• Author: Michael Trombly
• Language: English
• Number of Pages: Median: 416
• Publisher: ➤  CreateSpace Independent Publishing Platform
• Publish Date: 2018

Edition Identifiers:

• The Open Library ID: OL54890212M
• All ISBNs: 9781987630220 - 198763022X

“The propositional logic of Boethius” Metadata:

• Title: ➤  The propositional logic of Boethius
• Author: Karl Dürr
• Language: English
• Number of Pages: Median: 79
• Publisher: North-Holland Pub. Co.
• Publish Date: 1951
• Publish Location: Amsterdam

Edition Identifiers:

• The Open Library ID: OL23314247M

“Demonstration software in propositional logic” Metadata:

• Title: ➤  Demonstration software in propositional logic
• Author: Stephen Hudson
• Language: English
• Publisher: Oxford Brookes University
• Publish Date: 2001
• Publish Location: Oxford

Edition Identifiers:

• The Open Library ID: OL18881182M

“The propositional logic of Avicenna” Metadata:

• Title: ➤  The propositional logic of Avicenna
• Author: Avicenna
• Languages: ara - English
• Number of Pages: Median: 298
• Publisher: Reidel
• Publish Date: 1973
• Publish Location: Boston - Dordrecht

“The propositional logic of Avicenna” Subjects and Themes:

• Subjects: Early works to 1800 - Logic

Edition Identifiers:

• The Open Library ID: OL5429418M
• Online Computer Library Center (OCLC) ID: 1002271
• Library of Congress Control Number (LCCN): 73075642

“The propositional logic of Boethius” Metadata:

• Title: ➤  The propositional logic of Boethius
• Author: Karl Du rr
• Language: English
• Publisher: North Holland Publ. Co.
• Publish Date: 1951
• Publish Location: Amsterdam

“The propositional logic of Boethius” Subjects and Themes:

• Subjects: Logic - Syllogism - Proposition (Logic) - Medieval Logic - PHILOSOPHY / Logic
• People: ➤  Anicius Manlius Severinus Boethius (ca. 480-524)

Edition Identifiers:

• The Open Library ID: OL13967294M

“Completeness theory for propositional logics” Metadata:

• Title: ➤  Completeness theory for propositional logics
• Author: Pogorzelski, Witold.
• Language: English
• Number of Pages: Median: 178
• Publisher: Birkhäuser
• Publish Date: 2008
• Publish Location: Boston - Basel

“Completeness theory for propositional logics” Subjects and Themes:

• Subjects: ➤  Completeness theorem - Logic, symbolic and mathematical

Edition Identifiers:

• The Open Library ID: OL17020898M
• Library of Congress Control Number (LCCN): 2008923069
• All ISBNs: 3764385170 - 9783764385170

“Bounded Arithmetic, Propositional Logic and Complexity Theory” Metadata:

• Title: ➤  Bounded Arithmetic, Propositional Logic and Complexity Theory
• Author: Jan Krajícek
• Language: English
• Publisher: Cambridge University Press
• Publish Date: 2009 - 2011

Edition Identifiers:

• The Open Library ID: OL34440741M - OL40382884M
• All ISBNs: 9780511529948 - 0511529945 - 0511884281 - 9780511884283

“Propositional Logical Thinking and Comprehension of Language Connectives” Metadata:

• Title: ➤  Propositional Logical Thinking and Comprehension of Language Connectives
• Author: Scott G. Paris
• Language: English
• Number of Pages: Median: 101
• Publisher: ➤  de Gruyter GmbH, Walter - De Gruyter, Inc.
• Publish Date: 1975 - 2019

“Propositional Logical Thinking and Comprehension of Language Connectives” Subjects and Themes:

• Subjects: Psycholinguistics

Edition Identifiers:

• The Open Library ID: OL37349421M - OL29101237M
• All ISBNs: 9027931976 - 9783111352213 - 9789027931979 - 3111352218

“Priority of Propositions. a Pragmatist Philosophy of Logic” Metadata:

• Title: ➤  Priority of Propositions. a Pragmatist Philosophy of Logic
• Author: María José ápolli
• Language: English
• Publisher: ➤  Springer International Publishing AG
• Publish Date: 2023 - 2024

Edition Identifiers:

• The Open Library ID: OL51059824M - OL46058116M
• All ISBNs: 9783031252280 - 9783031252310 - 3031252314 - 3031252284

“Galen and the logic of proposition” Metadata:

• Title: ➤  Galen and the logic of proposition
• Author: James W. Stakelum
• Language: English
• Number of Pages: Median: 96
• Publisher: "Angelicum"
• Publish Date: 1940
• Publish Location: Romae

“Galen and the logic of proposition” Subjects and Themes:

• Subjects: Logic - History
• People: Galen

Edition Identifiers:

• The Open Library ID: OL21615694M

“Logic, Part 1, Propositions and Relations” Metadata:

• Title: ➤  Logic, Part 1, Propositions and Relations

Edition Identifiers:

• The Open Library ID: OL42932460M

“Propositional Calculus (Monographs in Modern Logic)” Metadata:

• Title: ➤  Propositional Calculus (Monographs in Modern Logic)
• Author: P. H. Nidditch
• Publisher: Routledge & Kegan Paul PLC
• Publish Date: 1962

Edition Identifiers:

• The Open Library ID: OL45917260M
• All ISBNs: 0710038038 - 9780710038036

“Results in non-classical propositional logic” Metadata:

• Title: ➤  Results in non-classical propositional logic
• Author: Krister Segerberg
• Language: English
• Number of Pages: Median: 30
• Publish Date: 1968
• Publish Location: Uppsala

“Results in non-classical propositional logic” Subjects and Themes:

• Subjects: Addresses, essays, lectures - Logic - Modality (Logic)

Edition Identifiers:

• The Open Library ID: OL5716463M
• Online Computer Library Center (OCLC) ID: 36992
• Library of Congress Control Number (LCCN): 70358999

“Propositional calculus (Monographs in modern logic)” Metadata:

• Title: ➤  Propositional calculus (Monographs in modern logic)
• Author: P H Nidditch
• Language: English
• Number of Pages: Median: 98
• Publisher: Free Press of Glencoe
• Publish Date: 1962

Edition Identifiers:

• The Open Library ID: OL50060055M

“Theory of Effective Propositional Paraconsistent Logics” Metadata:

• Title: ➤  Theory of Effective Propositional Paraconsistent Logics
• Authors: Arnon AvronOfer ArieliAnna Zamansky
• Language: English
• Number of Pages: Median: 576
• Publisher: College Publications
• Publish Date: 2018

“Theory of Effective Propositional Paraconsistent Logics” Subjects and Themes:

• Subjects: ➤  Symbolic and mathematical Logic - Mathematics - Theory of Knowledge

Edition Identifiers:

• The Open Library ID: OL27805209M
• Online Computer Library Center (OCLC) ID: 1039298456
• All ISBNs: 1848902700 - 9781848902701

“Completeness Theory for Propositional Logics (Studies in Universal Logic)” Metadata:

• Title: ➤  Completeness Theory for Propositional Logics (Studies in Universal Logic)
• Authors: Witold A. PogorzelskiPiotr Wojtylak
• Number of Pages: Median: 178
• Publisher: Birkhäuser
• Publish Date: 2008

“Completeness Theory for Propositional Logics (Studies in Universal Logic)” Subjects and Themes:

• Subjects: ➤  Logic, symbolic and mathematical - Mathematics - Symbolic and mathematical Logic - Mathematical Logic and Foundations

Edition Identifiers:

• The Open Library ID: OL26755857M
• All ISBNs: 9783764385187 - 3764385189

“The role of logical form in propositions about existence” Metadata:

• Title: ➤  The role of logical form in propositions about existence
• Author: Stanley Bonneau Reid
• Language: English
• Number of Pages: Median: 300
• Publisher: University of California Press
• Publish Date: 1931
• Publish Location: Berkeley, Calif

“The role of logical form in propositions about existence” Subjects and Themes:

• Subjects: Views on logic - Reasoning - Logic
• People: F. H. Bradley (1846-1924) - William Ernest Johnson

Edition Identifiers:

• The Open Library ID: OL53050350M - OL23060983M
• Online Computer Library Center (OCLC) ID: 1900794
• Library of Congress Control Number (LCCN): 31001328 - a31001328

“Bounded Arithmetic, Propositional Logic and Complexity Theory” Metadata:

• Title: ➤  Bounded Arithmetic, Propositional Logic and Complexity Theory
• Authors: Jan KrajicekG. C. RotaB. DoranM. IsmailT. Y. Lam
• Language: English
• Number of Pages: Median: 361
• Publisher: Cambridge University Press
• Publish Date: 1995

Edition Identifiers:

• The Open Library ID: OL53946742M
• All ISBNs: 1306148456 - 9781306148450

“Introduction to Propositional Logic and Set Theory” Metadata:

• Title: ➤  Introduction to Propositional Logic and Set Theory
• Author: Cesar GALLO
• Language: English
• Publisher: Independently Published
• Publish Date: 2021

Edition Identifiers:

• The Open Library ID: OL48513759M
• All ISBNs: 9798593189264

“Basic Concepts and Symbolization in Propositional Logic” Metadata:

• Title: ➤  Basic Concepts and Symbolization in Propositional Logic
• Author: Katarzyna Paprzycka-Hausman
• Language: English
• Publisher: Independently Published
• Publish Date: 2022

Edition Identifiers:

• The Open Library ID: OL44285568M
• All ISBNs: 9798355906245

“Adding propositional scopes to linear temporal logic” Metadata:

• Title: ➤  Adding propositional scopes to linear temporal logic
• Author: May Haydar
• Language: English
• Number of Pages: Median: 24
• Publisher: ➤  Centre de recherche informatique de Montréal
• Publish Date: 2005
• Publish Location: Montréal

Edition Identifiers:

• The Open Library ID: OL31717160M
• Library of Congress Control Number (LCCN): 2006389410
• All ISBNs: 2895220611 - 9782895220619

“Bounded arithmetic, propositional logic, and complexity theory” Metadata:

• Title: ➤  Bounded arithmetic, propositional logic, and complexity theory
• Author: Jan Krajíček
• Language: English
• Number of Pages: Median: 343
• Publisher: Cambridge University Press
• Publish Date: 1995
• Publish Location: ➤  Cambridge [England] - New York, NY, USA

“Bounded arithmetic, propositional logic, and complexity theory” Subjects and Themes:

• Subjects: Computational complexity - Proposition (Logic) - Constructive mathematics

Edition Identifiers:

• The Open Library ID: OL1120584M
• Online Computer Library Center (OCLC) ID: 31814801
• Library of Congress Control Number (LCCN): 94047054
• All ISBNs: 9780521452052 - 0521452058

“Picklo's Theory of Propositional Logic in Discrete Mathematics” Metadata:

• Title: ➤  Picklo's Theory of Propositional Logic in Discrete Mathematics
• Author: Cory Dodson-Picklo
• Language: English
• Number of Pages: Median: 26
• Publisher: ➤  CreateSpace Independent Publishing Platform
• Publish Date: 2017

Edition Identifiers:

• The Open Library ID: OL55463169M
• All ISBNs: 154834589X - 9781548345891

“Bounds for cut elimination in intuitionistic propositional logic” Metadata:

• Title: ➤  Bounds for cut elimination in intuitionistic propositional logic
• Author: Jörg Hudelmaier
• Language: English
• Number of Pages: Median: 36
• Publish Date: 1989

Edition Identifiers:

• The Open Library ID: OL53784582M
• Online Computer Library Center (OCLC) ID: 46110086

“Elements of Logic As a Science of Propositions” Metadata:

• Title: ➤  Elements of Logic As a Science of Propositions
• Author: ➤  Emily Elizabeth Constance Jones
• Language: English
• Publisher: Creative Media Partners, LLC
• Publish Date: 2023

Edition Identifiers:

• The Open Library ID: OL50764074M
• All ISBNs: 9781019406175 - 1019406178

“Approaches to the satisfiability problem of propositional logic” Metadata:

• Title: ➤  Approaches to the satisfiability problem of propositional logic
• Author: J.G Harris
• Language: English
• Publisher: UMIST
• Publish Date: 1994
• Publish Location: Manchester

Edition Identifiers:

• The Open Library ID: OL20378691M

“Propositional logical thinking and comprehension of language connectives” Metadata:

• Title: ➤  Propositional logical thinking and comprehension of language connectives
• Author: Scott G. Paris
• Language: English
• Number of Pages: Median: 101
• Publisher: Mouton
• Publish Date: 1975
• Publish Location: The Hague

“Propositional logical thinking and comprehension of language connectives” Subjects and Themes:

• Subjects: Logic - Thought and thinking - Psycholinguistics

Edition Identifiers:

• The Open Library ID: OL4934952M
• Online Computer Library Center (OCLC) ID: 2493686
• Library of Congress Control Number (LCCN): 76361958
• All ISBNs: 9789027933737 - 9027933731

“Propositional Logic of Avicenna : A Translation from Al-Shif” Metadata:

• Title: ➤  Propositional Logic of Avicenna : A Translation from Al-Shif
• Author: Avicenna
• Language: English
• Publisher: Springer Netherlands
• Publish Date: 2011

Edition Identifiers:

• The Open Library ID: OL37169131M
• All ISBNs: 9401026262 - 9789401026260

“Propositional Logic As a Boolean Algebra - a New Perspective” Metadata:

• Title: ➤  Propositional Logic As a Boolean Algebra - a New Perspective
• Author: William Veatch
• Language: English
• Number of Pages: Median: 252
• Publisher: ➤  CreateSpace Independent Publishing Platform
• Publish Date: 2017

Edition Identifiers:

• The Open Library ID: OL56065592M
• All ISBNs: 9781979069236 - 1979069239

“Introduction to Propositional Logic and Set Theory : Math for Everyone” Metadata:

• Title: ➤  Introduction to Propositional Logic and Set Theory : Math for Everyone
• Author: César Gallo
• Language: English
• Publisher: Independently Published
• Publish Date: 2018

Edition Identifiers:

• The Open Library ID: OL40598379M
• All ISBNs: 9781977067913 - 1977067913

“The method of Socratic proofs for normal modal propositional logics” Metadata:

• Title: ➤  The method of Socratic proofs for normal modal propositional logics
• Author: Dorota Leszczynska-Jasion
• Language: English
• Number of Pages: Median: 96
• Publisher: ➤  Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza - Wydawn. Naukowe Uniwersytetu im. Adama Mickiewicza
• Publish Date: 2007
• Publish Location: Poznań

“The method of Socratic proofs for normal modal propositional logics” Subjects and Themes:

• Subjects: Proposition (Logic) - Questioning - Proof theory

Edition Identifiers:

• The Open Library ID: OL24894598M
• Online Computer Library Center (OCLC) ID: 313814971
• Library of Congress Control Number (LCCN): 2010452130
• All ISBNs: 9788323218111 - 8323218110

“Elements of logic as a science of propositions” Metadata:

• Title: ➤  Elements of logic as a science of propositions
• Author: ➤  Emily Elizabeth Constance Jones
• Language: English
• Number of Pages: Median: 208
• Publisher: T. & T. Clark
• Publish Date: 1890
• Publish Location: Edinburgh

“Elements of logic as a science of propositions” Subjects and Themes:

• Subjects: Logic

Edition Identifiers:

• The Open Library ID: OL7236081M
• Online Computer Library Center (OCLC) ID: 3899636
• Library of Congress Control Number (LCCN): 14000943

“An algorithm for inferring multivalued dependencies that works also for a subclass of propositional logic” Metadata:

• Title: ➤  An algorithm for inferring multivalued dependencies that works also for a subclass of propositional logic
• Author: Yehoshua Sagiv
• Language: English
• Number of Pages: Median: 31
• Publisher: ➤  Dept. of Computer Science, University of Illinois at Urbana-Champaign
• Publish Date: 1979
• Publish Location: Urbana

“An algorithm for inferring multivalued dependencies that works also for a subclass of propositional logic” Subjects and Themes:

• Subjects: Data processing - Many-valued logic - Propositional calculus

Edition Identifiers:

• The Open Library ID: OL33057161M - OL4070331M
• Online Computer Library Center (OCLC) ID: 5319048
• Library of Congress Control Number (LCCN): 79624274