Abstracts of papers
暂无分享，去创建一个
J. Lammers | H. Petri | M. Danhof | T. Vree | A. Oosterom | P. Kuppen | J. Nortier | M. Blankenstein | W. Wijnands | C. Haanen | H. Wollersheim | O. Leeuwenkamp | R. Holdrinet | K. Rahn | P. Demacker | A. Stalenhoef | P. Smits | T. Thien | U. Tjaden | H. Pinedo | C. Ginneken | P. Snijders | J. May | F. Schuurman | J. W. Overdiek | P. Jansen | J. J. Lohman | P. Hooymans | F. Derkx | E. Bruijn | F. Gribnau | G. Wenting | M. Michel | P. Boekema | B. Arends | J. Mooy | R. Böhm | D. Breimer | H. Danhof | H. Wesseling | H. Teeuwen | M. Mol | S. Graafsma | F. Zantvoort | P. Brummelen | J. Harten | P. Schepper | B. V. Schaik | G. G. Geyskes | J. Tukker | J. Raaijmakers | T. Tjandramaga | F. H. H. M. Merkus | P. Speth | H. Tan-Tjiong | J. Schellens | M. Baak | J. M. Rossum | J. Trimbos | A. Baars | R. Dalen | E. V. D. Veur | B. Berge | A. Donker | J. Kemenade | H. V. Heereveld | H. Folgering | C. V. Herwaarden | J. F. R. Miranda | C. Jol | E. Runhaar | H. A. Nooij | A. J. O. Loo | P. C. M. Linssen | J. Neyt | W. J. Vijgh | J. H. T. Wagonvoort | E. Termond | R. Abreu | Th. Thlen | A. Laar | H. E. J. Hooff | A. Manin't Veld | M. Schalekamp | M. T. Lodewijks | G. Terpstra
[1] A. R. Turquette,et al. Logic, Semantics, Metamathematics , 1957 .
[2] Patrick Suppes,et al. Axiomatic Foundations of Classical Particle Mechanics , 1953 .