Introduction to Higher-Order Categorical Logic 1
bokomslag Introduction to Higher-Order Categorical Logic
Vetenskap & teknik

Introduction to Higher-Order Categorical Logic

J Lambek • P J Scott • J Lambek • P J Scott

Pocket

989:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 5-10 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 304 sidor
  • 1988
In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are given. Detailed references are provided and each section concludes with exercises.
  • Författare: J Lambek, P J Scott, J Lambek, P J Scott
  • Format: Pocket/Paperback
  • ISBN: 9780521356534
  • Språk: Engelska
  • Antal sidor: 304
  • Utgivningsdatum: 1988-03-25
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag Feasible Mathematics

    Feasible Mathematics

    S R Buss, P J Scott, S R Buss, P J Scott, Samuel Buss

    Pocket

    729:-
  2. bokomslag Power Developed by an Hydraulic Ram

    Power Developed by an Hydraulic Ram

    W L Brock, P J Scott, W L Brock, P J Scott

    Pocket

    359:-
  3. bokomslag French Treaty Rights in Newfoundland; the Case for the Colony, Stated by the People's Delegates, Sir J.S. Winter, P.J. Scott, and A.B. Morine

    French Treaty Rights in Newfoundland;...

    P J Scott, Alfred B B Morine, James Spearman Winter, P J Scott, Alfred B B Morine

    Klotband

    469:-
  4. bokomslag French Treaty Rights in Newfoundland; the Case for the Colony, Stated by the People's Delegates, Sir J.S. Winter, P.J. Scott, and A.B. Morine

    French Treaty Rights in Newfoundland;...

    P J Scott, Alfred B B Morine, James Spearman Winter, P J Scott, Alfred B B Morine

    Pocket

    259:-
  5. bokomslag Bodies and Persons

    Bodies and Persons

    Michael Lambek, Andrew Strathern, Michael Lambek, Andrew Strathern

    Inbunden

    1609:-
  6. bokomslag Bodies and Persons

    Bodies and Persons

    Michael Lambek, Andrew Strathern, Michael Lambek, Andrew Strathern

    Pocket

    779:-
  7. bokomslag European Security Beyond the Year 2000

    European Security Beyond the Year 2000

    Robert Rudney Luc Reychler

    Inbunden

    1739:-
  8. bokomslag Reader in the Anthropology of Religion

    Reader in the Anthropology of Religion

    Editor:Michael Lambek

    Pocket

    529:-
  9. bokomslag Heritage of Thales

    Heritage of Thales

    W S Anglin, J Lambek, Joachim Lambek

    Inbunden

    1149:-
  10. bokomslag Rethinking Food Systems

    Rethinking Food Systems

    Nadia C S Lambek, Priscilla Claeys, Adrienna Wong, Lea Brilmayer, Nadia C S Lambek

    1319:-

Andra av samma författare

  1. bokomslag Heritage of Thales

    Heritage of Thales

    W S Anglin, J Lambek, Joachim Lambek

    Inbunden

    1149:-
  2. bokomslag Feasible Mathematics

    Feasible Mathematics

    S R Buss, P J Scott, S R Buss, P J Scott, Samuel Buss

    Pocket

    729:-
  3. bokomslag Cognitive Science Projects in PROLOG

    Cognitive Science Projects in PROLOG

    P J Scott

    Pocket

    249:-
  4. bokomslag French Treaty Rights in Newfoundland; the Case for the Colony, Stated by the People's Delegates, Sir J.S. Winter, P.J. Scott, and A.B. Morine

    French Treaty Rights in Newfoundland;...

    P J Scott, Alfred B B Morine, James Spearman Winter, P J Scott, Alfred B B Morine

    Klotband

    469:-
  5. bokomslag French Treaty Rights in Newfoundland; the Case for the Colony, Stated by the People's Delegates, Sir J.S. Winter, P.J. Scott, and A.B. Morine

    French Treaty Rights in Newfoundland;...

    P J Scott, Alfred B B Morine, James Spearman Winter, P J Scott, Alfred B B Morine

    Pocket

    259:-
  6. bokomslag Power Developed by an Hydraulic Ram

    Power Developed by an Hydraulic Ram

    W L Brock, P J Scott, W L Brock, P J Scott

    Pocket

    359:-
  7. bokomslag Heritage of Thales

    Heritage of Thales

    W S Anglin, J Lambek, W S Anglin

    Pocket

    829:-