Crossley, John N.
Overview
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
 Composition & context : 50 years of photography by John N Crossley( Book )
 Dr John Crossley( Visual )
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
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
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,
AugustSeptember 1965 by
John N Crossley(
Book
)
40 editions published between 1965 and 1974 in 3 languages and held by 469 WorldCat member libraries worldwide
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
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. 1966JNC visits AN at CornelI. An idea emerges. 1968JNC is at V. c. L.A. for the Logic Year. The Los Angeles ma script appears. 1970AN visits JNC at Monash. 1971The Australian manuscript appears. 1972JNC 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 AnneMarie 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
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. 1966JNC visits AN at CornelI. An idea emerges. 1968JNC is at V. c. L.A. for the Logic Year. The Los Angeles ma script appears. 1970AN visits JNC at Monash. 1971The Australian manuscript appears. 1972JNC 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 AnneMarie 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
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
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 StoneAge 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 nontechnical account of the very latest developments in the area of Gödel's theorem. The second part is concerned with the deve
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 StoneAge 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 nontechnical 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
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 proofsasprograms : the CurryHoward 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 proofsasprograms 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
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 proofsasprograms 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 13, 1992. This conference was attended by over 100 participants and reflects the range and influence of Anil's work
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 13, 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, 11001500(
Book
)
11 editions published between 2010 and 2011 in English and held by 135 WorldCat member libraries worldwide
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
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, 14 August, 1979(
Book
)
5 editions published in 1981 in English and held by 46 WorldCat member libraries worldwide
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"
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
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
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
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, typefree 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."
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, typefree 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
3 editions published in 1821 in Spanish and held by 4 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
Useful Links
Associated Subjects
Abstract data types (Computer science) Algebra Asia Australia Catholic Church China Civilization, Medieval Clergy Colonial administrators Colonization Combinatorial analysis Commutative rings Computer science CurryHoward isomorphism Europe Functional programming (Computer science) Functor theory Governors general Group theory Intellectual life Knowledge, Sociology of Lambda calculus Learning and scholarshipMedieval Logic, Symbolic and mathematical Logic design Logic programming Management Mathematical models Mathematicians Mathematics Mathematics, Chinese Mathematics in art MathematicsLibrary resources Monash University.Library Nerode, Anil, Number theory Numerals Numeration Philippines Photographers Photography, Artistic Politics and government Proof theory Realism in art Recursive functions Set theory Social networks Software engineering Spain Spanish colonies
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 BritishAustralian mathematician and logician
John Newsome Crossley
John Newsome Crossley wiskundige uit Australië
Krosli, D.
Krosli, Dž.
Kuo, Shuli
Kuo Shuli 1937....
Languages
Covers