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 ...
801
Purity, spectra and localisation

Cover is for reference only
Main Authors: Prest Mike.
Published: Cambridge University Press,
Publication Dates: 2009.
Call Number: O14/P936
Book
Save to List
Saved in:
806
Logical frameworks for truth and abstraction : an axiomatic study /

Cover is for reference only
Main Authors: Cantini, Andrea. (Author)
Corporate Authors: Elsevier Science & Technology.
Published: Elsevier Science B.V.,
Publication Dates: 1996.
eBook
Save to List
Saved in:
807
Principles of logic and logic programming /

Cover is for reference only
Main Authors: Metakides, George, 1945- (Author)
Corporate Authors: Elsevier Science & Technology.
Group Author: Nerode, Anil, 1932-; Sinachopoulos, A. (Aneta)
Published: Elsevier,
Publication Dates: 1996.
eBook
Save to List
Saved in:
808
Les techniques binaires et le traitement de l'information

Cover is for reference only
Main Authors: Soubiès-Camy Henri, 1920-
Published: Dunod,
Publication Dates: 1966.
Call Number: TP391/S719/2e ed./
Book
Save to List
Saved in:
809
Does mathematical study develop logical thinking? : testing the theory of formal discipline /

Cover is for reference only
Main Authors: Inglis, Matthew (Author)
Corporate Authors: World Scientific (Firm)
Group Author: Attridge, Nina
Published: World Scientific Publishing Europe Ltd.,
Publication Dates: 2017.
eBook
Save to List
Saved in:
810
Algebra, logic, and combinatorics /

Cover is for reference only
Corporate Authors: World Scientific (Firm)
Group Author: Bullett, Shaun, 1967- (Editor); Fearn, T., 1949- (Editor); Smith, F. T. (Frank T.), 1948- (Editor)
Published: World Scientific Publishing Europe,
Publication Dates: 2016.
eBook
Save to List
Saved in:
811
Mathematical logic in the 20th century /

Cover is for reference only
Corporate Authors: World Scientific (Firm)
Group Author: Sacks, Gerald E. (Editor)
Published: Singapore University Press ; World Scientific Pub. Co.,
Publication Dates: 2003.
eBook
Save to List
Saved in:
812
A course on mathematical logic

Cover is for reference only
Main Authors: Srivastava Shashi Mohan.
Corporate Authors: SpringerLink (Online service)
Published: Springer,
Publication Dates: 2008.
Book
Save to List
Saved in:
813
Logical foundations of computer science 4th international symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997 : proceedings

Cover is for reference only
Corporate Authors: LFCS '97 1997 Yaroslavlʹ, Russia (City)) (Yaroslavlʹ, Russia (City)))
Group Author: Nerode Anil, 1932-; Adi︠a︡n S. I.
Published: Springer,
Publication Dates: c1997.
Call Number: TP301.6-532/L832.2/1997/
Book
Save to List
Saved in:
815
Louis Couturat, Traité de Logique algorithmique

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Sakhri Mohsen.; Schlaudt Oliver.
Published: Birkhäuser,
Publication Dates: c2010.
Book
Save to List
Saved in:
816
Algebra, combinatorics, and logic in computer science

Cover is for reference only
Corporate Authors: Colloquium on Algebra, Combinatories, and Logic in Computer Science (1983 Györ, Hungary) (Györ, Hungary))
Group Author: Demetrovics Janós.; Katona G.; Salomaa Arto.
Published: North-Holland Elsevier Science Pub. Co.,
Publication Dates: c1986.
Call Number: TP31-53/A394/1983/
Book
Save to List
Saved in:
817
A concise introduction to mathematical logic

Cover is for reference only
Main Authors: Rautenberg Wolfgang.
Corporate Authors: SpringerLink (Online service)
Published: Springer,
Publication Dates: 2006.
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —