skip to main content
Langue :
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
N'afficher que
Result Number Material Type Add to My Shelf Action Record Details and Options
1
What is mathematical logic?
Material Type:
Livre
Ajouter au Panier

What is mathematical logic?

Crossley, John Newsome (1937-...) (Ed.)

Appartient à la collection : Opus (Oxford), 60

London. New York. Oxford University Press, 1972

Disponible(->>)

2
Algebra and Logic : Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia
Material Type:
ebook
Ajouter au Panier

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

Crossley, John Newsome

Lecture Notes in Mathematics ; 450

Berlin [etc.]. Springer, 201. ?

3
What is mathematical logic ?
Material Type:
Livre
Ajouter au Panier

What is mathematical logic ?

Crossley, John Newsome (1937-...)

Appartient à la collection : Dover books on mathematics

New York. Dover, 1990

Disponible(->>)

4
Communities of Learning : Networks and the Shaping of Intellectual Identity in Europe, 1100-1500
Material Type:
ebook
Ajouter au Panier

Communities of Learning : Networks and the Shaping of Intellectual Identity in Europe, 1100-1500

Mews, Constant J (Ed.) ; Crossley, John Newsome (1937-...) (Ed.)

Appartient à la collection : Europa Sacra (Turnhout. Online), 9, ISSN 2406-5838

Turnhout. Brepols (éditions), 2011

5
Proof theory
Material Type:
Livre
Ajouter au Panier

Proof theory

Schütte, Kurt (1909-...) ; Crossley, John Newsome (1937-...) (Trad.)

Appartient à la collection : Grundlehren der mathematischen Wissenschaften, 225, ISSN 0072-7830

Berlin [etc.]. Springer, 1977

Disponible(->>)

6
Adapting proof-as-programs : the Curry-Howard protocol
Material Type:
Livre
Ajouter au Panier

Adapting proof-as-programs : the Curry-Howard protocol

Poernomo, Iman Hafiz ; Crossley, John Newsome (1937-...) ; Wirsing, Martin

Appartient à la collection : Monographs in computer science, ISSN 1431-6900

New York. Springer, cop. 2005

Disponible(->>)

7
Material Type:
Livre
Ajouter au Panier

Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963

Crossley, John Newsome (1937-...) (Ed.) ; Dummett, Michael Anthony Eardley (1925-2011) (Ed.) ; Association for symbolic logic (Ed.) ; Organisation du traité de l'Atlantique nord (Ed.)

Appartient à la collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X

Amsterdam. North-Holland, 1965

Disponible(->>)

Refine Search Results

N'afficher que

  1. Ressources en ligne (2)

Affiner vos résultats

Type de ressource 

  1. Livres  (5)
  2. ebooks  (2)
  3. Autres open sub menu

Localisation 

  1. Descartes  (1)
  2. Descartes - CDR  (2)
  3. Monod  (2)
  4. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1972  (1)
  2. 1972 à 1976  (1)
  3. 1977 à 1989  (1)
  4. 1990 à 2005  (2)
  5. Après 2005  (2)
  6. Autres open sub menu

Vous n'avez pas trouvé ce que vous cherchiez ?

Vous pouvez relancer votre recherche :
  • dans le SUDOC (catalogue français des bibliothèques de l'enseignement supérieur et de la recherche)
  • dans WorldCat (catalogue international)
  • dans Google Scholar
  • dans Isidore (moteur de recherche du CNRS)
  • dans BASE (Bielefeld Academic Search Engine)

Vous pouvez aussi :

Recherche dans les bases de données distantes en cours. Merci de patienter.