skip to main content
Lingue:
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Constructive order types

Crossley, John Newsome

Amsterdam ; London : North-Holland ; 1969

Disponibile in Bib. Stroffolini - Dip. Fisica  Copia prestabile  39NAP_INST:21109100420003321 (e in altre biblioteche/più copie)()

2
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

What is Mathematical Logic?

Crossley, John Newsome

London etc. : Oxford University Press ; 1972

Disponibile in Bib. Stroffolini - Dip. Fisica  Copia prestabile  39NAP_INST:21109100510003321()

3
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Sets, Models and Recursion Theory : Proceedings of the Summer School in Mathematical Logic and 10th Logic Colloquium Leicester, August-September 1965

Crossley, John Newsome

Amsterdam : North-Holland ; 1967

Disponibile in Bib. Stroffolini - Dip. Fisica  Copia prestabile  39NAP_INST:21109100210003321 (e in altre biblioteche/più copie)()

4
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Che cos'è la logica matematica?

Crossley, John Newsome

Torino : Paolo Boringhieri ; 1976

Disponibile in BRAU - Area Umanistica  Copia prestabile  39NAP_INST:21131124190003321()

5
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Combinatorial functors

Crossley, John Newsome ; Nerode, Anil

Berlin etc. : Springer-Verlag ; 1974

Disponibile in Matematica e Applicazioni  Copia prestabile  39NAP_INST:21107692290003321()

6
Proof Theory
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

Proof Theory

Schütte, Kurt ; Crossley, John Newsome

Berlin etc. : Springer-Verlag ; 1977

Disponibile in Bib. Stroffolini - Dip. Fisica  Copia prestabile  39NAP_INST:21109380740003321 (e in altre biblioteche/più copie)()

7
Algebra and logic : papers from the 1974 Summer Research Institute of the Australian Mathematical Society Monash University, Australia
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Algebra and logic : papers from the 1974 Summer Research Institute of the Australian Mathematical Society Monash University, Australia

Australian Mathematical Society ; Crossley, John Newsome

Berlin etc. : Springer ; 1975

Disponibile in Bib. Stroffolini - Dip. Fisica  Copia prestabile  39NAP_INST:21109100540003321 (e in altre biblioteche/più copie)()

8
Material Type:
Atti di convegno
Aggiungi allo Scaffale Elettronico

Formal systems and recursive functions : proceedings of the eighth logic colloquium, Oxford, July 1963

Logic Colloquium (8. , 1963 , Oxford) ; Crossley, John Newsome ; Dummett, M.A.E.

Amsterdam : North Holland ; 1965

Disponibile in Bib. Stroffolini - Dip. Fisica  Copia prestabile  39NAP_INST:21111538460003321 (e in altre biblioteche/più copie)()

9
History of Mathematics and Related Sciences : An annotated bibliography of sources held by Monash University Library
Material Type:
Libro
Aggiungi allo Scaffale Elettronico

History of Mathematics and Related Sciences : An annotated bibliography of sources held by Monash University Library

Smith, Gordon C. ; Chiba, Marta ; Crossley, John Newsome ; Radvansky, Susan

Clayton AUS : Monash University Depar tment of Mathematics ; 1992

Disponibile in Matematica e Applicazioni  Copia prestabile  39NAP_INST:21106132480003321()

10
Material Type:
Articolo
Aggiungi allo Scaffale Elettronico

Logics Modulo Theories: a logical framework for multi-agent systems

Cruz, Lito Perez ; Crossley, John Newsome

Logic Journal of the IGPL, 2015, Vol. 23(4), pp.553-583 [Rivista Peer Reviewed]

Accesso online

Vedi tutte le versioni

Personalizza i tuoi risultati

  1. Edita

Refine Search Results

Espandi i miei risultati

  1.   

Nuove Ricerche Suggerite

Ignora la mia strategia e cerca su tutto

da questo autore/creatore:

  1. Crossley, John Newsome
  2. Smith, Gordon C.
  3. Chiba, Marta
  4. Crossley, J.N.
  5. Logic Colloquium (8. , 1963 , Oxford)

Ricerca in corso nelle risorse remote ...