Kids Library Home

Welcome to the PrairieCat Kids' Library!

Search for books, movies, music, magazines, and more.

PrairieCat
     
Available items only
Add Marked to Bag Add All On Page
LC/NLM Call numbers (1-4 of 4)
QA9.47
1
BOOK
 

Metamathematical investigation of intuitionistic arithmetic and analysis


Troelstra, A. S. (Anne Sjerp)
Berlin ; Heidelberg ; New York : Springer, 1973. 1973

Rating:

 

Copies

Location Pub Note Copy No. Status
 Rockford University Stacks - RKC-ILDS  QA9.47 .T78    AVAILABLE
2
BOOK
 

Choice sequences : a chapter of intuitionistic mathematics


Troelstra, A. S. (Anne Sjerp)
Oxford : Clarendon Press, 1977. 1977

Rating:

 

Copies

Location Pub Note Copy No. Status
 Rockford University Stacks - RKC-ILDS  QA9.47 .T77    AVAILABLE
3
BOOK
 

Elements of intuitionism


Dummett, Michael, 1925-2011.
Oxford : Clarendon Press, 1977. 1977

Rating:

 

Copies

Location Pub Note Copy No. Status
 Rockford University Stacks - RKC-ILDS  QA9.47 .D84    AVAILABLE
4
BOOK
 

Brouwer's Cambridge lectures on intuitionism


Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966.
Cambridge ; New York : Cambridge University Press, 1981. 1981

Rating:

 

Copies

Location Pub Note Copy No. Status
 Rockford University Stacks - RKC-ILDS  QA9.47 .B76 1981    AVAILABLE
Add Marked to Bag Add All On Page
Locate in results
 
    
Available items only