Clear Search

Books+ Search Results

Subject with Hierarchy: Is Not
Is Not Is
Gödel Kurt
Subject: Is
Is Is Not
Logic, Symbolic and mathematical

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Show Online Results Only
Online Results (1,467)

Limit your search

-
Current results range from 1636 to 2024

1.
Bertrand's paradox and the principle of indifference
Author
Shackel, Nicholas, 1955-
Published
New York, NY : Routledge, 2024.
©2024
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
2.
Completely Regular Semigroup Varieties A Comprehensive Study with Modern Insights
Author
Petrich, Mario
Published
Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
3.
Dick de Jongh on Intuitionistic and Provability Logics
Published
Cham : Springer International Publishing : Imprint: Springer, 2024.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
4.
Difāʻ al-Shaykh Muṣṭafá Ṣabrī ʻan al-manṭiq al-ṣūrī : fī muwājahat muddaʻī ḥaṣr ṭuruq al-istidlāl fī al-manṭiq al-tajrībī
Title
دفاع الشيخ مصطفى صبري عن المنطق الصوري
Author
Dīb, Qadrī Qadrī
ديب، قدري قدري،
Published
al-Qāhirah : Dār Nūr al-Yaqīn lil-Ṭibāʻah wa-al-Nashr wa-al-Tawzīʻ, 2024.
Location
SML, Stacks, LC Classification >> BC177 .D525 2024 (LC)
Format
Books
5.
Discrete Mathematics A Concise Introduction
Author
Tourlakis, George
Published
Cham : Springer International Publishing : Imprint: Springer, 2024.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
6.
The Foundations of Experimental Physics Unraveling the Premises of Physical and Scientific Knowledge
Author
Parravicini, Jacopo
Published
Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
7.
Logic for justice : an introduction to formal logic with an emphasis on political reform
Author
Wilhelm, Isaac
Published
New York, NY : Routledge, 2024.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
8.
A philosophical introduction to higher-order logics
Author
Bacon, Andrew, 1985-
Published
New York, NY : Routledge, 2024.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
9.
Probability and Statistics for STEM A Course in One Semester
Author
Barron, Emmanuel N.
Published
Cham : Springer International Publishing : Imprint: Springer, 2024.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
10.
Abhandlung über die Prinzipien der Logik : eine Verteidigung des logischen Monismus
Author
Wolff, Michael, 1942-
Published
Frankfurt am Main : Vittorio Klostermann, 2023.
Location
SML, Stacks, LC Classification >> BC135 .W65 2023 (LC)
Format
Books
11.
Analysis of the Navier-Stokes Problem Solution of a Millennium Problem
Author
Ramm, A. G. (Alexander G.)
Published
Cham : Springer International Publishing : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
12.
Crise des fondements des mathématiques : Russell, critique de Kant
Author
Elamami, Saeb
Published
Paris : L'Harmattan, [2023]
©2023
Location
SML, Stacks, LC Classification >> QA9 .E43 2023 (LC)
Format
Books
13.
Extensions of the axion of determinacy
Author
Larson, Paul B. (Paul Bradley), 1970-
Published
Providence, Rhode Island : American Mathematical Society, [2023]
Location
MARX LIBRARY >> QA191 .L37 2023 (LC)
Format
Books
14.
Mathematical logic and computation
Author
Avigad, Jeremy
Published
Cambridge, United Kingdom ; Boca Raton : Cambridge University Press, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
15.
Mathematical logic : an introduction
Author
Cunningham, Daniel W.
Published
Berlin ; Boston : Walter de Gruyter GmbH, [2023]
Location
MARX LIBRARY >> QA9 .C86 2023 (LC)
Format
Books
16.
Principia metalogica : Aufgabe der Logik in der Mathematik : Essay
Author
Warzog, Thomas
Published
Borsdorf : Edition Winterwork, [2023]
Location
SML, Stacks, LC Classification >> BC135 .W37 2023 (LC)
Format
Books
17.
Samson Abramsky on Logic and Structure in Computer Science and Beyond
Published
Cham : Springer International Publishing : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
18.
Temporal logics
Author
Goranko, Valentin
Published
Cambridge : Cambridge University Press, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
19.
Tractatus logico-philosophicus = Logical-philosophical treatise
Author
Wittgenstein, Ludwig, 1889-1951
Published
London : Penguin Books, 2023.
Location
BASS, Lower Level >> B3376.W563 T7313 2023 (LC)
Format
Books
20.
The annotated Gödel : a reader's guide to his classic paper on logic and incompleteness
Author
Gödel, Kurt
Published
[Middletown, DE] : Homebred Press, [2022]
©2022
Location
MARX LIBRARY >> QA9.65 .G57313 2022 (LC)
Format
Books
21.
The clash of the images : why the manifest image and the scientific image are incompatible
Author
Mulamustafić, Adem
Published
Berlin : Schwabe Verlag, [2022]
Location
SML, Stacks, LC Classification >> Q175.32.R42 M85 2022 (LC)
Format
Books
22.
Classical first-order logic
Author
Shapiro, Stewart, 1951-
Published
Cambridge : Cambridge University Press, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
23.
Gödel's Incompleteness theorems
Author
Kennedy, Juliette, 1955-
Published
Cambridge : Cambridge University Press, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
24.
Hands-on Julia programming : an authoritative guide to the production-ready systems in Julia
Author
Dash, Sambit Kumar
Published
Delhi, India : BPB Publications, [2022]
©2022
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
25.
Ḥashivah biḳortit madaʻit = Critical thinking on science
Title
חשיבה ביקורתית מדעית =
Author
Ḳaniʼel, Shelomoh
קניאל, שלמה
Published
Tel Aviv : Resling, [2022]
©2022
Location
SML, Stacks, LC Classification >> Q175 .H37 2022 (LC)
Format
Books