WorldCat Identities

Crossley, John N.

Works: 72 works in 395 publications in 5 languages and 8,230 library holdings
Genres: History  Conference papers and proceedings  Biography  Bibliography 
Roles: Author, Editor, Other, Translator, Contributor, Dedicatee
Classifications: QA9, 511.3
Publication Timeline
Most widely held works about John N Crossley
Most widely held works by John N Crossley
What is mathematical logic? by John N Crossley( Book )

50 editions published between 1972 and 2012 in 4 languages and held by 1,091 WorldCat member libraries worldwide

Cover; Title Page; Copyright page; Preface; Contents; Introduction; 1. Historical Survey; 2. The Completeness of Predicate Calculus; 3. Model Theory; 4. Turing Machines and Recursive Functions; 5. Gödel's Incompleteness Theorems; 6. Set Theory; Some Suggestions for Further Reading; Index
Chinese mathematics : a concise history by Yan Li( Book )

5 editions published between 1986 and 1987 in English and held by 683 WorldCat member libraries worldwide

Sets, models and recursion theory. Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 by John N Crossley( Book )

40 editions published between 1965 and 1974 in 3 languages and held by 469 WorldCat member libraries worldwide

Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia by John N Crossley( Book )

28 editions published between 1975 and 2008 in 3 languages and held by 464 WorldCat member libraries worldwide

Combinatorial functors by John N Crossley( Book )

25 editions published between 1973 and 2014 in 3 languages and held by 431 WorldCat member libraries worldwide

Nullane de tantis gregibus tibi digna videtur? rara avis in terra nigroque simillima cygno. Juvenal Sat. VI 161, 165. 1966-JNC visits AN at CornelI. An idea emerges. 1968-JNC is at V. c. L.A. for the Logic Year. The Los Angeles ma- script appears. 1970-AN visits JNC at Monash. 1971-The Australian manuscript appears. 1972-JNC visits AN at Cornell. Here is the result. We gratefully acknowledge support from Cornell Vniversity, Vni versity of California at Los Angeles, Monash Vniversity and National Science Foundation Grants GP 14363, 22719 and 28169. We are deeply indebted to the many people who have helped uso Amongst the mathe maticians, we are particularly grateful to J.C.E. Dekker, John Myhill, Erik Ellentuck, Peter AczeI, Chris Ash, Charlotte ehell, Ed Eisenberg, Dave Gillam, Bill Gross, Alan Hamilton, Louise Hay, Georg Kreisel, Phil Lavori, Ray Liggett, Al Manaster, Michael D. Morley, Joe Rosen stein, Graham Sainsbury, Bob Soare and Michael Venning. Last, but by no means least, we thank Anne-Marie Vandenberg, Esther Monroe, Arletta Havlik, Dolores Pendell, and Cathy Stevens and the girls of the Mathematics Department of VCLA in 1968 for hours and hours of excellent typing. Thanksgiving November 1972 J.N. Crossley Ithaca, New Y ork Anil Nerode Contents O. Introduction ... 1 Part 1. Categories and Functors 3 1. Categories ... . 3 2. Morphism Combinatorial Functors 3 3. Combinatorial Functors ... 18 Part H. Model Theory . . 18 4. Countable Atomic Models 18 5. Copying . 22 6. Dimension ... 26 Part III
Formal systems and recursive functions; proceedings by John N Crossley( Book )

34 editions published between 1963 and 1965 in 3 languages and held by 422 WorldCat member libraries worldwide

Constructive order types by John N Crossley( Book )

18 editions published between 1969 and 2000 in 3 languages and held by 399 WorldCat member libraries worldwide

Provability, Computability and Reflection
The emergence of number by John N Crossley( Book )

23 editions published between 1980 and 1987 in English and held by 359 WorldCat member libraries worldwide

This book presents detailed studies of the development of three kinds of number. In the first part the development of the natural numbers from Stone-Age times right up to the present day is examined not only from the point of view of pure history but also taking into account archaeological, anthropological and linguistic evidence. The dramatic change caused by the introduction of logical theories of number in the 19th century is also treated and this part ends with a non-technical account of the very latest developments in the area of Gödel's theorem. The second part is concerned with the deve
The nine chapters on the mathematical art : companion and commentary by Kangshen Shen( Book )

13 editions published between 1999 and 2008 in English and held by 230 WorldCat member libraries worldwide

Antico libro di matematica cinese con un approccio alla materia diverso da quello dei greci
Adapting proofs-as-programs : the Curry-Howard protocol by Iman Hafiz Poernomo( Book )

17 editions published between 2005 and 2011 in English and held by 158 WorldCat member libraries worldwide

"The book is intended for graduate students in computer science or mathematics who wish to extend their background in logic and type theory as well as gain experience working with logical frameworks and practical proof systems. In addition, the proofs-as-programs research community, and the wider computational logic, formal methods and software engineering communities will benefit. The applications given in the book should be of interest for researchers working in the target problem domains."--Jacket
Logical methods : in honor of Anil Nerode's sixtieth birthday by John N Crossley( Book )

10 editions published in 1993 in English and held by 143 WorldCat member libraries worldwide

The papers in general arose from the conference "Logical Methods in Mathematics and Computer Science. A Symposium in Honor of Anil Nerode on the Occasion of his Sixtieth Birthday" at the Mathematical Sciences Institute, Cornell University, from June 1-3, 1992. This conference was attended by over 100 participants and reflects the range and influence of Anil's work
Communities of learning : networks and the shaping of intellectual identity in Europe, 1100-1500( Book )

11 editions published between 2010 and 2011 in English and held by 135 WorldCat member libraries worldwide

Hernando de los Ríos Coronel and the Spanish Philippines in the golden age by John N Crossley( Book )

16 editions published between 2011 and 2016 in 3 languages and held by 104 WorldCat member libraries worldwide

Whilst much scholarly work has been focused on Spain's American colonies, much less is known about Spanish colonization of the Pacific. As such, this book fills an important gap in our knowledge, directing attention both to Spain's wider imperial ambitions, and the specific situation within the Philippines. By structuring the book around the life of Hernando de los Ríos Coronel, many overlapping and complex threads are drawn out that cast light upon a diverse range of subjects. Soldier, priest, diplomat, explorer, naval pilot and scientist, de los Ríos was a fascinating figure who played a pivotal role in Spanish efforts to establish a thriving colony in the Philippines. In 1588, at the age of 29 he was sent to the Philippines as a soldier, and once there quickly established himself as a pillar of society, ultimately becoming a priest. Over 36 years, until his death sometime before the end of January 1624, he shuttled between the Philippines and Spain, in his role as Procurator General - the sole representative of the Philippines (both Spaniards and Indigenes) at the Spanish Court. As well as telling the story of an extraordinary individual, this book provides a fascinating introduction to the early history of the Spanish Philippines. By touching upon a broad range of topics, it also opens up numerous avenues for further research
Aspects of effective algebra : proceedings of a conference at Monash University, Australia, 1-4 August, 1979( Book )

5 editions published in 1981 in English and held by 46 WorldCat member libraries worldwide

The Dasmariñases : early governors of the Spanish Philippines by John N Crossley( Book )

6 editions published in 2016 in English and held by 45 WorldCat member libraries worldwide

"Building upon Dr Crossley's 2011 book, this new work further expands our understanding of the Spanish Philippines by looking at Gómez Pérez Dasmariñas and his son Luis, successive governors from 1589. Drawing upon a rich selection of documents from the official Spanish archives and earlier histories, the book also utilizes an unpublished 628 page manuscript in the Lilly Library at Indiana University to provide many details not available elsewhere. In so doing the book reveals the complex situation that existed in the Philippines and how the two governors threw out, and responded to, challenges from a variety of different cultures"--
Growing ideas of number by John N Crossley( Book )

4 editions published between 2006 and 2007 in English and held by 44 WorldCat member libraries worldwide

This book explores the notion of how number ideas, and ideas of number, have grown from ancient to modern times throughout history. It looks at how different types of number and views of numbers (and their meaning and applications) have varied across cutures over time, and combines historical consideration with the mathematics. The book illustrates some of the real problems and subtleties of number, including counting, calculation, measuring and using machines, which ancient and modern people have grappled with - and continue to do so today
First Australian Conference on the History of Mathematics : proceedings of a Conference at Monash University, Clayton, Australia, 6 and 7 November, 1980 by Australian Conference on the History of Mathematics( Book )

5 editions published between 1981 and 1982 in English and held by 32 WorldCat member libraries worldwide

History of mathematics and related sciences : an annotated bibliography ofsources held by Monash University Library by G. C Smith( Book )

4 editions published in 1992 in English and held by 26 WorldCat member libraries worldwide

Proof theory by K Schütte( Book )

5 editions published in 1977 in English and German and held by 13 WorldCat member libraries worldwide

This book was originally intended to be the second edition of the book "Beweis theorie" (Grundlehren der mathematischen Wissenschaften, Band 103, Springer 1960), but in fact has been completely rewritten. As well as classical predicate logic we also treat intuitionistic predicate logic. The sentential calculus properties of classical formal and semiformal systems are treated using positive and negative parts of formulas as in the book "Beweistheorie". In a similar way we use right and left parts of formulas for intuitionistic predicate logic. We introduce the theory of functionals of finite types in order to present the Gi:idel interpretation of pure number theory. Instead of ramified type theory, type-free logic and the associated formalization of parts of analysis which we treated in the book "Beweistheorie", we have developed simple classical type theory and predicative analysis in a systematic way. Finally we have given consistency proofs for systems of lI~-analysis following the work of G. Takeuti. In order to do this we have introduced a constni'ctive system of notation for ordinals which goes far beyond the notation system in "Beweistheorie."
Observaciones a los europeos por un americano. Segunda parte by John N Crossley( Book )

3 editions published in 1821 in Spanish and held by 4 WorldCat member libraries worldwide

moreShow More Titles
fewerShow Fewer Titles
Audience Level
Audience Level
  Kids General Special  
Audience level: 0.55 (from 0.01 for Growing id ... to 0.91 for Observacio ...)

Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia
Alternative Names
Crossley, J.

Crossley, J. N.

Crossley J. N. 1937-....

Crossley, J. N. (John N.)

Crossley John 1937-....

Crossley, John N.

Crossley John N. 1937-....

Crossley, John Newsome

Crossley, John Newsome 1937-

J. N. C

J. N. C. 1937-....

J. N. C (John Newsome Crossley)

John Crossley British-Australian mathematician and logician

John Newsome Crossley

John Newsome Crossley wiskundige uit Australië

Krosli, D.

Krosli, Dž.

Kuo, Shu-li

Kuo Shu-li 1937-....

English (284)

Spanish (9)

Italian (7)

German (3)

Dutch (3)

Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, AustraliaThe nine chapters on the mathematical art : companion and commentaryAdapting proofs-as-programs : the Curry-Howard protocolHernando de los Ríos Coronel and the Spanish Philippines in the golden ageGrowing ideas of number