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 ...
662
Elements of logical reasoning /

Cover is for reference only
Main Authors: Von Plato, Jan (Author)
Published: Cambridge University Press,
Publication Dates: 2013.
Call Number: O141/V948
Book
Save to List
Saved in:
663
The Arché papers on the mathematics of abstraction

Cover is for reference only
Corporate Authors: NetLibrary, Inc.
Group Author: Cook Roy T. 1972-
Published: Springer,
Publication Dates: c2008.
Book
Save to List
Saved in:
666
Qualitative Spatial and Temporal Reasoning

Cover is for reference only
Main Authors: Ligozat, Gérard.
Published:
Electronic eBook
Save to List
Saved in:
667
Logic, construction, computation /

Cover is for reference only
Group Author: Berger, Ulrich, 1956- (Editor); Schwichtenberg, Helmut, 1942- (honouree.)
Published: Ontos Verlag,
Publication Dates: 2012.
Call Number: O14/L832-1
Book
Save to List
Saved in:
668
New studies in weak arithmetics /

Cover is for reference only
Group Author: Cegielski, Patrick, 1954-; Cornaros, Charalampos, 1964-; Dimitracopoulos, Costas
Published: Center for the Study of Language and Information,
Publication Dates: [2013]
Call Number: O156/N532-1
Book
Save to List
Saved in:
671
Diamond : a paradox logic /

Cover is for reference only
Main Authors: Hellerstein, N. S. (Nathaniel S.) (Author)
Corporate Authors: World Scientific (Firm)
Published: World Scientific Pub. Co.,
Publication Dates: 1997.
eBook
Save to List
Saved in:
672
Nonstandard logics and nonstandard metrics in physics /

Cover is for reference only
Main Authors: Honig, William M. (Author)
Corporate Authors: World Scientific (Firm)
Published: World Scientific Pub. Co.,
Publication Dates: 1995.
eBook
Save to List
Saved in:
673
Mathematical logic

Cover is for reference only
Main Authors: Ebbinghaus Heinz-Dieter, 1939-
Group Author: Flum Jörg.; Thomas Wolfgang, 1947-
Published: Springer-Verlag,
Publication Dates: c1984.
Call Number: O141/E15/
Book
Save to List
Saved in:
675
Studies in weak arithmetics.

Cover is for reference only
Group Author: Cegielski, Patrick, 1954- (Editor); Enayat, Ali, 1959- (Editor); Kossak, Roman, 1953- (Editor)
Published: CSLI Publications, Center for the Study of Language and Information,
Publication Dates: [2016]
Call Number: O156/S933/v.3
Book
Save to List
Saved in:
676
Algebra and computer science /

Cover is for reference only
Group Author: Kahrobaei, Delaram, 1975- (Editor); Cavallo, Bren, 1989- (Editor); Garber, David, 1973- (Editor)
Published: American Mathematical Society,
Publication Dates: [2016]
Call Number: O15-532/A394-2/2014-2015
Book
Save to List
Saved in:
677
Mathematical logic : on numbers, sets, structures, and symmetry /

Cover is for reference only
Main Authors: Kossak, Roman, 1953- (Author)
Published: Springer,
Publication Dates: [2018]
Call Number: O141/K865
Book
Save to List
Saved in:
678
Logic and data bases

Cover is for reference only
Corporate Authors: Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse, 1977.
Group Author: Gallaire Hervé.; Minker Jack.
Published: Plenum Press,
Publication Dates: c1978.
Call Number: TP399-53/S989.1/1977/
Book
Save to List
Saved in:
679
Institution-independent model theory

Cover is for reference only
Main Authors: Diaconescu Răzvan.
Corporate Authors: SpringerLink (Online service)
Published: Birkhäuser,
Publication Dates: c2008.
Book
Save to List
Saved in:
680
Decision procedures an algorithmic point of view

Cover is for reference only
Main Authors: Kroening Daniel.
Corporate Authors: SpringerLink (Online service)
Group Author: Strichman Ofer.
Published: Springer,
Publication Dates: c2008.
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —