Menu

West Ashley Library

9 a.m. - 7 p.m.

Phone: (843) 766-6635

Wando Mount Pleasant Library

9 a.m. - 8 p.m.

Phone: (843) 805-6888

Village Library

9 a.m. - 6 p.m.

Phone: (843) 884-9741

St. Paul's/Hollywood Library

9 a.m. - 8 p.m.

Phone: (843) 889-3300

Otranto Road Library

9 a.m. - 8 p.m.

Phone: (843) 572-4094

Mt. Pleasant Library

9 a.m. - 8 p.m.

Phone: (843) 849-6161

McClellanville Library

9 a.m. - 6 p.m.

Phone: (843) 887-3699

Keith Summey North Charleston Library

9 a.m. - 8 p.m.

Phone: (843) 744-2489

John's Island Library

9 a.m. - 8 p.m.

Phone: (843) 559-1945

Hurd/St. Andrews Library

9 a.m. - 8 p.m.

Phone: (843) 766-2546

Folly Beach Library

9 a.m. - 5:30 p.m.

Phone: (843) 588-2001

Edisto Island Library

9 a.m. - 4 p.m.

Phone: (843) 869-2355

Dorchester Road Library

9 a.m. - 8 p.m.

Phone: (843) 552-6466

John L. Dart Library

9 a.m. - 7 p.m.

Phone: (843) 722-7550

Baxter-Patrick James Island

9 a.m. - 8 p.m.

Phone: (843) 795-6679

Main Library

9 a.m. - 8 p.m.

Phone: (843) 805-6930

Bees Ferry West Ashley Library

9 a.m. - 8 p.m.

Phone: (843) 805-6892

Edgar Allan Poe/Sullivan's Island Library

Closed for renovations

Phone: (843) 883-3914

Mobile Library

9 a.m. - 5 p.m.

Phone: (843) 805-6909

Item request has been placed!

Item request cannot be made.

Processing Request

Search Results

Display Settings

Results per page: 10

Sort By: Relevance

Your Filters

Subject : mathematics theorems

Item request has been placed!

Item request cannot be made.

Processing Request

Periodical

AI shoots down mathematical ideas.

Authors : Sparkes, Matthew

Subjects: *ARTIFICIAL intelligence; *MATHEMATICAL logic; *LOGICAL prediction

Source: New Scientist. 5/29/2021, Vol. 250 Issue 3336, p15-15. 1p.

Read Online Read More Add to Saved list

Academic Journal

A completeness theorem for continuous predicate modal logic.

Authors : Baratella, Stefano¹

Subjects: *MATHEMATICAL logic; *LOGIC; *MATHEMATICS theorems

Source: Archive for Mathematical Logic. Feb2019, Vol. 58 Issue 1/2, p183-201. 19p.

Read Online Read More Add to Saved list

Academic Journal

Selfextensional logics with a distributive nearlattice term.

Authors : González, Luciano J.¹

Subjects: *MATHEMATICAL logic; *ALGEBRA; *MATHEMATICAL analysis

Source: Archive for Mathematical Logic. Feb2019, Vol. 58 Issue 1/2, p219-243. 25p.

Read Online Read More Add to Saved list

Academic Journal

Where can we really prove instances of the Paris-Harrington principle?

Authors : Freund, Anton¹

Subjects: *MATHEMATICAL logic; *MATHEMATICS theorems; *MODULES (Algebra)

Source: PAMM: Proceedings in Applied Mathematics & Mechanics. Oct2016, Vol. 16 Issue 1, p903-904. 2p.

Read More Add to Saved list

Academic Journal

A criterion for the membership in the class L with p ≥ 1 of the generalized solution to the mixed problem for the wave equation.

Authors : Il'in, V.; Kuleshov, A.

Subjects: *CRITERION (Theory of knowledge); *MATHEMATICAL logic; *INTEGRAL representations

Source: Doklady Mathematics. Sep2012, Vol. 86 Issue 2, p688-690. 3p.

Read More Add to Saved list

Academic Journal

Pure Logic with Branched Quantifiers.

Authors : Mostowski, Marcin¹

Subjects: *DECIDABILITY (Mathematical logic); *MATHEMATICAL logic; *PREDICATE calculus

Source: Mathematical Logic Quarterly. 1989, Vol. 35 Issue 1, p45-48. 4p.

Read More Add to Saved list

Academic Journal

The number of {□, →}-logics.

Authors : Schumm, George F.¹

Subjects: *MATHEMATICAL logic; *MATHEMATICAL proofs; *MATHEMATICS theorems

Source: Mathematical Logic Quarterly. 1990, Vol. 36 Issue 6, p517-518. 2p.

Read More Add to Saved list

Academic Journal

An elementary approach to containment relations between symbolic and ordinary powers of certain monomial ideals.

Authors : Keane, Ryan W.¹ (AUTHOR); Küronya, Alex^2,3 (AUTHOR) ; McMahon, Elise⁴ (AUTHOR)

Subjects: *IDEALS (Algebra); *MATHEMATICAL logic; *EXPONENTS

Source: Communications in Algebra. 2017, Vol. 45 Issue 11, p4583-4587. 5p.

Read More Add to Saved list

Academic Journal

The Deduction Theorem (Before and After Herbrand).

Authors : Franks, Curtis

Subjects: MATHEMATICS theorems; MATHEMATICS; MATHEMATICAL logic

Source: History & Philosophy of Logic; May2021, Vol. 42 Issue 2, p129-159, 31p

Read Online Read More Add to Saved list

Academic Journal

On additive bases in infinite abelian semigroups.

Authors : Bienvenu, Pierre-Yves; Girard, Benjamin; Thái Hoàng Lê

Subjects: ABELIAN semigroups; MATHEMATICS theorems; MATHEMATICAL logic

Source: Journal of Combinatorial Algebra; 2023, Vol. 7 Issue 1, p1-44, 44p

Read More Add to Saved list