Reset Filters
Filter Related Topics: Logic, Symbolic and mathematical
Filter Related Topics within your search.
Logic, Symbolic and mathematical Mathematics 141 Philosophy 92 Electronic books 82 Congresses 79 Computer science 74 Artificial intelligence 65 more ...
1
Money-pump arguments /

Cover is for reference only
Main Authors: Gustafsson, Johan E.
Group Author: Peterson, Martin
Published: Cambridge University Press,
Publication Dates: 2022.
Call Number: C934/G982
Book
Save to List
Saved in:
2
Proto-algorithmic war : how the Iraq War became a laboratory for algorithmic logics /

Cover is for reference only
Main Authors: Hristova, Stefka, 1977-
Published: Palgrave Macmillan,
Publication Dates: [2022]
Call Number: K377.53/H873
Book
Save to List
Saved in:
3
5th Annual IEEE Symposium on Logic in Computer Science proceedings, June 4-7, 1990, Philadelphia, PA

Cover is for reference only
Corporate Authors: IEEE Symposium on Logic in Computer Science. Annual (5th 1990 Philadelphia, PA
Published: IEEE Computer Society Press,
Publication Dates: c1990.
Call Number: TP302-53/S989/1990/
Journal
Save to List
Saved in:
4
Mathematical logic through Python /

Cover is for reference only
Main Authors: Gonczarowski, Yannai A., 1981-
Group Author: Nisan, Noam
Published: Cambridge University Press,
Publication Dates: 2022.
Call Number: O141/G635
Book
Save to List
Saved in:
5
Logisch-philosophische abhandlung = Tractatus logico-philosophicus /

Cover is for reference only
Main Authors: Wittgenstein, Ludwig, 1889-1951.
Group Author: Ogden, C. K. (Charles Kay), 1889-1957
Published: 崇文书局,
Publication Dates: 2022.
Call Number: B81-05/W831/chi
Book
Save to List
Saved in:
7
Paradoxes and inconsistent mathematics /

Cover is for reference only
Main Authors: Weber, Zach
Published: Cambridge University Press,
Publication Dates: 2021.
Call Number: O141/W376
Book
Save to List
Saved in:
8
Chance, logic and intuition : an introduction to the counter-intuitive logic of chance /

Cover is for reference only
Main Authors: Tijms, Steven
Published: World Scientific Publishing Co. Pte. Ltd.,
Publication Dates: [2021]
Call Number: O211/T568
Book
Save to List
Saved in:
9
A geometric approach to the unification of symbolic structures and neural networks /

Cover is for reference only
Main Authors: Dong, Tiansi
Published: Springer,
Publication Dates: [2021]
Call Number: TP183/D682
Book
Save to List
Saved in:
10
Architecture of mathematics /

Cover is for reference only
Main Authors: Serovajsky, Simon
Published: CRC Press,
Publication Dates: 2021.
Call Number: O141/S486
Book
Save to List
Saved in:
11
Introduction to fuzzy logic /

Cover is for reference only
Main Authors: Peckol, James K.
Corporate Authors: Wiley Online Library (Online service); John Wiley & Sons.
Published: Wiley,
Publication Dates: 2021.
eBook
Save to List
Saved in:
12
Introduction to fuzzy logic /

Cover is for reference only
Main Authors: Peckol, James K.
Corporate Authors: Wiley Online Library (Online service); John Wiley & Sons.
Published: Wiley,
Publication Dates: 2021.
eBook
Save to List
Saved in:
13
Frege : the pure business of being true /

Cover is for reference only
Main Authors: Travis, Charles, 1964-
Published: Oxford University Press,
Publication Dates: 2021.
Call Number: O141/T782
Book
Save to List
Saved in:
14
The semantic conception of logic : essays on consequence, invariance, and meaning /

Cover is for reference only
Group Author: Sagi, Gil; Woods, Jack, 1979-
Published: Cambridge University Press,
Publication Dates: 2021.
Call Number: O141.4-02/S471
Book
Save to List
Saved in:
16
Mathematics and its logics : philosophical essays /

Cover is for reference only
Main Authors: Hellman, Geoffrey
Published: Cambridge University Press,
Publication Dates: 2021.
Call Number: O141/H477
Book
Save to List
Saved in:
18
Kant's philosophy of mathematics.

Cover is for reference only
Group Author: Posy, Carl J; Rechter, Ofra, 1961
Published: Cambridge University Press,
Publication Dates: 2020.
Call Number: B516.31/K168-5/v.1
Book
Save to List
Saved in:
19
Classical groups, derangements and primes / 典型群, 错排与素数 / (英) 提摩太·C. 布尔尼西, (澳) 迈克尔·乔迪奇著.

Cover is for reference only
Main Authors: Burness, Timothy C., 1979-
Group Author: Giudici, Michael, 1976-
Published: 哈尔滨工业大学出版社,
Publication Dates: 2020.
Call Number: O152.3/B963/chi
Book
Save to List
Saved in:
20
Standard completeness for semilinear substructural logics / 半线性子结构逻辑的标准完备性 / 王三民.

Cover is for reference only
Main Authors: 王三民
Published: Science Press,
Publication Dates: 2020.
Call Number: O141/W246/chi
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —