Skip to main content Accessibility help
Internet Explorer 11 is being discontinued by Microsoft in August 2021. If you have difficulties viewing the site on Internet Explorer 11 we recommend using a different browser such as Microsoft Edge, Google Chrome, Apple Safari or Mozilla Firefox.

Online ordering is currently unavailable due to technical issues. We apologise for any delays responding to customers while we resolve this. For further updates please visit our website https://www.cambridge.org/news-and-insights/technical-incident

Home
> Subjects
> Logic, Categories and Sets
> Search results

Logic, Categories and Sets

Refine search

11 results in Logic, Categories and Sets

Can't find the content you are looking for?

To expand your search, find other books and research journals at Cambridge Core , or browse our catalogue at cambridge.org

Page 1 of 1
First
< Previous
1
Next >
Last

Computability

An Introduction to Recursive Function Theory
Nigel Cutland, University of York
Online ISBN: 9781139171496
Online publication date: 28 May 2018

Paperback ISBN: 9780521294652

Paperback publication date: 30 June 1980

Request instructor examination copy
Textbook
Library eCollections

An Introduction to Mathematical Reasoning

Numbers, Sets and Functions
Peter J. Eccles, University of Manchester
Online ISBN: 9780511801136
Online publication date: 05 June 2012

Hardback ISBN: 9780521592697

Hardback publication date: 13 January 1998

Paperback ISBN: 9780521597180

Paperback publication date: 28 January 1998

Textbook
Library eCollections

Logic in Computer Science

Modelling and Reasoning about Systems
2nd edition
Michael Huth, Imperial College of Science, Technology and Medicine, London, Mark Ryan, University of Birmingham
Online ISBN: 9780511810275
Online publication date: 05 June 2012

Paperback ISBN: 9780521543101

Paperback publication date: 30 August 2004

View resources Request instructor examination copy
Textbook
Library eCollections

Conceptual Mathematics

A First Introduction to Categories
2nd edition
F. William Lawvere, State University of New York, Buffalo, Stephen H. Schanuel, State University of New York, Buffalo
Online ISBN: 9780511804199
Online publication date: 05 June 2012

Paperback ISBN: 9780521719162

Paperback publication date: 31 August 2009

Request instructor examination copy
Textbook
Library eCollections
Look inside

Set Theory

A First Course
Daniel W. Cunningham, State University of New York, Buffalo
Online ISBN: 9781316341346
Online publication date: 09 August 2018

Hardback ISBN: 9781107120327

Hardback publication date: 18 July 2016

View resources Request instructor examination copy
Textbook
Library eCollections
Look inside

Exploring Mathematics

An Engaging Introduction to Proof
John Meier, Lafayette College, Pennsylvania, Derek Smith, Lafayette College, Pennsylvania
Online ISBN: 9781316415917
Online publication date: 06 August 2018

Hardback ISBN: 9781107128989

Hardback publication date: 07 August 2017

View resources Request instructor examination copy
Textbook
Library eCollections
Look inside

An Invitation to Model Theory

Jonathan Kirby, University of East Anglia
Online ISBN: 9781316683002
Online publication date: 04 April 2019

Hardback ISBN: 9781107163881

Hardback publication date: 13 June 2019

Paperback ISBN: 9781316615553

Paperback publication date: 13 June 2019

View resources Request instructor examination copy
Textbook
Library eCollections
Look inside

How to Prove It

A Structured Approach
3rd edition
Daniel J. Velleman, Amherst College, Massachusetts
Online ISBN: 9781108539890
Online publication date: 04 July 2019

Hardback ISBN: 9781108424189

Hardback publication date: 29 August 2019

Paperback ISBN: 9781108439534

Paperback publication date: 29 August 2019

View resources Request instructor examination copy
Textbook
Library eCollections
Look inside

Modern Mathematical Logic

Joseph Mileti, Grinnell College, Iowa
Online ISBN: 9781108973106
Online publication date: 08 December 2022

Hardback ISBN: 9781108833141

Hardback publication date: 22 September 2022

Request instructor examination copy
Textbook
Library eCollections
Look inside

Introduction to Proofs and Proof Strategies

Shay Fuchs, University of Toronto
Online ISBN: 9781009089005
Online publication date: 08 June 2023

Paperback ISBN: 9781009096287

Paperback publication date: 22 June 2023

View resources Request instructor examination copy
Textbook
Library eCollections

An Introduction to Classical and Modal Logics

The Outlines of Knowledge
Adam Bjorndahl, Carnegie Mellon University, Pennsylvania
Coming soon
Online ISBN: 9781009450669
Expected online publication date: August 2024

Paperback ISBN: 9781009450676

Expected Paperback publication date: 31 August 2024

Hardback ISBN: 9781009450690

Expected Hardback publication date: 31 August 2024

Request instructor examination copy
Textbook
Library eCollections
Page 1 of 1
First
< Previous
1
Next >
Last
About Contact and help Publish with us Accessibility Legal notices
Join us online
For research journals and books visit Cambridge Core [Opens in a new window]
© Cambridge University Press 2024