Crossley, John N.
Crossley, John Newsome, 1937-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Crossley, John Newsome
Crossley, John N., 1937-
Crossley, John N. (John Newsome)
John Crossley British-Australian mathematician and logician
VIAF ID: 74382767 (Personal)
Permalink: http://viaf.org/viaf/74382767
Preferred Forms
-
200 _ | ‡a Crossley ‡b John Newsome ‡f 1937-....
-
100 1 _ ‡a Crossley, John N
-
100 1 _
‡a
Crossley, John N
-
100 1 _
‡a
Crossley, John N.
-
100 1 _
‡a
Crossley, John N.
-
100 1 _ ‡a Crossley, John N.
-
100 1 _ ‡a Crossley, John N.
-
100 1 _ ‡a Crossley, John N.
-
100 1 _ ‡a Crossley, John N.
-
100 1 _ ‡a Crossley, John N.
-
100 1 _ ‡a Crossley, John N.
-
100 1 _
‡a
Crossley, John N.
‡d
1937-
-
100 1 _ ‡a Crossley, John N. ‡q (John Newsome)
-
100 1 _ ‡a Crossley, John N., ‡d 1937-
-
100 1 _ ‡a Crossley, John Newsome
-
100 1 _ ‡a Crossley, John Newsome
-
100 1 _
‡a
Crossley, John Newsome
-
100 1 _ ‡a Crossley, John Newsome ‡d (1937- ).
-
100 1 _
‡a
Crossley, John Newsome
‡d
1937-
-
100 1 _
‡a
Crossley, John Newsome,
‡d
1937-....
-
100 0 _
‡a
John Crossley
‡c
British-Australian mathematician and logician
4xx's: Alternate Name Forms (31)
5xx's: Related Names (2)
- 551 _ _
‡a
Melbourne
‡4
ortw
‡4
https://d-nb.info/standards/elementset/gnd#placeOfActivity
- 510 2 _
‡a
Monash University
‡4
affi
‡4
https://d-nb.info/standards/elementset/gnd#affiliation
‡e
Affiliation
Works
| Title | Sources |
|---|---|
| Adapting proofs-as-programs the Curry-Howard protocol |
|
| Algebra and logic / edited by J. N. Crossley. - Berlin, 1975. |
|
| Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia |
|
| Ars musice |
|
| Beweistheorie |
|
| Chinese mathematics, 1986: |
|
| Chiu chang suan shu |
|
| Chung-kuo ku tai shu hsüeh chien shih. |
|
| Combinatorial Functors |
|
| Communities of learning networks and the shaping of intellectual identity in Europe, 1100-1500 |
|
| Constructive order types. |
|
| Dasmariñases early governors of the Spanish Philippines |
|
| The emergence of number |
|
| First Australian conference on the history of mathematics |
|
| Formal systems and recursive functions |
|
| Gendai sūri ronrigaku nyūmon |
|
| Hernando de los Ríos Coronel and the Spanish Philippines in the golden age |
|
| History of mathematics and related sciences an annotated bibliography of sources held by Monash University Library |
|
| Logic and computation : proceedings of a conference, Monash University, Clayton, Victoria, Australia, 3-8 January, 1984 |
|
| Logical methods in honor of Anil Nerode's sixtieth birthday |
|
| nine chapters on the mathematical art companion and commentary |
|
| Proof theory |
|
| Sets, models and recursion theory. Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965. |
|
| Ŝo e matematičeska logika? / D. Krosli [et al.]. - Sofiâ, 1980. |
|
| Tractatus de tonis = Treatise on the tones |
|
| An unexpected excursion : The first account of Spaniards in Ayutthaya (1585) |
|
| What is mathematical logic? |
|
| 現代数理論理学入門 |
|
