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 ...
21
Beyond first order model theory /

Cover is for reference only
Group Author: Iovino, Jose?
Published: CRC Press,
Publication Dates: 2020.
Call Number: O141.4/B573
Book
Save to List
Saved in:
22
Logic in Wonderland : an introduction to logic through reading Alice's adventures in Wonderland : student's workbook /

Cover is for reference only
Main Authors: Movshovitz-Hadar, Nitsa
Group Author: Shriki, Atara
Published: WS Education, an imprint of World Scientific Publishing Co Pte Ltd,
Publication Dates: [2019]
Call Number: O141/M935-1
Book
Save to List
Saved in:
24
The collected works of Alonzo Church /

Cover is for reference only
Main Authors: Church, Alonzo, 1903-1995
Corporate Authors: Association for Symbolic Logic
Group Author: Burge, Tyler; Enderton, Herbert B
Published: The MIT Press,
Publication Dates: [2019]
Call Number: O14/C561
Book
Save to List
Saved in:
25
Logic functions and equations : binary models for computer science /

Cover is for reference only
Main Authors: Posthoff, Christian
Group Author: Steinbach, Bernd
Published: Springer,
Publication Dates: c[2019]
Call Number: O14/P857/2nd ed.
Book
Save to List
Saved in:
26
Justification logic : reasoning with reasons /

Cover is for reference only
Main Authors: Artemov, S. N
Group Author: Fitting, Melvin, 1942
Published: Cambridge University Press,
Publication Dates: 2019.
Call Number: O142/A786
Book
Save to List
Saved in:
27
An invitation to applied category theory : seven sketches in compositionality /

Cover is for reference only
Main Authors: Fong, Brendan, 1988
Group Author: Spivak, David I., 1978
Published: Cambridge University Press,
Publication Dates: 2019.
Call Number: O154.1/F674
Book
Save to List
Saved in:
28
A course in mathematical logic for mathematicians, Second edition /

Cover is for reference only
Main Authors: Manin, I︠U︡. I
Published: 世界图书出版公司,
Publication Dates: 2019.
Call Number: O141/M278-1/2nd ed./chi
Book
Save to List
Saved in:
29
Fuzzy logic theory and applications : Part I and Part II /

Cover is for reference only
Main Authors: Zadeh, Lotfi A. Lotfi Asker
Group Author: Aliev, R. A. Rafik Aziz ogly
Published: World Scientific,
Publication Dates: [2019]
Call Number: O159/Z17/pt.1&2
Book
Save to List
Saved in:
31
Mathematical logic, Second edition /

Cover is for reference only
Main Authors: Ebbinghaus, Heinz-Dieter, 1939
Group Author: Flum, Jörg; Thomas, Wolfgang, 1947
Published: 世界图书出版公司,
Publication Dates: 2019.
Call Number: O141/E15/2nd ed./chi
Book
Save to List
Saved in:
33
On the brink of paradox : highlights from the intersection of philosophy and mathematics /

Cover is for reference only
Main Authors: Rayo, Agustín
Group Author: Rochford, Damien
Published: The MIT Press,
Publication Dates: [2019]
Call Number: O1/R277
Book
Save to List
Saved in:
34
Advances in applications of logical dynamic systems /

Cover is for reference only
Main Authors: 闫永义
Group Author: 岳菊梅
Published: 中国水利水电出版社,
Publication Dates: 2019.
Call Number: O141/Y21/chi
Book
Save to List
Saved in:
35
Logics for computer science : classical and non-classical /

Cover is for reference only
Main Authors: Wasilewska, Anita
Published: Springer,
Publication Dates: [2018]
Call Number: O141/W319
Book
Save to List
Saved in:
36
Denken in Strukturen und seine Geschichte : Von der Kraft des mathematischen Beweises /

Cover is for reference only
Main Authors: Honerkamp, J
Published: Springer,
Publication Dates: [2018]
Call Number: WG/O141/H772
Book
Save to List
Saved in:
37
Extensional paramodulation for higher-order logic and its effective implementation Leo-III /

Cover is for reference only
Main Authors: Steen, Alexander
Published: IOS Press,
Publication Dates: [2018]
Call Number: TP301.6/S814
Book
Save to List
Saved in:
38
Recent advances in applications of computational and fuzzy mathematics /

Cover is for reference only
Group Author: Chakraverty, Snehashish; Perera, Sanjeewa, editor
Published: Springer,
Publication Dates: [2018]
Call Number: O159/R295
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —