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 ...
41
Lectures in model theory /

Cover is for reference only
Group Author: Jahnke, Franziska; Palacín, Daniel; Tent, Katrin, 1963
Published: European Mathematical Society,
Publication Dates: [2018]
Call Number: O141.4/L471
Book
Save to List
Saved in:
42
Model theory and the philosophy of mathematical practice : formalization without foundationalism /

Cover is for reference only
Main Authors: Baldwin, John T
Published: Cambridge University Press,
Publication Dates: 2018.
Call Number: O141.4/B181
Book
Save to List
Saved in:
43
Naturalizing logico-mathematical knowledge : approaches from philosophy, psychology and cognitive science /

Cover is for reference only
Group Author: Bangu, Sorin
Published: Routledge,
Publication Dates: 2018.
Call Number: O141/N285
Book
Save to List
Saved in:
44
Ewa Orłowska on relational methods in logic and computer science /

Cover is for reference only
Group Author: Golińska-Pilarek, Joanna; Zawidzki, Michał
Published: Springer,
Publication Dates: [2018]
Call Number: TP3/E941
Book
Save to List
Saved in:
45
Picturing quantum processes : a first course in quantum theory and diagrammatic reasoning /

Cover is for reference only
Main Authors: Coecke, Bob
Group Author: Kissinger, Aleks
Published: Cambridge University Press,
Publication Dates: 2017.
Call Number: O413/C672
Book
Save to List
Saved in:
46
Shattered symmetry : group theory from the eightfold way to the periodic table /

Cover is for reference only
Main Authors: Thyssen, Pieter
Group Author: Ceulemans, Arnout
Published: Oxford University Press,
Publication Dates: [2017]
Call Number: O152/T549
Book
Save to List
Saved in:
47
Elements of causal inference : foundations and learning algorithms /

Cover is for reference only
Main Authors: Peters, Jonas, 1984
Group Author: Janzing, Dominik; Schölkopf, Bernhard
Published: The MIT Press,
Publication Dates: [2017]
Call Number: TP181/P482
Book
Save to List
Saved in:
49
ModelEd, TestEd, TrustEd : essays dedicated to Ed Brinksma on the occasion of his 60th birthday /

Cover is for reference only
Group Author: Katoen, Joost-Pieter; Langerak, Rom; Rensink, Arend
Published: Springer International Publishing : Imprint : Springer,
Publication Dates: [2017]
Call Number: TP3/M689
Book
Save to List
Saved in:
50
A bridge to higher mathematics /

Cover is for reference only
Main Authors: Deaconu, Valentin
Group Author: Pfaff, Donald C. Donald Chesley
Published: CRC Press, Taylor & Francis Group,
Publication Dates: [2017]
Call Number: O141.2-43/D278
Book
Save to List
Saved in:
51
The logical foundations of scientific theories : languages, structures, and models /

Cover is for reference only
Main Authors: Krause, Decio
Group Author: Becker Arenhart, Jonas R
Published: Routledge/Taylor & Francis Group,
Publication Dates: 2017.
Call Number: N02/K913
Book
Save to List
Saved in:
52
Fuzzy logic and mathematics : a historical perspective /

Cover is for reference only
Main Authors: Bělohlávek, Radim
Group Author: Dauben, Joseph Warren, 1944; Klir, George J., 1932
Published: Oxford University Press,
Publication Dates: [2017]
Call Number: O141/B452
Book
Save to List
Saved in:
53
Does mathematical study develop logical thinking? : testing the theory of formal discipline /

Cover is for reference only
Main Authors: Inglis, Matthew
Group Author: Attridge, Nina
Published: World Scientific,
Publication Dates: [2017]
Call Number: O1-4/I52
Book
Save to List
Saved in:
54
Reasoning about uncertainty /

Cover is for reference only
Main Authors: Halpern, Joseph Y., 1953
Published: The MIT Press,
Publication Dates: [2017]
Call Number: O236-43/H195/2nd ed.
Book
Save to List
Saved in:
55
Logic from A to Z /

Cover is for reference only
Main Authors: Detlefsen, Michael
Group Author: McCarty, David Charles; Bacon, John B
Published: Routledge,
Publication Dates: 2017.
Call Number: O14-61/D481
Book
Save to List
Saved in:
56
Logical studies of paraconsistent reasoning in science and mathematics /

Cover is for reference only
Group Author: Andreas, Holger, 1974; Verdée, Peter
Published: Springer,
Publication Dates: [2016]
Call Number: O141/L832-2
Book
Save to List
Saved in:
57
A new perspective on nonmonotonic logics /

Cover is for reference only
Main Authors: Gabbay, Dov M., 1945
Group Author: Schlechta, Karl
Published: Springer,
Publication Dates: [2016]
Call Number: TP301.6/G112
Book
Save to List
Saved in:
58
The tools of mathematical reasoning /

Cover is for reference only
Main Authors: Lakins, Tamara J., 1963
Published: American Mathematical Society,
Publication Dates: [2016]
Call Number: O171-43/L192
Book
Save to List
Saved in:
59
Concepts of proof in mathematics, philosophy, and computer science /

Cover is for reference only
Group Author: Schuster, Peter, 1966; Probst, Dieter, 1973
Published: Walter de Gruyter GmbH,
Publication Dates: [2016]
Call Number: O141.2/C744
Book
Save to List
Saved in:
60
Classical groups, derangements, and primes /

Cover is for reference only
Main Authors: Burness, Timothy C., 1979
Group Author: Giudici, Michael, 1976
Published: Cambridge University Press,
Publication Dates: 2016.
Call Number: O15/B963
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —